From eaa675ad3f0a033537440f93172a7b122c04cab5 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Wed, 27 Nov 2024 14:10:37 +0000 Subject: c: Do not remove _Atomic from array element type for typeof_unqual [PR117781] As reported in bug 117781, my fix for bug 112841 broke the case of typeof_unqual applied to an array of _Atomic elements, which should not have _Atomic removed since only the element type is atomic, not the array type. Fix with logic to ensure that atomic element types are preserved as such, while other qualifiers (i.e. those that are semantically rather than only syntactically such in C) are removed. Bootstrapped with no regressions for x86_64-pc-linux-gnu. PR c/117781 gcc/c/ * c-parser.cc (c_parser_typeof_specifier): Do not remove _Atomic from array element type for typeof_unqual. gcc/testsuite/ * gcc.dg/c23-typeof-5.c: New test. --- gcc/c/c-parser.cc | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) (limited to 'gcc/c/c-parser.cc') diff --git a/gcc/c/c-parser.cc b/gcc/c/c-parser.cc index 47668ec..730f70b 100644 --- a/gcc/c/c-parser.cc +++ b/gcc/c/c-parser.cc @@ -4443,9 +4443,19 @@ c_parser_typeof_specifier (c_parser *parser) parens.skip_until_found_close (parser); if (ret.spec != error_mark_node) { - if (is_unqual - && TYPE_QUALS (strip_array_types (ret.spec)) != TYPE_UNQUALIFIED) - ret.spec = TYPE_MAIN_VARIANT (ret.spec); + if (is_unqual) + { + bool is_array = TREE_CODE (ret.spec) == ARRAY_TYPE; + int quals = TYPE_QUALS (strip_array_types (ret.spec)); + if ((is_array ? quals & ~TYPE_QUAL_ATOMIC : quals) + != TYPE_UNQUALIFIED) + { + ret.spec = TYPE_MAIN_VARIANT (ret.spec); + if (quals & TYPE_QUAL_ATOMIC && is_array) + ret.spec = c_build_qualified_type (ret.spec, + TYPE_QUAL_ATOMIC); + } + } if (is_std) { /* In ISO C terms, _Noreturn is not part of the type of -- cgit v1.1