1 // RUN: %clang_analyze_cc1 -verify %s -fblocks \
2 // RUN: -analyzer-checker=core \
3 // RUN: -analyzer-output=text
4
stack_addr_escape_base()5 int* stack_addr_escape_base() {
6 int x = 0;
7 // FIXME: This shouldn't be tied to a modeling checker.
8 return &x; // expected-warning{{Address of stack memory associated with local variable 'x' returned to caller [core.StackAddressEscape]}}
9 // expected-note-re@-1{{{{^Address of stack memory associated with local variable 'x' returned to caller$}}}}
10 // Just a regular compiler warning.
11 // expected-warning@-3{{address of stack memory associated with local variable 'x' returned}}
12 }
13
14 char const *p;
15
f0()16 void f0() {
17 char const str[] = "This will change";
18 p = str;
19 } // expected-warning{{Address of stack memory associated with local variable 'str' is still referred to by the global variable 'p' upon returning to the caller. This will be a dangling reference [core.StackAddressEscape]}}
20 // expected-note@-1{{Address of stack memory associated with local variable 'str' is still referred to by the global variable 'p' upon returning to the caller. This will be a dangling reference}}
21