/* { 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); | |
} |