From patchwork Tue Nov 25 22:44:32 2014 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Joseph Myers X-Patchwork-Id: 414919 Return-Path: X-Original-To: incoming@patchwork.ozlabs.org Delivered-To: patchwork-incoming@bilbo.ozlabs.org Received: from sourceware.org (server1.sourceware.org [209.132.180.131]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by ozlabs.org (Postfix) with ESMTPS id EAE6814014D for ; Wed, 26 Nov 2014 09:44:53 +1100 (AEDT) DomainKey-Signature: a=rsa-sha1; c=nofws; d=sourceware.org; h=list-id :list-unsubscribe:list-subscribe:list-archive:list-post :list-help:sender:date:from:to:subject:message-id:mime-version :content-type; q=dns; s=default; b=RB60pa8Szzgb3Aku16JpibhlE78Xd Nx/bzoyn0tAOc1ZGZOckj5euT4eY7/r5egdtN7MDvPg1ohKSb2xVyTVrF0KAbeAS zOpmRunlEGcbQrVNez9gJaCYqetcPOX5OcKozcoSv8JT3UYFu43YsieIUiw68olZ 3uX0ka8qTGEU44= 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:date:from:to:subject:message-id:mime-version :content-type; s=default; bh=zgWenz9DFGLZXp34LlIFZzSSrWo=; b=Gg+ ApEQKsdRJg7FfReeBb/sb9H8SN8aZo+lD+9JuO6vJ7OW/dg2RUmRBOXpvvteHa40 rBW5mljm0JUhZmn1A4k1koScD0K9ype+QLXoAXq+EI99/TA/lsiQ/iOHoDUKXUkT PH5RE9yaH0UyrXRrlOtLUBcGmB63dNP1uMxPnPwE= Received: (qmail 21205 invoked by alias); 25 Nov 2014 22:44:48 -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 21188 invoked by uid 89); 25 Nov 2014 22:44:47 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=AWL, BAYES_00, RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.2 X-HELO: relay1.mentorg.com Date: Tue, 25 Nov 2014 22:44:32 +0000 From: Joseph Myers To: Subject: Add macros for diagnostic control, use for scanf %a tests Message-ID: User-Agent: Alpine 2.10 (DEB 1266 2009-07-14) MIME-Version: 1.0 [Differences relative to version 1 : macros are now named DIAG_*_NEEDS_COMMENT; the option name is now a string argument to the macro rather than being stringized; the GCC version number is now the first argument to DIAG_IGNORE_NEEDS_COMMENT rather than the second, to reduce the risk that greppability would require long source lines given the new longer macro name; the example uses of the macros are now in scanf tests.] In , Roland requested internal macros for use of "#pragma GCC diagnostic". This patch adds such macros and uses them to disable -Wformat warnings for some code testing GNU scanf %as where GCC expects C99 scanf %a (several other stdio tests currently use -Wno-format to disable warnings). Limitations in GCC's diagnostic pragmas require separate macros before and after the code generating the warnings, rather than a single macro taking that code as an argument. The macros are named DIAG_*_NEEDS_COMMENT to emphasise to reviewers the need for a comment accompanying any use of them (such comments may however just appear once for several uses of the macros for the same issue in the same file). I put a GCC version in the arguments to DIAG_IGNORE_NEEDS_COMMENT, as that seems something useful to grep for when obsoleting support for an old GCC version and needing to decide if warning-disabling code is still relevant. These macros should be usable for replacing existing -Wno-* use in makefiles (as also suggested by Roland), though I have no plans to work on that (only on use of the macros in cases where warnings are currently present that need disabling to use -Werror). Tested for x86_64. 2014-11-25 Joseph Myers * include/libc-internal.h (DIAG_PUSH_NEEDS_COMMENT): New macro. (DIAG_POP_NEEDS_COMMENT): Likewise. (_DIAG_STR1): Likewise. (_DIAG_STR): Likewise. (DIAG_IGNORE_NEEDS_COMMENT): Likewise. * stdio-common/bug21.c: Include . (do_test): Disable -Wformat around call to sscanf. * stdio-common/scanf14.c: Include . (main): Disable -Wformat around some calls to scanf functions. diff --git a/include/libc-internal.h b/include/libc-internal.h index 78f82da..01e38c3 100644 --- a/include/libc-internal.h +++ b/include/libc-internal.h @@ -70,4 +70,28 @@ extern void __init_misc (int, char **, char **); #define PTR_ALIGN_UP(base, size) \ ((__typeof__ (base)) ALIGN_UP ((uintptr_t) (base), (size))) +/* Push diagnostic state. */ +#define DIAG_PUSH_NEEDS_COMMENT _Pragma ("GCC diagnostic push") + +/* Pop diagnostic state. */ +#define DIAG_POP_NEEDS_COMMENT _Pragma ("GCC diagnostic pop") + +#define _DIAG_STR1(s) #s +#define _DIAG_STR(s) _DIAG_STR1(s) + +/* Ignore the diagnostic OPTION. VERSION is the most recent GCC + version for which the diagnostic has been confirmed to appear in + the absence of the pragma (in the form MAJOR.MINOR for GCC 4.x, + just MAJOR for GCC 5 and later). Uses of this pragma should be + reviewed when the GCC version given is no longer supported for + building glibc; the version number should always be on the same + source line as the macro name, so such uses can be found with grep. + Uses should come with a comment giving more details of the + diagnostic, and an architecture on which it is seen if possibly + optimization-related and not in architecture-specific code. This + macro should only be used if the diagnostic seems hard to fix (for + example, optimization-related false positives). */ +#define DIAG_IGNORE_NEEDS_COMMENT(version, option) \ + _Pragma (_DIAG_STR (GCC diagnostic ignored option)) + #endif /* _LIBC_INTERNAL */ diff --git a/stdio-common/bug21.c b/stdio-common/bug21.c index d22b9c1..ca27272 100644 --- a/stdio-common/bug21.c +++ b/stdio-common/bug21.c @@ -1,4 +1,5 @@ #include +#include static int do_test (void) @@ -6,7 +7,15 @@ do_test (void) static const char buf[] = " "; char *str; + /* GCC in C99 mode treats %a as the C99 format expecting float *, + but glibc with _GNU_SOURCE treats %as as the GNU allocation + extension, so resulting in "warning: format '%a' expects argument + of type 'float *', but argument 3 has type 'char **'". This + applies to the other %as, %aS and %a[] formats below as well. */ + DIAG_PUSH_NEEDS_COMMENT; + DIAG_IGNORE_NEEDS_COMMENT (4.9, "-Wformat"); int r = sscanf (buf, "%as", &str); + DIAG_POP_NEEDS_COMMENT; printf ("%d %p\n", r, str); return r != -1 || str != NULL; diff --git a/stdio-common/scanf14.c b/stdio-common/scanf14.c index 6ca5c7c..cffccb0 100644 --- a/stdio-common/scanf14.c +++ b/stdio-common/scanf14.c @@ -2,6 +2,7 @@ #include #include #include +#include #define FAIL() \ do { \ @@ -23,6 +24,13 @@ main (void) FAIL (); else if (f != 0.25 || memcmp (c, "s x", 3) != 0) FAIL (); + /* GCC in C99 mode treats %a as the C99 format expecting float *, + but glibc with _GNU_SOURCE treats %as as the GNU allocation + extension, so resulting in "warning: format '%a' expects argument + of type 'float *', but argument 3 has type 'char **'". This + applies to the other %as, %aS and %a[] formats below as well. */ + DIAG_PUSH_NEEDS_COMMENT; + DIAG_IGNORE_NEEDS_COMMENT (4.9, "-Wformat"); if (sscanf (" 1.25s x", "%as%2c", &sp, c) != 2) FAIL (); else @@ -32,10 +40,14 @@ main (void) memset (sp, 'x', sizeof "1.25s"); free (sp); } + DIAG_POP_NEEDS_COMMENT; if (sscanf (" 2.25s x", "%las%2c", &d, c) != 2) FAIL (); else if (d != 2.25 || memcmp (c, " x", 2) != 0) FAIL (); + /* See explanation above. */ + DIAG_PUSH_NEEDS_COMMENT; + DIAG_IGNORE_NEEDS_COMMENT (4.9, "-Wformat"); if (sscanf (" 3.25S x", "%4aS%3c", &lsp, c) != 2) FAIL (); else @@ -54,6 +66,7 @@ main (void) memset (sp, 'x', sizeof "4.25"); free (sp); } + DIAG_POP_NEEDS_COMMENT; if (sscanf ("5.25[0-9.] x", "%la[0-9.]%2c", &d, c) != 2) FAIL (); else if (d != 5.25 || memcmp (c, " x", 2) != 0) @@ -82,6 +95,9 @@ main (void) FAIL (); if (fseek (fp, 0, SEEK_SET) != 0) FAIL (); + /* See explanation above. */ + DIAG_PUSH_NEEDS_COMMENT; + DIAG_IGNORE_NEEDS_COMMENT (4.9, "-Wformat"); if (fscanf (fp, "%as%2c", &sp, c) != 2) FAIL (); else @@ -91,11 +107,15 @@ main (void) memset (sp, 'x', sizeof "1.25s"); free (sp); } + DIAG_POP_NEEDS_COMMENT; if (freopen (fname, "r", stdin) == NULL) FAIL (); else { + /* See explanation above. */ + DIAG_PUSH_NEEDS_COMMENT; + DIAG_IGNORE_NEEDS_COMMENT (4.9, "-Wformat"); if (scanf ("%as%2c", &sp, c) != 2) FAIL (); else @@ -105,6 +125,7 @@ main (void) memset (sp, 'x', sizeof "1.25s"); free (sp); } + DIAG_POP_NEEDS_COMMENT; } fclose (fp);