14   int a;  in test()  local
16   ++a = 0; // ok  in test()
17   a + ++a; // expected-warning {{unsequenced modification and access to 'a'}}  in test()
18   a = ++a; // ok  in test()
19   a + a++; // expected-warning {{unsequenced modification and access to 'a'}}  in test()
20   a = a++; // expected-warning {{multiple unsequenced modifications to 'a'}}  in test()
21   ++ ++a; // ok  in test()
22   (a++, a++); // ok  in test()
23   ++a + ++a; // expected-warning {{multiple unsequenced modifications to 'a'}}  in test()
24   a++ + a++; // expected-warning {{multiple unsequenced modifications}}  in test()
25   (a++, a) = 0; // ok, increment is sequenced before value computation of LHS  in test()
26   a = xs[++a]; // ok  in test()
27   a = xs[a++]; // expected-warning {{multiple unsequenced modifications}}  in test()
28   (a ? xs[0] : xs[1]) = ++a; // expected-warning {{unsequenced modification and access}}  in test()
29   a = (++a, ++a); // ok  in test()
30   a = (a++, ++a); // ok  in test()
31   a = (a++, a++); // expected-warning {{multiple unsequenced modifications}}  in test()
32   f(a, a); // ok  in test()
33   f(a = 0, a); // expected-warning {{unsequenced modification and access}}  in test()
34   f(a, a += 0); // expected-warning {{unsequenced modification and access}}  in test()
35   f(a = 0, a = 0); // expected-warning {{multiple unsequenced modifications}}  in test()
36   a = f(++a); // ok  in test()
37   a = f(a++); // ok  in test()
38   a = f(++a, a++); // expected-warning {{multiple unsequenced modifications}}  in test()
42   (++a, a) = 1; // ok  in test()
43   (++a, a) += 1; // ok  in test()
44   a = ++a; // ok  in test()
45   a += ++a; // expected-warning {{unsequenced modification and access}}  in test()
47   A agg1 = { a++, a++ }; // ok  in test()
48   A agg2 = { a++ + a, a++ }; // expected-warning {{unsequenced modification and access}}  in test()
50   S str1(a++, a++); // expected-warning {{multiple unsequenced modifications}}  in test()
51   S str2 = { a++, a++ }; // ok  in test()
52   S str3 = { a++ + a, a++ }; // expected-warning {{unsequenced modification and access}}  in test()
54   struct Z { A a; S s; } z = { { ++a, ++a }, { ++a, ++a } }; // ok  in test()  member
55   a = S { ++a, a++ }.n; // ok  in test()
56   A { ++a, a++ }.x; // ok  in test()
57   a = A { ++a, a++ }.x; // expected-warning {{unsequenced modifications}}  in test()
58   A { ++a, a++ }.x + A { ++a, a++ }.y; // expected-warning {{unsequenced modifications}}  in test()
60   (xs[2] && (a = 0)) + a; // ok  in test()
61   (0 && (a = 0)) + a; // ok  in test()
62   (1 && (a = 0)) + a; // expected-warning {{unsequenced modification and access}}  in test()
64   (xs[3] || (a = 0)) + a; // ok  in test()
65   (0 || (a = 0)) + a; // expected-warning {{unsequenced modification and access}}  in test()
66   (1 || (a = 0)) + a; // ok  in test()
68   (xs[4] ? a : ++a) + a; // ok  in test()
69   (0 ? a : ++a) + a; // expected-warning {{unsequenced modification and access}}  in test()
70   (1 ? a : ++a) + a; // ok  in test()
71   (0 ? a : a++) + a; // expected-warning {{unsequenced modification and access}}  in test()
72   (1 ? a : a++) + a; // ok  in test()
73   (xs[5] ? ++a : ++a) + a; // FIXME: warn here  in test()
75   (++a, xs[6] ? ++a : 0) + a; // expected-warning {{unsequenced modification and access}}  in test()
79   a += (a++, a) + a; // expected-warning {{unsequenced modification and access}}  in test()
82   a = *(a++, p); // ok  in test()
83   a = a++ && a; // ok  in test()
93   a = a++ && f(a, a);  in test()
96   (a && a++) + a;  in test()
98   (xs[7] && ++a) * (!xs[7] && ++a); // ok  in test()
100   xs[0] = (a = 1, a); // ok  in test()
101   (a -= 128) &= 128; // ok  in test()
102   ++a += 1; // ok  in test()
104   xs[8] ? ++a + a++ : 0; // expected-warning {{multiple unsequenced modifications}}  in test()
105   xs[8] ? 0 : ++a + a++; // expected-warning {{multiple unsequenced modifications}}  in test()
106   xs[8] ? ++a : a++; // ok  in test()
108   xs[8] && (++a + a++); // expected-warning {{multiple unsequenced modifications}}  in test()
109   xs[8] || (++a + a++); // expected-warning {{multiple unsequenced modifications}}  in test()
111   (__builtin_classify_type(++a) ? 1 : 0) + ++a; // ok  in test()
112   (__builtin_constant_p(++a) ? 1 : 0) + ++a; // ok  in test()
113   (__builtin_object_size(&(++a, a), 0) ? 1 : 0) + ++a; // ok  in test()
114 …(__builtin_expect(++a, 0) ? 1 : 0) + ++a; // expected-warning {{multiple unsequenced modifications…  in test()