Fix an accepts-invalid issue with [[]] attributes in the type position in C
authorAaron Ballman <aaron@aaronballman.com>
Thu, 1 Jul 2021 16:39:17 +0000 (12:39 -0400)
committerAaron Ballman <aaron@aaronballman.com>
Thu, 1 Jul 2021 16:41:18 +0000 (12:41 -0400)
commitbc7cc2074b7b7043e05cb46346f1368eb4ae9949
tree3a24cc53f18829750d71bba588d8fa1ae422a808
parentbef9464c514ad868eb99c4ad391690ac2eb690c1
Fix an accepts-invalid issue with [[]] attributes in the type position in C

A user reported an issue to me via email that Clang was accepting some
code that GCC was rejecting. After investigation, it turned out to be a
general problem of us failing to properly reject attributes written in
the type position in C when they don't apply to types. The root cause
was a terminology issue -- we sometimes use "CXX11Attr" to mean [[]] in
C++11 mode and sometimes [[]] in general -- and this came back to bite
us because in this particular case, it really meant [[]] in C++ mode.

I fixed the issue by introducing a new function
AttributeCommonInfo::isStandardAttributeSyntax() to represent [[]] in
either C or C++ mode.

This fix pointed out that we've had the issue in some of our existing
tests, which have all been corrected. This resolves
https://bugs.llvm.org/show_bug.cgi?id=50954.
clang/include/clang/Basic/AttributeCommonInfo.h
clang/lib/Parse/Parser.cpp
clang/lib/Sema/SemaDeclAttr.cpp
clang/lib/Sema/SemaType.cpp
clang/test/AST/ast-dump-c-attr.c
clang/test/Sema/attr-availability-square-brackets.c
clang/test/Sema/attr-c2x.c
clang/test/Sema/attr-deprecated-c2x.c
clang/test/Sema/attr-external-source-symbol.c
clang/test/Sema/c2x-maybe_unused-errors.c
clang/test/Sema/overloadable.c