gcc/testsuite/gcc.dg/c23-attr-unsequenced-5.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44

/* Test C23 unsequenced attribute: composite type on ?:.  */
/* { dg-do run } */
/* { dg-options "-std=c23 -pedantic-errors" } */
/* { dg-additional-sources "c23-attr-unsequenced-5-aux.c" } */

int f1 () [[unsequenced]];
int f2 ();
int f3 ();
int (*fp1) () [[unsequenced]] = f2;
int (*fp2) () [[unsequenced]] = f3;
extern void abort ();

int
foo (int x)
{
  return __builtin_has_attribute (*(x ? f1 : f3), unsequenced);
}

int
bar (int x)
{
  return __builtin_has_attribute (*(x ? fp1 : fp2), unsequenced);
}

int
baz (int x)
{
  return __builtin_has_attribute (*(x ? f3 : f1), unsequenced);
}

int
qux (int x)
{
  return __builtin_has_attribute (*(x ? fp2 : fp1), unsequenced);
}

int
main ()
{
  if (!foo (0) || !bar (0) || !baz (0) || !qux (0))
    abort ();
  if (!foo (1) || !bar (1) || !baz (1) || !qux (1))
    abort ();
}