1 // RUN: %clang_analyze_cc1 -analyzer-checker=core %s 2 x; y(void ** z)3y(void **z) { // no-crash 4 *z = x; 5 int *w; 6 y(&w); 7 *w; 8 } 9 10 a; 11 b(*c) {} 12 e(*c) { 13 void *d = f(); 14 b(d); 15 *c = d; 16 } g()17void *g() { 18 e(&a); 19 return a; 20 } j()21j() { 22 int h; 23 char i = g(); 24 if (i) 25 for (; h;) 26 ; 27 } 28