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