1  #include <stdio.h>
       2  #include <stdlib.h>
       3  
       4  #include "analyzer-decls.h"
       5  
       6  int z;
       7  
       8  static void func(void)
       9  {
      10  }
      11  
      12  int main(int    argc,
      13           int ** argv)
      14  {
      15    int * x;
      16    int   ret = 0;
      17    void (*callback) () = func;
      18  
      19    while (ret != 110)
      20      ret = rand() % 1000;
      21  
      22    if (ret != 110)
      23      x = &z;
      24  
      25    (*callback) ();
      26  
      27    if (ret == 110)
      28      return 0;
      29  
      30    __analyzer_dump_path (); /* { dg-bogus "path" } */
      31    printf("x = %d\n", *x); /* { dg-bogus "use of uninitialized value 'x'" } */
      32  
      33    return 0;
      34  }