gcc/testsuite/g++.dg/cpp23/attr-assume8.C

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