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