From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: by sourceware.org (Postfix, from userid 1791) id 78624385115A; Fri, 28 Oct 2022 17:42:00 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 78624385115A DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=sourceware.org; s=default; t=1666978920; bh=Ji7ids5lTVG5B9HL8nDfqQJ9GScGn8MZTj3z8r3/4ps=; h=From:To:Subject:Date:From; b=bU41M4+WHqBfKvvvXsDe/n4PwRS0VoLZ8e8JhVeibeBbgfpi6oNoAzJ1UegHrcD1u tAe/d10BdBou1R0Z5ShOEhpXBw2ar6HwEszqsZqAylJ7w0ri9pjw91iSonrSf2ZUeh b3fA+UbJ0Q0k9WkyAifkLUTS1Rbf2UbU35zgZtjs= Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit From: Adhemerval Zanella To: glibc-cvs@sourceware.org Subject: [glibc/azanella/clang] Suppress clang -Wtautological-constant-out-of-range-compare on strtod_l.c X-Act-Checkin: glibc X-Git-Author: Adhemerval Zanella X-Git-Refname: refs/heads/azanella/clang X-Git-Oldrev: 476149ba246c76a11e6fe6d87d7e031c48015f99 X-Git-Newrev: 5e4cd69e2d53e34d63ebec41079ab62cd6663edf Message-Id: <20221028174200.78624385115A@sourceware.org> Date: Fri, 28 Oct 2022 17:42:00 +0000 (GMT) List-Id: https://sourceware.org/git/gitweb.cgi?p=glibc.git;h=5e4cd69e2d53e34d63ebec41079ab62cd6663edf commit 5e4cd69e2d53e34d63ebec41079ab62cd6663edf Author: Adhemerval Zanella Date: Tue Jul 26 08:38:48 2022 -0300 Suppress clang -Wtautological-constant-out-of-range-compare on strtod_l.c Clang emits: strtod_l.c:874:18: error: result of comparison of constant 9223372036854775807 with expression of type 'size_t' (aka 'unsigned int') is always true [-Werror,-Wtautological-constant-out-of-range-compare] assert (dig_no <= (uintmax_t) INTMAX_MAX); ~~~~~~~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~ ../assert/assert.h:106:11: note: expanded from macro 'assert' if (expr) \ ^~~~ Diff: --- stdlib/strtod_l.c | 23 +++++++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/stdlib/strtod_l.c b/stdlib/strtod_l.c index 3ebb491e22..ab04c52e8c 100644 --- a/stdlib/strtod_l.c +++ b/stdlib/strtod_l.c @@ -85,6 +85,7 @@ extern double ____strtod_l_internal (const char *, char **, int, locale_t); #include "fpioconst.h" #include +#include /* We use this code for the extended locale handling where the @@ -871,7 +872,11 @@ ____STRTOF_INTERNAL (const STRING_TYPE *nptr, STRING_TYPE **endptr, int group, c = *++cp; } } + + DIAG_PUSH_NEEDS_COMMENT_CLANG; + DIAG_IGNORE_NEEDS_COMMENT_CLANG (13.0, "-Wtautological-constant-out-of-range-compare"); assert (dig_no <= (uintmax_t) INTMAX_MAX); + DIAG_POP_NEEDS_COMMENT_CLANG; /* Remember start of exponent (if any). */ expp = cp; @@ -901,16 +906,22 @@ ____STRTOF_INTERNAL (const STRING_TYPE *nptr, STRING_TYPE **endptr, int group, { if (exp_negative) { + DIAG_PUSH_NEEDS_COMMENT_CLANG; + DIAG_IGNORE_NEEDS_COMMENT_CLANG (13.0, "-Wtautological-constant-out-of-range-compare"); assert (int_no <= (uintmax_t) (INTMAX_MAX + MIN_EXP - MANT_DIG) / 4); + DIAG_POP_NEEDS_COMMENT_CLANG; exp_limit = -MIN_EXP + MANT_DIG + 4 * (intmax_t) int_no; } else { if (int_no) { + DIAG_PUSH_NEEDS_COMMENT_CLANG; + DIAG_IGNORE_NEEDS_COMMENT_CLANG (13.0, "-Wtautological-constant-out-of-range-compare"); assert (lead_zero == 0 && int_no <= (uintmax_t) INTMAX_MAX / 4); + DIAG_POP_NEEDS_COMMENT_CLANG; exp_limit = MAX_EXP - 4 * (intmax_t) int_no + 3; } else if (lead_zero == (size_t) -1) @@ -921,8 +932,11 @@ ____STRTOF_INTERNAL (const STRING_TYPE *nptr, STRING_TYPE **endptr, int group, } else { + DIAG_PUSH_NEEDS_COMMENT_CLANG; + DIAG_IGNORE_NEEDS_COMMENT_CLANG (13.0, "-Wtautological-constant-out-of-range-compare"); assert (lead_zero <= (uintmax_t) (INTMAX_MAX - MAX_EXP - 3) / 4); + DIAG_POP_NEEDS_COMMENT_CLANG; exp_limit = (MAX_EXP + 4 * (intmax_t) lead_zero + 3); @@ -933,16 +947,22 @@ ____STRTOF_INTERNAL (const STRING_TYPE *nptr, STRING_TYPE **endptr, int group, { if (exp_negative) { + DIAG_PUSH_NEEDS_COMMENT_CLANG; + DIAG_IGNORE_NEEDS_COMMENT_CLANG (13.0, "-Wtautological-constant-out-of-range-compare"); assert (int_no <= (uintmax_t) (INTMAX_MAX + MIN_10_EXP - MANT_DIG)); + DIAG_POP_NEEDS_COMMENT_CLANG; exp_limit = -MIN_10_EXP + MANT_DIG + (intmax_t) int_no; } else { if (int_no) { + DIAG_PUSH_NEEDS_COMMENT_CLANG; + DIAG_IGNORE_NEEDS_COMMENT_CLANG (13.0, "-Wtautological-constant-out-of-range-compare"); assert (lead_zero == 0 && int_no <= (uintmax_t) INTMAX_MAX); + DIAG_POP_NEEDS_COMMENT_CLANG; exp_limit = MAX_10_EXP - (intmax_t) int_no + 1; } else if (lead_zero == (size_t) -1) @@ -953,8 +973,11 @@ ____STRTOF_INTERNAL (const STRING_TYPE *nptr, STRING_TYPE **endptr, int group, } else { + DIAG_PUSH_NEEDS_COMMENT_CLANG; + DIAG_IGNORE_NEEDS_COMMENT_CLANG (13.0, "-Wtautological-constant-out-of-range-compare"); assert (lead_zero <= (uintmax_t) (INTMAX_MAX - MAX_10_EXP - 1)); + DIAG_POP_NEEDS_COMMENT_CLANG; exp_limit = MAX_10_EXP + (intmax_t) lead_zero + 1; } }