1 // RUN: %clang_cc1 -analyze -analyzer-checker=core -analyzer-store=region -verify %s
3 // FIXME: Only the stack-address checking in Sema catches this right now, and
4 // the stack analyzer doesn't handle the ImplicitCastExpr (lvalue).
7 return s; // expected-warning{{Address of stack memory associated with local variable 's' returned}} expected-warning{{reference to stack memory associated with local variable 's' returned}}
12 int &s2 = s1; // expected-note {{binding reference variable 's2' here}}
13 return s2; // expected-warning{{Address of stack memory associated with local variable 's1' returned}} expected-warning {{reference to stack memory associated with local variable 's1' returned}}
18 int &s2 = s1; // expected-note {{binding reference variable 's2' here}}
19 int &s3 = s2; // expected-note {{binding reference variable 's3' here}}
20 return s3; // expected-warning{{Address of stack memory associated with local variable 's1' returned}} expected-warning {{reference to stack memory associated with local variable 's1' returned}}
25 const int &get_reference1() { return get_value(); } // expected-warning{{Address of stack memory associated with temporary object of type 'int' returned}} expected-warning {{returning reference to local temporary}}
27 const int &get_reference2() {
28 const int &x = get_value(); // expected-note {{binding reference variable 'x' here}}
29 return x; // expected-warning{{Address of stack memory associated with temporary object of type 'int' returned}} expected-warning {{returning reference to local temporary}}
32 const int &get_reference3() {
33 const int &x1 = get_value(); // expected-note {{binding reference variable 'x1' here}}
34 const int &x2 = x1; // expected-note {{binding reference variable 'x2' here}}
35 return x2; // expected-warning{{Address of stack memory associated with temporary object of type 'int' returned}} expected-warning {{returning reference to local temporary}}
46 int &x2 = x1; // expected-note {{binding reference variable 'x2' here}}
47 return &x2; // expected-warning{{Address of stack memory associated with local variable 'x1' returned}} expected-warning {{address of stack memory associated with local variable 'x1' returned}}
52 int *const &x2 = &x1; // expected-note {{binding reference variable 'x2' here}}
53 return x2; // expected-warning {{address of stack memory associated with local variable 'x1' returned}} expected-warning {{Address of stack memory associated with local variable 'x1' returned to caller}}
57 const int &x1 = get_value(); // expected-note {{binding reference variable 'x1' here}}
58 const int &x2 = x1; // expected-note {{binding reference variable 'x2' here}}
59 return &x2; // expected-warning{{Address of stack memory associated with temporary object of type 'int' returned}} expected-warning {{returning address of local temporary}}
68 S &s2 = s1; // expected-note {{binding reference variable 's2' here}}
69 int &x = s2.x; // expected-note {{binding reference variable 'x' here}}
70 return &x; // expected-warning{{Address of stack memory associated with local variable 's1' returned}} expected-warning {{address of stack memory associated with local variable 's1' returned}}
75 void *const &x = &&label; // expected-note {{binding reference variable 'x' here}}
76 return x; // expected-warning {{returning address of label, which is local}}
90 int& i = i; // expected-warning {{Assigned value is garbage or undefined}} expected-note {{binding reference variable 'i' here}} expected-warning{{reference 'i' is not yet bound to a value when used within its own initialization}}
91 return &i; // expected-warning {{address of stack memory associated with local variable 'i' returned}}
94 void *radar13226577() {
96 return p; // expected-warning {{stack memory associated with local variable 'p' returned to caller}}