gcc/testsuite/gcc.dg/attr-assume-4.c

   1 /* PR tree-optimization/107369 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-std=c23 -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 }