aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/attr-assume-4.c
blob: e8a2b8d316c634520d5adc2fd7116d97ed5b6974 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
/* 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" } */
}