| /* PR tree-optimization/107369 */ | |
| /* { dg-do compile } */ | |
| /* { dg-options "-std=c2x -O1" } */ | |
| void | |
| foo (int x) | |
| { | |
| if (x == 1) | |
| goto l1; /* { dg-error "jump into statement expression" } */ | |
| [[gnu::assume (({ l1:; 1; }))]]; /* { dg-message "label 'l1' defined here" } */ | |
| } |