gcc/testsuite/gcc.dg/analyzer/feasibility-pr107582-2.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

#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;
}