1 // RUN: %clang_analyze_cc1 -analyzer-checker=core %s
2 x;
y(void ** z)3 y(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()17 void *g() {
18   e(&a);
19   return a;
20 }
j()21 j() {
22   int h;
23   char i = g();
24   if (i)
25     for (; h;)
26       ;
27 }
28