| /* { dg-do compile } */ | |
| /* { dg-options "-O3 -fdump-tree-optimized" } */ | |
| void foo(void); | |
| static int a, c; | |
| static int *b = &a; | |
| static int **d = &b; | |
| void assert_fail() __attribute__((__noreturn__)); | |
| int main() { | |
| int *e = *d; | |
| if (e == &a || e == &c); | |
| else { | |
| __builtin_unreachable(); | |
| assert_fail(); | |
| } | |
| if (e == &a || e == &c); | |
| else | |
| foo(); | |
| } | |
| /* { dg-final { scan-tree-dump-not "assert_fail" "optimized" } } */ | |
| /* { dg-final { scan-tree-dump-not "foo" "optimized" } } */ | |