gcc/testsuite/gcc.dg/torture/pr67133.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

/* { dg-do compile } */
/* { dg-additional-options "-fisolate-erroneous-paths-attribute" } */

int printf (const char *, ...);
int foo (int);

int a, *b, c;

static int
fn1 ()
{ 
  if (a)
    return (a = 0);
  for (; a; )
    a = 0;
  return 0;
}

static int
fn2 (int p)
{ 
  fn1 ();
  c = 0;
  if (p)
    printf ("%d", 0);
  foo (b != &p);
  return 0;
}

void
fn3 ()
{ 
  fn2 (0);
}