From patchwork Tue Aug 12 09:53:59 2014 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Marek Polacek X-Patchwork-Id: 379280 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 7809D1400BB for ; Tue, 12 Aug 2014 19:54:16 +1000 (EST) DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :from:to:subject:message-id:references:mime-version:content-type :in-reply-to; q=dns; s=default; b=LF05y3RO+AS2f8QfD5ZjzqlUdGCtNz xjcyf4ZltGqWwwZ6BNEQBoofdwcDKywDBk9iXZACJAG2nAhLZ9UpNI98Rc/GLUxB Pl16fSP457vHVXNvq3HBIhvxfDPE5OY8XfO0xviSWQzWD/hOr6aXaSjNfG4WU4VJ HHeSEacDeZmLU= DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :from:to:subject:message-id:references:mime-version:content-type :in-reply-to; s=default; bh=EmjE5rNz+vKTqMtdHsaC/Nt9OgE=; b=MV7C 0E0+KmswIq1UL9bt4is6NLNz8a41btqx1JsSg1p7lMB6VTzpJpFaJ2tWko8Np/Z0 CKk23ZmXwg9/bLhkfKYwEz/rWwdc4wRWCo6FEMCcyGFZps7jv4snhwPPYAaQ7OfS dLPuIPkvOXxYUgtIYc9B4LKahoe1qqp3egoCazs= Received: (qmail 28977 invoked by alias); 12 Aug 2014 09:54:09 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Unsubscribe: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Delivered-To: mailing list gcc-patches@gcc.gnu.org Received: (qmail 28959 invoked by uid 89); 12 Aug 2014 09:54:08 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-3.0 required=5.0 tests=AWL, BAYES_00, RP_MATCHES_RCVD, SPF_HELO_PASS, SPF_PASS autolearn=ham version=3.3.2 X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES256-GCM-SHA384 encrypted) ESMTPS; Tue, 12 Aug 2014 09:54:05 +0000 Received: from int-mx10.intmail.prod.int.phx2.redhat.com (int-mx10.intmail.prod.int.phx2.redhat.com [10.5.11.23]) by mx1.redhat.com (8.14.4/8.14.4) with ESMTP id s7C9s2wI002774 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=OK); Tue, 12 Aug 2014 05:54:03 -0400 Received: from redhat.com (ovpn-116-28.ams2.redhat.com [10.36.116.28]) by int-mx10.intmail.prod.int.phx2.redhat.com (8.14.4/8.14.4) with ESMTP id s7C9rxVV020708 (version=TLSv1/SSLv3 cipher=AES128-GCM-SHA256 bits=128 verify=NO); Tue, 12 Aug 2014 05:54:01 -0400 Date: Tue, 12 Aug 2014 11:53:59 +0200 From: Marek Polacek To: GCC Patches , "Joseph S. Myers" Subject: Re: [C PATCH] Implement -Wc99-c11-compat (take 2) Message-ID: <20140812095358.GK2436@redhat.com> References: <20140811160100.GC2436@redhat.com> MIME-Version: 1.0 Content-Disposition: inline In-Reply-To: <20140811160100.GC2436@redhat.com> User-Agent: Mutt/1.5.23 (2014-03-12) And now the version with two bugs mention elsewhere fixed as well. Bootstrapped/regtested on x86_64-linux, ok for trunk? 2014-08-12 Marek Polacek * doc/invoke.texi: Document -Wc99-c11-compat. c-family/ * c.opt (Wc99-c11-compat): New option. c/ * c-decl.c (diagnose_mismatched_decls): Unconditionally call pedwarn_c99 instead of pedwarn. (grokfield): Likewise. (warn_defaults_to): New function. (grokdeclarator): Call warn_defaults_to instead of pedwarn_c99. Unconditionally call pedwarn_c99 instead of pedwarn. (start_function): Call warn_defaults_to instead of pedwarn_c99. (declspecs_add_scspec): Call pedwarn_c99 instead of pedwarn, don't check flag_isoc11 before. * c-errors.c (pedwarn_c99): Change the return type to bool. Handle -Wc99-c11-compat. * c-parser.c (disable_extension_diagnostics): Handle warn_c99_c11_compat. (restore_extension_diagnostics): Likewise. (c_parser_static_assert_declaration_no_semi): Call pedwarn_c99 instead of pedwarn, don't check flag_isoc11 before. (c_parser_declspecs): Likewise. (c_parser_alignas_specifier): Likewise. (c_parser_alignof_expression): Likewise. (c_parser_generic_selection): Likewise. * c-tree.h (pedwarn_c99): Update declaration. * c-typeck.c (c_finish_return): Call pedwarn or warning_at instead of pedwarn_c99. testsuite/ * gcc.dg/Wc99-c11-compat-1.c: New test. * gcc.dg/Wc99-c11-compat-2.c: New test. * gcc.dg/Wc99-c11-compat-3.c: New test. * gcc.dg/Wc99-c11-compat-4.c: New test. * gcc.dg/Wc99-c11-compat-5.c: New test. * gcc.dg/Wc99-c11-compat-6.c: New test. * gcc.dg/Wc99-c11-compat-7.c: New test. Marek diff --git gcc/c-family/c.opt gcc/c-family/c.opt index 087eabd..4848399 100644 --- gcc/c-family/c.opt +++ gcc/c-family/c.opt @@ -295,6 +295,10 @@ Wc90-c99-compat C ObjC Var(warn_c90_c99_compat) Init(-1) Warning Warn about features not present in ISO C90, but present in ISO C99 +Wc99-c11-compat +C ObjC Var(warn_c99_c11_compat) Init(-1) Warning +Warn about features not present in ISO C99, but present in ISO C11 + Wc++-compat C ObjC Var(warn_cxx_compat) Warning Warn about C constructs that are not in the common subset of C and C++ diff --git gcc/c/c-decl.c gcc/c/c-decl.c index 138b014..ec0d0ef 100644 --- gcc/c/c-decl.c +++ gcc/c/c-decl.c @@ -538,6 +538,8 @@ static tree grokdeclarator (const struct c_declarator *, bool *, enum deprecated_states); static tree grokparms (struct c_arg_info *, bool); static void layout_array_type (tree); +static void warn_defaults_to (location_t, int, const char *, ...) + ATTRIBUTE_GCC_DIAG(3,4); /* T is a statement. Add it to the statement-tree. This is the C/ObjC version--C++ has a slightly different version of this @@ -1844,12 +1846,9 @@ diagnose_mismatched_decls (tree newdecl, tree olddecl, newdecl); locate_old_decl (olddecl); } - else if (pedantic && !flag_isoc11) - { - pedwarn (input_location, OPT_Wpedantic, - "redefinition of typedef %q+D", newdecl); - locate_old_decl (olddecl); - } + else if (pedwarn_c99 (input_location, OPT_Wpedantic, + "redefinition of typedef %q+D", newdecl)) + locate_old_decl (olddecl); return true; } @@ -4941,6 +4940,22 @@ warn_variable_length_array (tree name, tree size) } } +/* Print warning about defaulting to int if necessary. */ + +static void +warn_defaults_to (location_t location, int opt, const char *gmsgid, ...) +{ + diagnostic_info diagnostic; + va_list ap; + + va_start (ap, gmsgid); + diagnostic_set_info (&diagnostic, gmsgid, &ap, location, + flag_isoc99 ? DK_PEDWARN : DK_WARNING); + diagnostic.option_index = opt; + report_diagnostic (&diagnostic); + va_end (ap); +} + /* Given declspecs and a declarator, determine the name and type of the object declared and construct a ..._DECL node for it. @@ -5117,12 +5132,12 @@ grokdeclarator (const struct c_declarator *declarator, else { if (name) - pedwarn_c99 (loc, flag_isoc99 ? 0 : OPT_Wimplicit_int, - "type defaults to % in declaration of %qE", - name); + warn_defaults_to (loc, flag_isoc99 ? 0 : OPT_Wimplicit_int, + "type defaults to % in declaration " + "of %qE", name); else - pedwarn_c99 (input_location, flag_isoc99 ? 0 : OPT_Wimplicit_int, - "type defaults to % in type name"); + warn_defaults_to (loc, flag_isoc99 ? 0 : OPT_Wimplicit_int, + "type defaults to % in type name"); } } @@ -6249,15 +6264,12 @@ grokdeclarator (const struct c_declarator *declarator, DECL_DECLARED_INLINE_P (decl) = 1; if (declspecs->noreturn_p) { - if (!flag_isoc11) - { - if (flag_isoc99) - pedwarn (loc, OPT_Wpedantic, + if (flag_isoc99) + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C99 does not support %<_Noreturn%>"); - else - pedwarn (loc, OPT_Wpedantic, + else + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C90 does not support %<_Noreturn%>"); - } TREE_THIS_VOLATILE (decl) = 1; } } @@ -6964,15 +6976,12 @@ grokfield (location_t loc, pedwarn (loc, 0, "declaration does not declare anything"); return NULL_TREE; } - if (!flag_isoc11) - { - if (flag_isoc99) - pedwarn (loc, OPT_Wpedantic, + if (flag_isoc99) + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C99 doesn%'t support unnamed structs/unions"); - else - pedwarn (loc, OPT_Wpedantic, + else + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C90 doesn%'t support unnamed structs/unions"); - } } value = grokdeclarator (declarator, declspecs, FIELD, false, @@ -7913,9 +7922,10 @@ start_function (struct c_declspecs *declspecs, struct c_declarator *declarator, } if (warn_about_return_type) - pedwarn_c99 (loc, flag_isoc99 ? 0 - : (warn_return_type ? OPT_Wreturn_type : OPT_Wimplicit_int), - "return type defaults to %"); + warn_defaults_to (loc, flag_isoc99 ? 0 + : (warn_return_type ? OPT_Wreturn_type + : OPT_Wimplicit_int), + "return type defaults to %"); /* Make the init_value nonzero so pushdecl knows this is not tentative. error_mark_node is replaced below (in pop_scope) with the BLOCK. */ @@ -9893,14 +9903,14 @@ declspecs_add_scspec (source_location loc, identifier in the implementation namespace; only diagnose it for the C11 spelling because of existing code using the other spelling. */ - if (!flag_isoc11 && !specs->thread_gnu_p) + if (!specs->thread_gnu_p) { if (flag_isoc99) - pedwarn (loc, OPT_Wpedantic, - "ISO C99 does not support %qE", scspec); + pedwarn_c99 (loc, OPT_Wpedantic, + "ISO C99 does not support %qE", scspec); else - pedwarn (loc, OPT_Wpedantic, - "ISO C90 does not support %qE", scspec); + pedwarn_c99 (loc, OPT_Wpedantic, + "ISO C90 does not support %qE", scspec); } specs->locations[cdw_thread] = loc; } diff --git gcc/c/c-errors.c gcc/c/c-errors.c index 89393b9..c1f9c35 100644 --- gcc/c/c-errors.c +++ gcc/c/c-errors.c @@ -29,20 +29,42 @@ along with GCC; see the file COPYING3. If not see #include "diagnostic.h" #include "opts.h" -/* Issue an ISO C99 pedantic warning MSGID. */ +/* Issue an ISO C99 pedantic warning MSGID if -pedantic outside C11 mode, + otherwise issue warning MSGID if -Wc99-c11-compat is specified. + This function is supposed to be used for matters that are allowed in + ISO C11 but not supported in ISO C99, thus we explicitly don't pedwarn + when C11 is specified. */ -void +bool pedwarn_c99 (location_t location, int opt, const char *gmsgid, ...) { diagnostic_info diagnostic; va_list ap; + bool warned = false; va_start (ap, gmsgid); - diagnostic_set_info (&diagnostic, gmsgid, &ap, location, - flag_isoc99 ? DK_PEDWARN : DK_WARNING); - diagnostic.option_index = opt; - report_diagnostic (&diagnostic); + /* If desired, issue the C99/C11 compat warning, which is more specific + than -pedantic. */ + if (warn_c99_c11_compat > 0) + { + diagnostic_set_info (&diagnostic, gmsgid, &ap, location, + (pedantic && !flag_isoc11) + ? DK_PEDWARN : DK_WARNING); + diagnostic.option_index = OPT_Wc99_c11_compat; + warned = report_diagnostic (&diagnostic); + } + /* -Wno-c99-c11-compat suppresses even the pedwarns. */ + else if (warn_c99_c11_compat == 0) + ; + /* For -pedantic outside C11, issue a pedwarn. */ + else if (pedantic && !flag_isoc11) + { + diagnostic_set_info (&diagnostic, gmsgid, &ap, location, DK_PEDWARN); + diagnostic.option_index = opt; + warned = report_diagnostic (&diagnostic); + } va_end (ap); + return warned; } /* Issue an ISO C90 pedantic warning MSGID if -pedantic outside C99 mode, diff --git gcc/c/c-parser.c gcc/c/c-parser.c index e1201f9..83d2af1 100644 --- gcc/c/c-parser.c +++ gcc/c/c-parser.c @@ -1076,7 +1076,11 @@ disable_extension_diagnostics (void) /* warn_c90_c99_compat has three states: -1/0/1, so we must play tricks to properly restore it. */ | ((warn_c90_c99_compat == 1) << 7) - | ((warn_c90_c99_compat == -1) << 8)); + | ((warn_c90_c99_compat == -1) << 8) + /* Similarly for warn_c99_c11_compat. */ + | ((warn_c99_c11_compat == 1) << 9) + | ((warn_c99_c11_compat == -1) << 10) + ); cpp_opts->cpp_pedantic = pedantic = 0; warn_pointer_arith = 0; cpp_opts->cpp_warn_traditional = warn_traditional = 0; @@ -1085,6 +1089,7 @@ disable_extension_diagnostics (void) warn_cxx_compat = 0; warn_overlength_strings = 0; warn_c90_c99_compat = 0; + warn_c99_c11_compat = 0; return ret; } @@ -1103,6 +1108,7 @@ restore_extension_diagnostics (int flags) warn_overlength_strings = (flags >> 6) & 1; /* See above for why is this needed. */ warn_c90_c99_compat = (flags >> 7) & 1 ? 1 : ((flags >> 8) & 1 ? -1 : 0); + warn_c99_c11_compat = (flags >> 9) & 1 ? 1 : ((flags >> 10) & 1 ? -1 : 0); } /* Possibly kinds of declarator to parse. */ @@ -2009,15 +2015,12 @@ c_parser_static_assert_declaration_no_semi (c_parser *parser) gcc_assert (c_parser_next_token_is_keyword (parser, RID_STATIC_ASSERT)); assert_loc = c_parser_peek_token (parser)->location; - if (!flag_isoc11) - { - if (flag_isoc99) - pedwarn (assert_loc, OPT_Wpedantic, + if (flag_isoc99) + pedwarn_c99 (assert_loc, OPT_Wpedantic, "ISO C99 does not support %<_Static_assert%>"); - else - pedwarn (assert_loc, OPT_Wpedantic, + else + pedwarn_c99 (assert_loc, OPT_Wpedantic, "ISO C90 does not support %<_Static_assert%>"); - } c_parser_consume_token (parser); if (!c_parser_require (parser, CPP_OPEN_PAREN, "expected %<(%>")) return; @@ -2382,15 +2385,12 @@ c_parser_declspecs (c_parser *parser, struct c_declspecs *specs, correct lvalue-to-rvalue conversions. */ if (flag_openmp) sorry ("%<_Atomic%> with OpenMP"); - if (!flag_isoc11) - { - if (flag_isoc99) - pedwarn (loc, OPT_Wpedantic, + if (flag_isoc99) + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C99 does not support the %<_Atomic%> qualifier"); - else - pedwarn (loc, OPT_Wpedantic, + else + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C90 does not support the %<_Atomic%> qualifier"); - } attrs_ok = true; tree value; value = c_parser_peek_token (parser)->value; @@ -3055,15 +3055,12 @@ c_parser_alignas_specifier (c_parser * parser) location_t loc = c_parser_peek_token (parser)->location; gcc_assert (c_parser_next_token_is_keyword (parser, RID_ALIGNAS)); c_parser_consume_token (parser); - if (!flag_isoc11) - { - if (flag_isoc99) - pedwarn (loc, OPT_Wpedantic, + if (flag_isoc99) + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C99 does not support %<_Alignas%>"); - else - pedwarn (loc, OPT_Wpedantic, + else + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C90 does not support %<_Alignas%>"); - } if (!c_parser_require (parser, CPP_OPEN_PAREN, "expected %<(%>")) return ret; if (c_parser_next_tokens_start_typename (parser, cla_prefer_id)) @@ -6579,14 +6576,14 @@ c_parser_alignof_expression (c_parser *parser) /* A diagnostic is not required for the use of this identifier in the implementation namespace; only diagnose it for the C11 spelling because of existing code using the other spellings. */ - if (!flag_isoc11 && is_c11_alignof) + if (is_c11_alignof) { if (flag_isoc99) - pedwarn (loc, OPT_Wpedantic, "ISO C99 does not support %qE", - alignof_spelling); + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C99 does not support %qE", + alignof_spelling); else - pedwarn (loc, OPT_Wpedantic, "ISO C90 does not support %qE", - alignof_spelling); + pedwarn_c99 (loc, OPT_Wpedantic, "ISO C90 does not support %qE", + alignof_spelling); } c_parser_consume_token (parser); c_inhibit_evaluation_warnings++; @@ -6745,15 +6742,12 @@ c_parser_generic_selection (c_parser *parser) gcc_assert (c_parser_next_token_is_keyword (parser, RID_GENERIC)); generic_loc = c_parser_peek_token (parser)->location; c_parser_consume_token (parser); - if (!flag_isoc11) - { - if (flag_isoc99) - pedwarn (generic_loc, OPT_Wpedantic, + if (flag_isoc99) + pedwarn_c99 (generic_loc, OPT_Wpedantic, "ISO C99 does not support %<_Generic%>"); - else - pedwarn (generic_loc, OPT_Wpedantic, + else + pedwarn_c99 (generic_loc, OPT_Wpedantic, "ISO C90 does not support %<_Generic%>"); - } if (!c_parser_require (parser, CPP_OPEN_PAREN, "expected %<(%>")) return error_expr; diff --git gcc/c/c-tree.h gcc/c/c-tree.h index 55e71dc..6004d50 100644 --- gcc/c/c-tree.h +++ gcc/c/c-tree.h @@ -678,7 +678,7 @@ extern tree c_check_omp_declare_reduction_r (tree *, int *, void *); /* In c-errors.c */ extern void pedwarn_c90 (location_t, int opt, const char *, ...) ATTRIBUTE_GCC_DIAG(3,4); -extern void pedwarn_c99 (location_t, int opt, const char *, ...) +extern bool pedwarn_c99 (location_t, int opt, const char *, ...) ATTRIBUTE_GCC_DIAG(3,4); #endif /* ! GCC_C_TREE_H */ diff --git gcc/c/c-typeck.c gcc/c/c-typeck.c index 0ed92c6..b1eac34 100644 --- gcc/c/c-typeck.c +++ gcc/c/c-typeck.c @@ -9220,9 +9220,12 @@ c_finish_return (location_t loc, tree retval, tree origtype) if ((warn_return_type || flag_isoc99) && valtype != 0 && TREE_CODE (valtype) != VOID_TYPE) { - pedwarn_c99 (loc, flag_isoc99 ? 0 : OPT_Wreturn_type, - "% with no value, in " - "function returning non-void"); + if (flag_isoc99) + pedwarn (loc, 0, "% with no value, in " + "function returning non-void"); + else + warning_at (loc, OPT_Wreturn_type, "% with no value, " + "in function returning non-void"); no_warning = true; } } diff --git gcc/doc/invoke.texi gcc/doc/invoke.texi index 91377fa..d0ef1a9 100644 --- gcc/doc/invoke.texi +++ gcc/doc/invoke.texi @@ -241,7 +241,7 @@ Objective-C and Objective-C++ Dialects}. -w -Wextra -Wall -Waddress -Waggregate-return @gol -Waggressive-loop-optimizations -Warray-bounds @gol -Wno-attributes -Wno-builtin-macro-redefined @gol --Wc90-c99-compat @gol +-Wc90-c99-compat -Wc99-c11-compat @gol -Wc++-compat -Wc++11-compat -Wcast-align -Wcast-qual @gol -Wchar-subscripts -Wclobbered -Wcomment -Wconditionally-supported @gol -Wconversion -Wcoverage-mismatch -Wdate-time -Wdelete-incomplete -Wno-cpp @gol @@ -4527,6 +4527,16 @@ type, @code{bool} type, compound literals, designated initializers, and so on. This option is independent of the standards mode. Warnings are disabled in the expression that follows @code{__extension__}. +@item -Wc99-c11-compat @r{(C and Objective-C only)} +@opindex Wc99-c11-compat +@opindex Wno-c99-c11-compat +Warn about features not present in ISO C99, but present in ISO C11. +For instance, warn about use of anonymous structures and unions, +@code{_Atomic} type qualifier, @code{_Thread_local} storage-class specifier, +@code{_Alignas} specifier, @code{Alignof} operator, @code{_Generic} keyword, +and so on. This option is independent of the standards mode. Warnings are +disabled in the expression that follows @code{__extension__}. + @item -Wc++-compat @r{(C and Objective-C only)} Warn about ISO C constructs that are outside of the common subset of ISO C and ISO C++, e.g.@: request for implicit conversion from diff --git gcc/testsuite/gcc.dg/Wc99-c11-compat-1.c gcc/testsuite/gcc.dg/Wc99-c11-compat-1.c index e69de29..58fc5b8 100644 --- gcc/testsuite/gcc.dg/Wc99-c11-compat-1.c +++ gcc/testsuite/gcc.dg/Wc99-c11-compat-1.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-std=gnu90 -pedantic -Wc99-c11-compat" } */ + +struct S { int i; struct { int a; }; }; /* { dg-warning "ISO C90 doesn.t support unnamed structs/unions" } */ +_Noreturn void foo (void); /* { dg-warning "ISO C90 does not support ._Noreturn." } */ +typedef int A; +typedef int A; /* { dg-warning "redefinition of typedef .A." } */ +_Thread_local int i; /* { dg-warning "ISO C90 does not support ._Thread_local." } */ +_Static_assert (1, "foo"); /* { dg-warning "ISO C90 does not support ._Static_assert." } */ +_Atomic int a; /* { dg-warning "ISO C90 does not support the ._Atomic. qualifier" } */ +_Alignas (int) int aa; /* { dg-warning "ISO C90 does not support ._Alignas." } */ +enum e { E = _Alignof (double) }; /* { dg-warning "ISO C90 does not support ._Alignof." } */ + +void +fn (int n) +{ + _Generic (n, int: 0); /* { dg-warning "ISO C90 does not support ._Generic." } */ +} diff --git gcc/testsuite/gcc.dg/Wc99-c11-compat-2.c gcc/testsuite/gcc.dg/Wc99-c11-compat-2.c index e69de29..9d1aa81 100644 --- gcc/testsuite/gcc.dg/Wc99-c11-compat-2.c +++ gcc/testsuite/gcc.dg/Wc99-c11-compat-2.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-std=gnu99 -pedantic -Wc99-c11-compat" } */ + +struct S { int i; struct { int a; }; }; /* { dg-warning "ISO C99 doesn.t support unnamed structs/unions" } */ +_Noreturn void foo (void); /* { dg-warning "ISO C99 does not support ._Noreturn." } */ +typedef int A; +typedef int A; /* { dg-warning "redefinition of typedef .A." } */ +_Thread_local int i; /* { dg-warning "ISO C99 does not support ._Thread_local." } */ +_Static_assert (1, "foo"); /* { dg-warning "ISO C99 does not support ._Static_assert." } */ +_Atomic int a; /* { dg-warning "ISO C99 does not support the ._Atomic. qualifier" } */ +_Alignas (int) int aa; /* { dg-warning "ISO C99 does not support ._Alignas." } */ +enum e { E = _Alignof (double) }; /* { dg-warning "ISO C99 does not support ._Alignof." } */ + +void +fn (int n) +{ + _Generic (n, int: 0); /* { dg-warning "ISO C99 does not support ._Generic." } */ +} diff --git gcc/testsuite/gcc.dg/Wc99-c11-compat-3.c gcc/testsuite/gcc.dg/Wc99-c11-compat-3.c index e69de29..64e24f8 100644 --- gcc/testsuite/gcc.dg/Wc99-c11-compat-3.c +++ gcc/testsuite/gcc.dg/Wc99-c11-compat-3.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-std=gnu11 -pedantic-errors -Wc99-c11-compat" } */ + +struct S { int i; struct { int a; }; }; /* { dg-warning "ISO C99 doesn.t support unnamed structs/unions" } */ +_Noreturn void foo (void); /* { dg-warning "ISO C99 does not support ._Noreturn." } */ +typedef int A; +typedef int A; /* { dg-warning "redefinition of typedef .A." } */ +_Thread_local int i; /* { dg-warning "ISO C99 does not support ._Thread_local." } */ +_Static_assert (1, "foo"); /* { dg-warning "ISO C99 does not support ._Static_assert." } */ +_Atomic int a; /* { dg-warning "ISO C99 does not support the ._Atomic. qualifier" } */ +_Alignas (int) int aa; /* { dg-warning "ISO C99 does not support ._Alignas." } */ +enum e { E = _Alignof (double) }; /* { dg-warning "ISO C99 does not support ._Alignof." } */ + +void +fn (int n) +{ + _Generic (n, int: 0); /* { dg-warning "ISO C99 does not support ._Generic." } */ +} diff --git gcc/testsuite/gcc.dg/Wc99-c11-compat-4.c gcc/testsuite/gcc.dg/Wc99-c11-compat-4.c index e69de29..511ccee 100644 --- gcc/testsuite/gcc.dg/Wc99-c11-compat-4.c +++ gcc/testsuite/gcc.dg/Wc99-c11-compat-4.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-std=gnu99 -pedantic-errors -Wno-c99-c11-compat" } */ + +struct S { int i; struct { int a; }; }; +_Noreturn void foo (void); +typedef int A; +typedef int A; +_Thread_local int i; +_Static_assert (1, "foo"); +_Atomic int a; +_Alignas (int) int aa; +enum e { E = _Alignof (double) }; + +void +fn (int n) +{ + _Generic (n, int: 0); +} diff --git gcc/testsuite/gcc.dg/Wc99-c11-compat-5.c gcc/testsuite/gcc.dg/Wc99-c11-compat-5.c index e69de29..ce9698c 100644 --- gcc/testsuite/gcc.dg/Wc99-c11-compat-5.c +++ gcc/testsuite/gcc.dg/Wc99-c11-compat-5.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-std=gnu11 -Wc99-c11-compat" } */ + +__extension__ struct S { int i; struct { int a; }; }; +__extension__ _Noreturn void foo (void); +typedef int A; +__extension__ typedef int A; +__extension__ _Thread_local int i; +__extension__ _Static_assert (1, "foo"); +__extension__ _Atomic int a; +__extension__ _Alignas (int) int aa; +enum e { E = __extension__ _Alignof (double) }; + +void +fn (int n) +{ + __extension__ _Generic (n, int: 0); +} diff --git gcc/testsuite/gcc.dg/Wc99-c11-compat-6.c gcc/testsuite/gcc.dg/Wc99-c11-compat-6.c index e69de29..07d7582 100644 --- gcc/testsuite/gcc.dg/Wc99-c11-compat-6.c +++ gcc/testsuite/gcc.dg/Wc99-c11-compat-6.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-std=gnu90 -pedantic-errors -Wc99-c11-compat" } */ + +struct S { int i; struct { int a; }; }; /* { dg-error "ISO C90 doesn.t support unnamed structs/unions" } */ +_Noreturn void foo (void); /* { dg-error "ISO C90 does not support ._Noreturn." } */ +typedef int A; +typedef int A; /* { dg-error "redefinition of typedef .A." } */ +_Thread_local int i; /* { dg-error "ISO C90 does not support ._Thread_local." } */ +_Static_assert (1, "foo"); /* { dg-error "ISO C90 does not support ._Static_assert." } */ +_Atomic int a; /* { dg-error "ISO C90 does not support the ._Atomic. qualifier" } */ +_Alignas (int) int aa; /* { dg-error "ISO C90 does not support ._Alignas." } */ +enum e { E = _Alignof (double) }; /* { dg-error "ISO C90 does not support ._Alignof." } */ + +void +fn (int n) +{ + _Generic (n, int: 0); /* { dg-error "ISO C90 does not support ._Generic." } */ +} diff --git gcc/testsuite/gcc.dg/Wc99-c11-compat-7.c gcc/testsuite/gcc.dg/Wc99-c11-compat-7.c index e69de29..a7033c9 100644 --- gcc/testsuite/gcc.dg/Wc99-c11-compat-7.c +++ gcc/testsuite/gcc.dg/Wc99-c11-compat-7.c @@ -0,0 +1,18 @@ +/* { dg-do compile } */ +/* { dg-options "-std=gnu99 -pedantic-errors -Wc99-c11-compat" } */ + +struct S { int i; struct { int a; }; }; /* { dg-error "ISO C99 doesn.t support unnamed structs/unions" } */ +_Noreturn void foo (void); /* { dg-error "ISO C99 does not support ._Noreturn." } */ +typedef int A; +typedef int A; /* { dg-error "redefinition of typedef .A." } */ +_Thread_local int i; /* { dg-error "ISO C99 does not support ._Thread_local." } */ +_Static_assert (1, "foo"); /* { dg-error "ISO C99 does not support ._Static_assert." } */ +_Atomic int a; /* { dg-error "ISO C99 does not support the ._Atomic. qualifier" } */ +_Alignas (int) int aa; /* { dg-error "ISO C99 does not support ._Alignas." } */ +enum e { E = _Alignof (double) }; /* { dg-error "ISO C99 does not support ._Alignof." } */ + +void +fn (int n) +{ + _Generic (n, int: 0); /* { dg-error "ISO C99 does not support ._Generic." } */ +}