1// RUN: %clang_cc1 -analyze -analyzer-checker=core -verify -std=c99 -Dbool=_Bool -Wno-bool-conversion %s 2// RUN: %clang_cc1 -analyze -analyzer-checker=core -verify -x c++ -Wno-bool-conversion %s 3 4typedef __INTPTR_TYPE__ intptr_t; 5char const *p; 6 7void f0() { 8 char const str[] = "This will change"; 9 p = str; 10} // 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}} 11 12void f1() { 13 char const str[] = "This will change"; 14 p = str; 15 p = 0; // no-warning 16} 17 18void f2() { 19 p = (const char *) __builtin_alloca(12); 20} // expected-warning{{Address of stack memory allocated by call to alloca() on line 19 is still referred to by the global variable 'p' upon returning to the caller. This will be a dangling reference}} 21 22// PR 7383 - previosly the stack address checker would crash on this example 23// because it would attempt to do a direct load from 'pr7383_list'. 24static int pr7383(__const char *__) 25{ 26 return 0; 27} 28extern __const char *__const pr7383_list[]; 29 30// Test that we catch multiple returns via globals when analyzing a function. 31void test_multi_return() { 32 static int *a, *b; 33 int x; 34 a = &x; 35 b = &x; 36} // expected-warning{{Address of stack memory associated with local variable 'x' is still referred to by the global variable 'a' upon returning}} expected-warning{{Address of stack memory associated with local variable 'x' is still referred to by the global variable 'b' upon returning}} 37 38intptr_t returnAsNonLoc() { 39 int x; 40 return (intptr_t)&x; // expected-warning{{Address of stack memory associated with local variable 'x' returned to caller}} 41} 42 43bool returnAsBool() { 44 int x; 45 return &x; // no-warning 46} 47 48void assignAsNonLoc() { 49 extern intptr_t ip; 50 int x; 51 ip = (intptr_t)&x; 52} // expected-warning{{Address of stack memory associated with local variable 'x' is still referred to by the global variable 'ip' upon returning}} 53 54void assignAsBool() { 55 extern bool b; 56 int x; 57 b = &x; 58} // no-warning 59