191386fcd3
Fixes: https://github.com/llvm/llvm-project/issues/141659 In C23, something like [[/*possible attributes*/]]; is an attribute declaration, not a statement. So it is not allowed by the syntax in places where a statement is required, specifically as the secondary block of a selection or iteration statement. Therefore, code like the following should give a diagnostic (at least with -std=c23 -pedantic), but Clang currently does not produce one: ```cpp int main(void) { if (1) [[]]; } ``` --------- Signed-off-by: yronglin <yronglin777@gmail.com> Signed-off-by: Wang, Yihan <yronglin777@gmail.com> Co-authored-by: Mariya Podchishchaeva <mariya.podchishchaeva@intel.com>
110 lines
2.6 KiB
C
110 lines
2.6 KiB
C
// RUN: %clang_cc1 -fsyntax-only -verify %s -Wno-unreachable-code
|
|
// RUN: %clang_cc1 -std=c23 -fsyntax-only -verify %s -Wno-unreachable-code
|
|
|
|
void test1(void) {
|
|
{ ; { ;;}} ;;
|
|
}
|
|
|
|
void test2(void) {
|
|
if (0) { if (1) {} } else { }
|
|
|
|
do { } while (0);
|
|
|
|
while (0) while(0) do ; while(0);
|
|
|
|
for ((void)0;0;(void)0)
|
|
for (;;)
|
|
for ((void)9;0;(void)2)
|
|
;
|
|
for (int X = 0; 0; (void)0);
|
|
}
|
|
|
|
void test3(void) {
|
|
switch (0) {
|
|
|
|
case 4:
|
|
if (0) {
|
|
case 6: ;
|
|
}
|
|
default:
|
|
;
|
|
}
|
|
}
|
|
|
|
void test4(void) {
|
|
if (0); // expected-warning {{if statement has empty body}} expected-note {{put the semicolon on a separate line to silence this warning}}
|
|
|
|
int X; // declaration in a block.
|
|
|
|
foo: if (0); // expected-warning {{if statement has empty body}} expected-note {{put the semicolon on a separate line to silence this warning}}
|
|
}
|
|
|
|
typedef int t;
|
|
void test5(void) {
|
|
if (0); // expected-warning {{if statement has empty body}} expected-note {{put the semicolon on a separate line to silence this warning}}
|
|
|
|
t x = 0;
|
|
|
|
if (0); // expected-warning {{if statement has empty body}} expected-note {{put the semicolon on a separate line to silence this warning}}
|
|
}
|
|
|
|
|
|
void test6(void) {
|
|
do
|
|
. // expected-error {{expected expression}}
|
|
while (0);
|
|
}
|
|
|
|
int test7(void) {
|
|
return 4 // expected-error {{expected ';' after return statement}}
|
|
}
|
|
|
|
void test8(void) {
|
|
// Should not skip '}' and produce a "expected '}'" error.
|
|
undecl // expected-error {{use of undeclared identifier 'undecl'}}
|
|
}
|
|
|
|
int test9(void) {
|
|
int T[] = {1, 2, };
|
|
|
|
int X;
|
|
X = 0, // expected-error {{expected ';' after expression}}
|
|
{
|
|
}
|
|
|
|
X = 0, // expected-error {{expected ';' after expression}}
|
|
if (0)
|
|
;
|
|
|
|
return 4, // expected-error {{expected ';' after return statement}}
|
|
}
|
|
|
|
#if __STDC_VERSION__ >= 202311L
|
|
void attr_decl_in_selection_statement(int n) {
|
|
if (1)
|
|
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
|
|
|
|
if (1) {
|
|
|
|
} else
|
|
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
|
|
|
|
|
|
switch (n)
|
|
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
|
|
}
|
|
|
|
void attr_decl_in_iteration_statement(int n) {
|
|
int i;
|
|
for (i = 0; i < n; ++i)
|
|
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
|
|
|
|
while (i > 0)
|
|
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
|
|
|
|
do
|
|
[[]]; // expected-warning {{ISO C does not allow an attribute list to appear here}}
|
|
while (i > 0);
|
|
}
|
|
#endif // __STDC_VERSION__ >= 202311L
|