5901d4005f
This fixes a regression introduced in 8bd06d5b65845e5e01dd899a2deb773580460b89 where Clang began to accept a declaration where a statement is required. e.g., ``` if (1) int x; // Previously accepted, now properly rejected ``` Fixes #92775
40 lines
1.1 KiB
C
40 lines
1.1 KiB
C
// RUN: %clang_cc1 %s -fsyntax-only -verify -pedantic
|
|
|
|
// Test that we can parse declarations at global scope.
|
|
int v;
|
|
|
|
void func(void) {
|
|
// Test that we can parse declarations within a compound statement.
|
|
int a;
|
|
{
|
|
int b;
|
|
}
|
|
|
|
int z = ({ // expected-warning {{use of GNU statement expression extension}}
|
|
// Test that we can parse declarations within a GNU statement expression.
|
|
int w = 12;
|
|
w;
|
|
});
|
|
|
|
// Test that we diagnose declarations where a statement is required.
|
|
// See GH92775.
|
|
if (1)
|
|
int x; // expected-error {{expected expression}}
|
|
for (;;)
|
|
int c; // expected-error {{expected expression}}
|
|
|
|
label:
|
|
int y; // expected-warning {{label followed by a declaration is a C23 extension}}
|
|
|
|
// Test that lookup works as expected.
|
|
(void)a;
|
|
(void)v;
|
|
(void)z;
|
|
(void)b; // expected-error {{use of undeclared identifier 'b'}}
|
|
(void)w; // expected-error {{use of undeclared identifier 'w'}}
|
|
(void)x; // expected-error {{use of undeclared identifier 'x'}}
|
|
(void)c; // expected-error {{use of undeclared identifier 'c'}}
|
|
(void)y;
|
|
}
|
|
|