| // { dg-do compile } | |
| struct A { short a; }; | |
| int **b; | |
| unsigned long c; | |
| bool foo (); | |
| unsigned bar (unsigned i); | |
| extern void baz () __attribute__((noreturn)); | |
| int * | |
| test (unsigned x, struct A *y) | |
| { | |
| unsigned v; | |
| if (foo () || y[x].a == -1) | |
| { | |
| c = bar (x); | |
| return 0; | |
| } | |
| v = y[x].a; | |
| if (v >= 23) | |
| baz (); | |
| return b[v]; | |
| } |