1  /* PR tree-optimization/107369 */
       2  /* { dg-do compile } */
       3  /* { dg-options "-std=c2x -O1" } */
       4  
       5  void
       6  foo (int x)
       7  {
       8    if (x == 1)
       9      goto l1;				/* { dg-error "jump into statement expression" } */
      10  
      11    [[gnu::assume (({ l1:; 1; }))]];	/* { dg-message "label 'l1' defined here" } */
      12  }