Keep an explicit stack of function and block scopes, each element of
which has the label map, switch statement stack, etc. Previously, we
had a single set of maps in Sema (for the function) along with a stack
of block scopes. However, this lead to funky behavior with nested
functions, e.g., in the member functions of local classes.
The explicit-stack approach is far cleaner, and we retain a 1-element
cache so that we're not malloc/free'ing every time we enter a
function. Fixes PR6382.
Also, tweaked the unused-variable warning suppression logic to look at
errors within a given Scope rather than within a given function. The
prior code wasn't looking at the right number-of-errors count when
dealing with blocks, since the block's count would be deallocated
before we got to ActOnPopScope. This approach works with nested
blocks/functions, and gives tighter error recovery.
llvm-svn: 97518
2010-03-02 07:15:13 +08:00
|
|
|
// RUN: %clang_cc1 -fsyntax-only -Wunused-variable -fblocks -verify %s
|
2009-10-09 05:35:42 +08:00
|
|
|
|
|
|
|
struct s0 {
|
|
|
|
unsigned int i;
|
|
|
|
};
|
|
|
|
|
|
|
|
int proto(int a, int b);
|
|
|
|
|
|
|
|
void f0(void) {
|
|
|
|
int a __attribute__((unused)),
|
|
|
|
b; // expected-warning{{unused}}
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
void f1(void) {
|
|
|
|
int i;
|
|
|
|
(void)sizeof(i);
|
|
|
|
return;
|
|
|
|
}
|
2010-03-02 05:06:03 +08:00
|
|
|
|
|
|
|
// PR5933
|
|
|
|
int f2() {
|
|
|
|
int X = 4; // Shouldn't have a bogus 'unused variable X' warning.
|
|
|
|
return Y + X; // expected-error {{use of undeclared identifier 'Y'}}
|
|
|
|
}
|
Keep an explicit stack of function and block scopes, each element of
which has the label map, switch statement stack, etc. Previously, we
had a single set of maps in Sema (for the function) along with a stack
of block scopes. However, this lead to funky behavior with nested
functions, e.g., in the member functions of local classes.
The explicit-stack approach is far cleaner, and we retain a 1-element
cache so that we're not malloc/free'ing every time we enter a
function. Fixes PR6382.
Also, tweaked the unused-variable warning suppression logic to look at
errors within a given Scope rather than within a given function. The
prior code wasn't looking at the right number-of-errors count when
dealing with blocks, since the block's count would be deallocated
before we got to ActOnPopScope. This approach works with nested
blocks/functions, and gives tighter error recovery.
llvm-svn: 97518
2010-03-02 07:15:13 +08:00
|
|
|
|
|
|
|
int f3() {
|
|
|
|
int X1 = 4;
|
|
|
|
(void)(Y1 + X1); // expected-error {{use of undeclared identifier 'Y1'}}
|
|
|
|
(void)(^() { int X = 4; }); // expected-warning{{unused}}
|
|
|
|
(void)(^() { int X = 4; return Y + X; }); // expected-error {{use of undeclared identifier 'Y'}}
|
|
|
|
}
|