#include <stdio.h>
#include <stdlib.h>

#include "analyzer-decls.h"

int z;

static void func(void)
{
}

int main(int    argc,
         int ** argv)
{
  int * x;
  int   ret = 0;
  void (*callback) () = func;

  while (ret != 110)
    ret = rand() % 1000;

  if (ret != 110)
    x = &z;

  (*callback) ();

  if (ret == 110)
    return 0;

  __analyzer_dump_path (); /* { dg-bogus "path" } */
  printf("x = %d\n", *x); /* { dg-bogus "use of uninitialized value 'x'" } */

  return 0;
}