// RUN: %clang_analyze_cc1 -analyzer-checker=core %s
a;
b(void **c) { // no-crash
*c = a;
int *d;
b(&d);
*d;
}