diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2022-12-07 22:08:18 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2022-12-07 22:08:18 +0000 |
| commit | 3db5bee0079d48ab7c82f8df1cc7efd87a6fed04 (patch) | |
| tree | 137adfaf9414292842beb57e96587a95820b1767 /gcc/c/c-decl.cc | |
| parent | 3ad0f470c16d5528a5283060b007f8b419c33c92 (diff) | |
| download | gcc-3db5bee0079d48ab7c82f8df1cc7efd87a6fed04.zip gcc-3db5bee0079d48ab7c82f8df1cc7efd87a6fed04.tar.gz gcc-3db5bee0079d48ab7c82f8df1cc7efd87a6fed04.tar.bz2 | |
c: Diagnose auto constexpr used with a type
The constraints on auto in C2x disallow use with other storage-class
specifiers unless the type is inferred from an initializer. That
includes constexpr; add the missing checks for this case (the
combination of auto, constexpr and a type specifier).
Bootstrapped with no regressions for x86_64-pc-linux-gnu.
gcc/c/
* c-decl.cc (declspecs_add_type, declspecs_add_scspec): Check for
auto, constexpr and a type used together.
gcc/testsuite/
* gcc.dg/c2x-constexpr-1.c: Do not use auto, constexpr and a type
together.
* gcc.dg/c2x-constexpr-3.c: Add tests of auto, constexpr and type
used together.
Diffstat (limited to 'gcc/c/c-decl.cc')
| -rw-r--r-- | gcc/c/c-decl.cc | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/c/c-decl.cc b/gcc/c/c-decl.cc index 111f05e..e47ca67 100644 --- a/gcc/c/c-decl.cc +++ b/gcc/c/c-decl.cc @@ -11430,6 +11430,10 @@ declspecs_add_type (location_t loc, struct c_declspecs *specs, else if (specs->thread_p) error ("%qs used with %<auto%>", specs->thread_gnu_p ? "__thread" : "_Thread_local"); + else if (specs->constexpr_p) + /* auto may only be used with another storage class specifier, + such as constexpr, if the type is inferred. */ + error ("%<auto%> used with %<constexpr%>"); else specs->storage_class = csc_auto; } @@ -12363,6 +12367,10 @@ declspecs_add_scspec (location_t loc, return specs; } n = csc_auto; + /* auto may only be used with another storage class specifier, + such as constexpr, if the type is inferred. */ + if (specs->constexpr_p) + error ("%qE used with %<constexpr%>", scspec); break; case RID_EXTERN: n = csc_extern; @@ -12393,6 +12401,10 @@ declspecs_add_scspec (location_t loc, error ("%qE used with %<extern%>", scspec); else if (specs->storage_class == csc_typedef) error ("%qE used with %<typedef%>", scspec); + else if (specs->storage_class == csc_auto) + /* auto may only be used with another storage class specifier, + such as constexpr, if the type is inferred. */ + error ("%qE used with %<auto%>", scspec); else if (specs->thread_p) error ("%qE used with %qs", scspec, specs->thread_gnu_p ? "__thread" : "_Thread_local"); |