annotate gcc/testsuite/g++.dg/warn/sequence-pt-2.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
111
kono
parents:
diff changeset
1 /* More sequence point warning tests */
kono
parents:
diff changeset
2 /* { dg-do compile } */
kono
parents:
diff changeset
3 /* { dg-options "-Wsequence-point" } */
kono
parents:
diff changeset
4
kono
parents:
diff changeset
5 struct s { struct s *nxt; int v; } q;
kono
parents:
diff changeset
6
kono
parents:
diff changeset
7 int x[10];
kono
parents:
diff changeset
8
kono
parents:
diff changeset
9 int foo(int *p)
kono
parents:
diff changeset
10 {
kono
parents:
diff changeset
11 int i = 0;
kono
parents:
diff changeset
12
kono
parents:
diff changeset
13 /* Test general-lvalue sequence point warnings */
kono
parents:
diff changeset
14 (*p) = (*p)++; /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
15 p[3] = p[3]++; /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
16 p[i] = p[i]++; /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
17 x[3] = x[3]++; /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
18 q.nxt->nxt->v = q.nxt->nxt->v++; /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
19
kono
parents:
diff changeset
20 /* test expressions that appear elsewhere in the C grammar */
kono
parents:
diff changeset
21
kono
parents:
diff changeset
22 { int a = i-i++; (void)a;} /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
23
kono
parents:
diff changeset
24 if ((i-i++) != 0) /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
25 return i-i++; /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
26
kono
parents:
diff changeset
27 for (i-i++;;) /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
28 ;
kono
parents:
diff changeset
29
kono
parents:
diff changeset
30 for (; (i-i++) != 0; ) /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
31 ;
kono
parents:
diff changeset
32
kono
parents:
diff changeset
33 for (;;i-i++) /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
34 ;
kono
parents:
diff changeset
35
kono
parents:
diff changeset
36 while ((i-i++) != 0) /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
37 ;
kono
parents:
diff changeset
38
kono
parents:
diff changeset
39 do {} while ((i-i++) != 0); /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
40
kono
parents:
diff changeset
41 switch (i-i++) { /* { dg-warning "undefined" "sequence point warning" } */
kono
parents:
diff changeset
42 case 0: return 1;
kono
parents:
diff changeset
43 }
kono
parents:
diff changeset
44
kono
parents:
diff changeset
45 return 0;
kono
parents:
diff changeset
46 }