clang/test/Analysis/novoidtypecrash.c

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