From patchwork Fri Dec 28 14:13:15 2018 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Adhemerval Zanella Netto X-Patchwork-Id: 154605 Delivered-To: patch@linaro.org Received: by 2002:a2e:299d:0:0:0:0:0 with SMTP id p29-v6csp8064180ljp; Fri, 28 Dec 2018 06:13:35 -0800 (PST) X-Google-Smtp-Source: ALg8bN7bGMVdn1ulqNrSmTvKeDNDp4OwTnild0tP7UaS4M6olA3U7M/u674pTqfo25vmgPruigHb X-Received: by 2002:a17:902:bb05:: with SMTP id l5mr28243898pls.230.1546006415418; Fri, 28 Dec 2018 06:13:35 -0800 (PST) ARC-Seal: i=1; a=rsa-sha256; t=1546006415; cv=none; d=google.com; s=arc-20160816; b=f+PpCZ/MJkBY5OmgiJg+aNI6HUIG9fDJvihJyoOYW6XgnFZqne3mcW4OM6ZvZrWRrV 5pbVUB398NQXn9Lfb93ekqPJ4R7ZZU3DlJOgQeCZKAYoK7pzo6X3jbnZAkbkxG3gDwx0 Qilbp/uBZTCw8MzNsWdCv0HZ30cWByRm9WvPqwr2BFMVdnCWl8j+nOY+qrP7DCPMF7ZM 7vem45cLdadZchBvZDZzhD4LrMjeNTStYWJ4L0OOq9IZryFiNpIRxTRzFyUaonsROQRy N44Uowgq2/UtFn9gugjDEfpNog/Xj7lTfB7zGyRF9Op43SIJid8ZyJIedo7YuRkyeCVj r9lQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=message-id:date:subject:to:from:dkim-signature:delivered-to:sender :list-help:list-post:list-archive:list-subscribe:list-unsubscribe :list-id:precedence:mailing-list:dkim-signature:domainkey-signature; bh=BYIVfGE1wQTDR1PsOUin+Nls3l0W0MWbnhxGF3+UU6o=; b=jdwX11ugSKNm6pWDXhkGd/2eHa3Qc99w6ag94tBZkBStaPd7FTKx8Ljyfx2ek332nV Ba2IPce+W6KL0ZVUG35e2MdBDhKUPiH8GHOvkwdCvd4MtRo8Jkfn1PnEoKTgGEAMK6/U ripOKN/NviClBSyLU1LpFNCZhrAZCh/8TdK4YihuJZ/oJQouCvy8mDO5iWK0vjYnivSu zTvGf762PekEkKiFJG1PMzWuQZpLSyuV6AHkkyj63xSxw2DkRKhzIvxw3QxDcTXAJ9/C xv6HlgxLLNrnNt2bYPXLaxb8TxAzagtIhV943nmYZXeYUwmN8NpFIaAwa/SbbjvSF2e2 7w/g== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@sourceware.org header.s=default header.b=MyfQ4G6C; dkim=pass header.i=@linaro.org header.s=google header.b=fN+El9ov; spf=pass (google.com: domain of libc-alpha-return-98843-patch=linaro.org@sourceware.org designates 209.132.180.131 as permitted sender) smtp.mailfrom="libc-alpha-return-98843-patch=linaro.org@sourceware.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org Return-Path: Received: from sourceware.org (server1.sourceware.org. [209.132.180.131]) by mx.google.com with ESMTPS id u72si36984603pgc.360.2018.12.28.06.13.35 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 28 Dec 2018 06:13:35 -0800 (PST) Received-SPF: pass (google.com: domain of libc-alpha-return-98843-patch=linaro.org@sourceware.org designates 209.132.180.131 as permitted sender) client-ip=209.132.180.131; Authentication-Results: mx.google.com; dkim=pass header.i=@sourceware.org header.s=default header.b=MyfQ4G6C; dkim=pass header.i=@linaro.org header.s=google header.b=fN+El9ov; spf=pass (google.com: domain of libc-alpha-return-98843-patch=linaro.org@sourceware.org designates 209.132.180.131 as permitted sender) smtp.mailfrom="libc-alpha-return-98843-patch=linaro.org@sourceware.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=linaro.org DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:from:to:subject:date:message-id; q=dns; s= default; b=ou6K4g+8TLw8PDn3uDZqlMupHQub+7HkOBbAkxOF0FtI+Fly7micE YnOEOFhlCQFj/b0tfF/BCYefiWGeKeSWw4t3BgGE0KZuq4b/+nVnI4SzUjDse4Xa rj+KWlubi29eDXyMnYKYtNl6xaeorIrCuMlFIUN3nPTWzOFtmO0Ois= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:from:to:subject:date:message-id; s=default; bh=63vyR3V3rkuLuFwRiwrH8z/r/Bs=; b=MyfQ4G6ClTDthf/YTBaHfCBaqmG6 V/VTAlO95mrrXyOf7qGbQj5Kfh3UWsPb1ws3aynCM9hq8X3SEMyPeNKW6S2hlKgZ VEDf/tWU+/+wKPe8HDF0cZLEUycBhXV/nCK6WudOwaMjvmrhkjHTUa8YEuGhK6fk CeCzfQ42TP92kAc= Received: (qmail 116044 invoked by alias); 28 Dec 2018 14:13:25 -0000 Mailing-List: contact libc-alpha-help@sourceware.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Subscribe: List-Archive: List-Post: List-Help: , Sender: libc-alpha-owner@sourceware.org Delivered-To: mailing list libc-alpha@sourceware.org Received: (qmail 116034 invoked by uid 89); 28 Dec 2018 14:13:25 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-26.9 required=5.0 tests=BAYES_00, GIT_PATCH_0, GIT_PATCH_1, GIT_PATCH_2, GIT_PATCH_3, KAM_SHORT, RCVD_IN_DNSWL_NONE, SPF_PASS autolearn=ham version=3.3.2 spammy=scratch X-HELO: mail-qk1-f194.google.com DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=linaro.org; s=google; h=from:to:subject:date:message-id; bh=BYIVfGE1wQTDR1PsOUin+Nls3l0W0MWbnhxGF3+UU6o=; b=fN+El9ovFxZgrH5KRm+GWbXmGU3oDr4n55rhdCmteRA9ijg54B8i5ThEYFHf78Fiku I4BNUkqxxoJJdx6qWwrfzh+dSAlYsuGWhkzAXAQ3X8wj49JV0Nja3P3Jn7lXD/0pBVo5 QUFxnjjYhu2OB6imw4yzWEp+c2IbsvjETEIOQ= Return-Path: From: Adhemerval Zanella To: libc-alpha@sourceware.org Subject: [PATCH v2 1/2] Replace check_mul_overflow_size_t with __builtin_mul_overflow Date: Fri, 28 Dec 2018 12:13:15 -0200 Message-Id: <20181228141316.25952-1-adhemerval.zanella@linaro.org> Changes from previous version: - Replace INT_MULTIPLY_WRAPV with check_mul_overflow_size_t. -- Checked on x86_64-linux-gnu and i686-linux-gnu. * malloc/alloc_buffer_alloc_array.c (__libc_alloc_buffer_alloc_array): Use __builtin_mul_overflow in place of check_mul_overflow_size_t. * malloc/dynarray_emplace_enlarge.c (__libc_dynarray_emplace_enlarge): Likewise. * malloc/dynarray_resize.c (__libc_dynarray_resize): Likewise. * malloc/reallocarray.c (__libc_reallocarray): Likewise. * malloc/malloc-internal.h (check_mul_overflow_size_t): Remove function. * support/blob_repeat.c (check_mul_overflow_size_t, (minimum_stride_size, support_blob_repeat_allocate): Likewise. --- ChangeLog | 13 +++++++++++++ malloc/alloc_buffer_alloc_array.c | 3 +-- malloc/dynarray_emplace_enlarge.c | 3 +-- malloc/dynarray_resize.c | 3 +-- malloc/malloc-internal.h | 20 -------------------- malloc/reallocarray.c | 7 +++---- support/blob_repeat.c | 26 +++----------------------- 7 files changed, 22 insertions(+), 53 deletions(-) -- 2.17.1 diff --git a/malloc/alloc_buffer_alloc_array.c b/malloc/alloc_buffer_alloc_array.c index 1dd098a8fc..7505422b43 100644 --- a/malloc/alloc_buffer_alloc_array.c +++ b/malloc/alloc_buffer_alloc_array.c @@ -17,7 +17,6 @@ . */ #include -#include #include void * @@ -28,7 +27,7 @@ __libc_alloc_buffer_alloc_array (struct alloc_buffer *buf, size_t element_size, /* The caller asserts that align is a power of two. */ size_t aligned = ALIGN_UP (current, align); size_t size; - bool overflow = check_mul_overflow_size_t (element_size, count, &size); + bool overflow = __builtin_mul_overflow (element_size, count, &size); size_t new_current = aligned + size; if (!overflow /* Multiplication did not overflow. */ && aligned >= current /* No overflow in align step. */ diff --git a/malloc/dynarray_emplace_enlarge.c b/malloc/dynarray_emplace_enlarge.c index 0408271e27..aa8f5fae3f 100644 --- a/malloc/dynarray_emplace_enlarge.c +++ b/malloc/dynarray_emplace_enlarge.c @@ -18,7 +18,6 @@ #include #include -#include #include #include @@ -52,7 +51,7 @@ __libc_dynarray_emplace_enlarge (struct dynarray_header *list, } size_t new_size; - if (check_mul_overflow_size_t (new_allocated, element_size, &new_size)) + if (__builtin_mul_overflow (new_allocated, element_size, &new_size)) return false; void *new_array; if (list->array == scratch) diff --git a/malloc/dynarray_resize.c b/malloc/dynarray_resize.c index 0bfca1ba4b..0205cf7ab2 100644 --- a/malloc/dynarray_resize.c +++ b/malloc/dynarray_resize.c @@ -18,7 +18,6 @@ #include #include -#include #include #include @@ -38,7 +37,7 @@ __libc_dynarray_resize (struct dynarray_header *list, size_t size, over-allocation here. */ size_t new_size_bytes; - if (check_mul_overflow_size_t (size, element_size, &new_size_bytes)) + if (__builtin_mul_overflow (size, element_size, &new_size_bytes)) { /* Overflow. */ __set_errno (ENOMEM); diff --git a/malloc/malloc-internal.h b/malloc/malloc-internal.h index 9cee0fb2d7..70d5b38504 100644 --- a/malloc/malloc-internal.h +++ b/malloc/malloc-internal.h @@ -74,24 +74,4 @@ void __malloc_fork_unlock_child (void) attribute_hidden; /* Called as part of the thread shutdown sequence. */ void __malloc_arena_thread_freeres (void) attribute_hidden; -/* Set *RESULT to LEFT * RIGHT. Return true if the multiplication - overflowed. */ -static inline bool -check_mul_overflow_size_t (size_t left, size_t right, size_t *result) -{ -#if __GNUC__ >= 5 - return __builtin_mul_overflow (left, right, result); -#else - /* size_t is unsigned so the behavior on overflow is defined. */ - *result = left * right; - size_t half_size_t = ((size_t) 1) << (8 * sizeof (size_t) / 2); - if (__glibc_unlikely ((left | right) >= half_size_t)) - { - if (__glibc_unlikely (right != 0 && *result / right != left)) - return true; - } - return false; -#endif -} - #endif /* _MALLOC_INTERNAL_H */ diff --git a/malloc/reallocarray.c b/malloc/reallocarray.c index 319eccd21f..4905dc6e4b 100644 --- a/malloc/reallocarray.c +++ b/malloc/reallocarray.c @@ -18,19 +18,18 @@ #include #include -#include +#include void * __libc_reallocarray (void *optr, size_t nmemb, size_t elem_size) { size_t bytes; - if (check_mul_overflow_size_t (nmemb, elem_size, &bytes)) + if (__builtin_mul_overflow (nmemb, elem_size, &bytes)) { __set_errno (ENOMEM); return 0; } - else - return realloc (optr, bytes); + return realloc (optr, bytes); } libc_hidden_def (__libc_reallocarray) diff --git a/support/blob_repeat.c b/support/blob_repeat.c index 718846d81d..daa1b7fd96 100644 --- a/support/blob_repeat.c +++ b/support/blob_repeat.c @@ -34,26 +34,6 @@ optimization because mappings carry a lot of overhead. */ static const size_t maximum_small_size = 4 * 1024 * 1024; -/* Set *RESULT to LEFT * RIGHT. Return true if the multiplication - overflowed. See . */ -static inline bool -check_mul_overflow_size_t (size_t left, size_t right, size_t *result) -{ -#if __GNUC__ >= 5 - return __builtin_mul_overflow (left, right, result); -#else - /* size_t is unsigned so the behavior on overflow is defined. */ - *result = left * right; - size_t half_size_t = ((size_t) 1) << (8 * sizeof (size_t) / 2); - if (__glibc_unlikely ((left | right) >= half_size_t)) - { - if (__glibc_unlikely (right != 0 && *result / right != left)) - return true; - } - return false; -#endif -} - /* Internal helper for fill. */ static void fill0 (char *target, const char *element, size_t element_size, @@ -138,8 +118,8 @@ minimum_stride_size (size_t page_size, size_t element_size) common multiple, it appears only once. Therefore, shift one factor. */ size_t multiple; - if (check_mul_overflow_size_t (page_size >> common_zeros, element_size, - &multiple)) + if (__builtin_mul_overflow (page_size >> common_zeros, element_size, + &multiple)) return 0; return multiple; } @@ -275,7 +255,7 @@ support_blob_repeat_allocate (const void *element, size_t element_size, size_t count) { size_t total_size; - if (check_mul_overflow_size_t (element_size, count, &total_size)) + if (__builtin_mul_overflow (element_size, count, &total_size)) { errno = EOVERFLOW; return (struct support_blob_repeat) { 0 };