Changes in c99.cpp

5030928d - [c++20] Implement semantic restrictions for C++20 designated

Fri, 30 Aug 2019 22:52:55 +0000

[c++20] Implement semantic restrictions for C++20 designatedinitializers.This has some interesting interactions with our existing extensions tosupport C99 designated initializers as an extension in C++. Those areresolved as follows: * We continue to permit the full breadth of C99 designated initializers in C++, with the exception that we disallow a partial overwrite of an initializer with a non-trivially-destructible type. (Full overwrite is OK, because we won't run the first initializer at all.) * The C99 extensions are disallowed in SFINAE contexts and during overload resolution, where they could change the meaning of valid programs. * C++20 disallows reordering of initializers. We only check for that for the simple cases that the C++20 rules permit (designators of the form '.field_name =' and continue to allow reordering in other cases). It would be nice to improve this behavior in future. * All C99 designated initializer extensions produce a warning by default in C++20 mode. People are going to learn the C++ rules based on what Clang diagnoses, so it's important we diagnose these properly by default. * In C++ <= 17, we apply the C++20 rules rather than the C99 rules, and so still diagnose C99 extensions as described above. We continue to accept designated C++20-compatible initializers in C++ <= 17 silently by default (but naturally still reject under -pedantic-errors).This is not a complete implementation of P0329R4. In particular, thatpaper introduces new non-C99-compatible syntax { .field { init } }, andwe do not support that yet.This is based on a previous patch by Don Hinton, though I've madesubstantial changes when addressing the above interactions.Differential Revision: https://reviews.llvm.org/D59754llvm-svn: 370544 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/c99.cpp

4101621d - Sema: Cleanup and simplify anonymous union diagnostics

Sat, 02 Nov 2013 10:38:05 +0000

Sema: Cleanup and simplify anonymous union diagnosticsThe determination of which diagnostics would be issued for certainanonymous unions started to get a little ridiculous. Clean this up byinverting the condition-tree's logic from dialect -> issue toissue -> diagnostic.As part of this cleanup, move ext_c99_flexible_array_member fromDiagnosticParseKinds.td to DiagnosticSemaKinds.td because it's driven bySema, not Parse.Also, the liberty was taken to edit ext_c99_flexible_array_member tomatch other, similar, diagnostics.llvm-svn: 193919 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/c99.cpp

77c2754d - Sema: Flexible array members were introduced in C99, diagnose their use in C++

Sat, 02 Nov 2013 09:22:44 +0000

Sema: Flexible array members were introduced in C99, diagnose their use in C++The declaration of a flexible array member was correctly diagnosed as anextension in C89 mode but not in C++.llvm-svn: 193918 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/c99.cpp

e434590b - Change the diagnostics which said 'accepted as an extension' to instead say

Thu, 29 Dec 2011 21:57:33 +0000

Change the diagnostics which said 'accepted as an extension' to instead say'is an extension'. The former is inappropriate and confusing when building with-Werror/-pedantic-errors.llvm-svn: 147357 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/c99.cpp

c124e59c - Emit an extension diagnostic for C99 designated initializers that appear in C++ code

Sun, 16 Jan 2011 16:13:16 +0000

Emit an extension diagnostic for C99 designated initializers that appear in C++ codellvm-svn: 123582 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/c99.cpp

959d5a0c - Implement support for variable length arrays in C++. VLAs are limited

Sat, 22 May 2010 16:17:30 +0000

Implement support for variable length arrays in C++. VLAs are limitedin several important ways: - VLAs of non-POD types are not permitted. - VLAs cannot be used in conjunction with C++ templates.These restrictions are intended to keep VLAs out of the parts of theC++ type system where they cause the most trouble. Fixes PR5678 and.llvm-svn: 104443 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/c99.cpp

8fbe78f6 - Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'.

Tue, 15 Dec 2009 20:14:24 +0000

Update tests to use %clang_cc1 instead of 'clang-cc' or 'clang -cc1'. - This is designed to make it obvious that %clang_cc1 is a "test variable" which is substituted. It is '%clang_cc1' instead of '%clang -cc1' because it can be useful to redefine what gets run as 'clang -cc1' (for example, to set a default target).llvm-svn: 91446 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/c99.cpp

73341c4e - Diagnose VLAs as an error in C++.

Fri, 11 Sep 2009 00:18:58 +0000

Diagnose VLAs as an error in C++.Also, treat the GNU __null as an integral constant expression to matchGCC's behavior.llvm-svn: 81490 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/c99.cpp