| // { dg-do compile } |
| // { dg-options "" } |
| |
| void |
| foo (int x) |
| { |
| bool a = false; |
| if (x == 1) |
| goto l1; // { dg-message "from here" } |
| a = ({ l0:; if (x == 0) goto l0; true; }); |
| a = ({ if (x == 0) throw 1; true; }); |
| a = ({ l1:; true; }); // { dg-error "jump to label 'l1'" } |
| // { dg-message "enters statement expression" "" { target *-*-* } .-1 } |
| a = ({ l2:; true; }); // { dg-error "jump to label 'l2'" } |
| switch (x) |
| { |
| case 2: |
| a = ({ case 3:; true; }); // { dg-error "jump to case label" } |
| // { dg-message "enters statement expression" "" { target *-*-* } .-1 } |
| a = ({ default:; true; }); // { dg-error "jump to case label" } |
| // { dg-message "enters statement expression" "" { target *-*-* } .-1 } |
| break; |
| } |
| if (x == 4) |
| goto l2; // { dg-message "from here" } |
| // { dg-message "enters statement expression" "" { target *-*-* } .-1 } |
| } |
