annotate gcc/testsuite/gcc.dg/tm/pr46654.c @ 158:494b0b89df80 default tip

...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Mon, 25 May 2020 18:13:55 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* { dg-do compile } */
kono
parents:
diff changeset
2 /* { dg-options "-fgnu-tm" } */
kono
parents:
diff changeset
3
kono
parents:
diff changeset
4 extern void baz(int);
kono
parents:
diff changeset
5
kono
parents:
diff changeset
6 int y;
kono
parents:
diff changeset
7 void foo(volatile int x)
kono
parents:
diff changeset
8 {
kono
parents:
diff changeset
9 __transaction_atomic {
kono
parents:
diff changeset
10 x = 5; /* { dg-error "invalid use of volatile lvalue inside transaction" } */
kono
parents:
diff changeset
11 x += y;
kono
parents:
diff changeset
12 y++;
kono
parents:
diff changeset
13 }
kono
parents:
diff changeset
14 baz(x);
kono
parents:
diff changeset
15 }
kono
parents:
diff changeset
16
kono
parents:
diff changeset
17
kono
parents:
diff changeset
18 volatile int i = 0;
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 void george()
kono
parents:
diff changeset
21 {
kono
parents:
diff changeset
22 __transaction_atomic {
kono
parents:
diff changeset
23 if (i == 2) /* { dg-error "invalid use of volatile lvalue inside transaction" } */
kono
parents:
diff changeset
24 i = 1;
kono
parents:
diff changeset
25 }
kono
parents:
diff changeset
26 }