|
111
|
1 /* Test precedence and associativity in expressions. */
|
|
|
2 /* Origin: Joseph Myers <joseph@codesourcery.com> */
|
|
|
3 /* { dg-do compile } */
|
|
|
4 /* { dg-options "" } */
|
|
|
5
|
|
|
6 struct s { int *a; } *p, q, *r[2], *g();
|
|
|
7 int *i[2];
|
|
|
8 int j[2];
|
|
|
9 _Complex double c[2];
|
|
|
10
|
|
|
11 void
|
|
|
12 f (void)
|
|
|
13 {
|
|
|
14 #define ASSERT(expr) do { char x[(expr) ? 1 : -1]; } while (0)
|
|
|
15 /* Postfix and unary operators and casts. */
|
|
|
16 *p++;
|
|
|
17 *p--;
|
|
|
18 *p->a;
|
|
|
19 *q.a;
|
|
|
20 *r[1];
|
|
|
21 (*g()).a;
|
|
|
22 ++i[0];
|
|
|
23 --i[0];
|
|
|
24 +j[0];
|
|
|
25 -j[0];
|
|
|
26 ~j[0];
|
|
|
27 !j[0];
|
|
|
28 __real__ c[1];
|
|
|
29 __imag__ c[1];
|
|
|
30 ASSERT ((sizeof p++) == (sizeof p));
|
|
|
31 ASSERT ((sizeof (int) + 1) == ((sizeof (int)) + 1));
|
|
|
32 ASSERT ((__alignof p++) == (__alignof p));
|
|
|
33 ASSERT ((__alignof (int) + 1) == ((__alignof (int)) + 1));
|
|
|
34 ASSERT ((sizeof __extension__ 1 + 1) == ((sizeof 1) + 1));
|
|
|
35 /* Binary operators. */
|
|
|
36 ASSERT (((_Bool) 1 * 2) == 2);
|
|
|
37 ASSERT (((_Bool) 8 / 4) == 0);
|
|
|
38 ASSERT (((_Bool) 8 % 4) == 1);
|
|
|
39 #define ASSERT_BIN(C1, O1, C2, O2, C3, V1, V2, V3) \
|
|
|
40 do { \
|
|
|
41 ASSERT ((C1 O1 C2 O2 C3) == V1); \
|
|
|
42 ASSERT (((C1 O1 C2) O2 C3) == V2); \
|
|
|
43 ASSERT ((C1 O1 (C2 O2 C3)) == V3); \
|
|
|
44 } while (0);
|
|
|
45 ASSERT_BIN (1, *, 2, *, 3, 6, 6, 6);
|
|
|
46 ASSERT_BIN (2, *, 2, /, 3, 1, 1, 0);
|
|
|
47 ASSERT_BIN (2, *, 2, %, 3, 1, 1, 4);
|
|
|
48 ASSERT_BIN (2, /, 2, *, 3, 3, 3, 0);
|
|
|
49 ASSERT_BIN (2, /, 2, /, 2, 0, 0, 2);
|
|
|
50 ASSERT_BIN (2, /, 4, %, 3, 0, 0, 2);
|
|
|
51 ASSERT_BIN (2, %, 2, *, 3, 0, 0, 2);
|
|
|
52 ASSERT_BIN (2, %, 9, /, 3, 0, 0, 2);
|
|
|
53 ASSERT_BIN (2, %, 4, %, 3, 2, 2, 0);
|
|
|
54 ASSERT_BIN (2, *, 3, +, 4, 10, 10, 14);
|
|
|
55 ASSERT_BIN (2, *, 3, -, 4, 2, 2, -2);
|
|
|
56 ASSERT_BIN (2, /, 3, +, 4, 4, 4, 0);
|
|
|
57 ASSERT_BIN (2, /, 3, -, 4, -4, -4, -2);
|
|
|
58 ASSERT_BIN (2, %, 3, +, 4, 6, 6, 2);
|
|
|
59 ASSERT_BIN (2, %, 3, -, 4, -2, -2, 0);
|
|
|
60 ASSERT_BIN (2, +, 3, *, 4, 14, 20, 14);
|
|
|
61 ASSERT_BIN (2, +, 3, /, 4, 2, 1, 2);
|
|
|
62 ASSERT_BIN (2, +, 3, %, 4, 5, 1, 5);
|
|
|
63 ASSERT_BIN (2, -, 3, *, 4, -10, -4, -10);
|
|
|
64 ASSERT_BIN (2, -, 3, /, 4, 2, 0, 2);
|
|
|
65 ASSERT_BIN (2, -, 4, %, 4, 2, -2, 2);
|
|
|
66 ASSERT_BIN (2, +, 3, +, 4, 9, 9, 9);
|
|
|
67 ASSERT_BIN (2, +, 3, -, 4, 1, 1, 1);
|
|
|
68 ASSERT_BIN (2, -, 3, +, 4, 3, 3, -5);
|
|
|
69 ASSERT_BIN (2, -, 3, -, 4, -5, -5, 3);
|
|
|
70 ASSERT_BIN (3, +, 2, <<, 4, 80, 80, 35);
|
|
|
71 ASSERT_BIN (3, +, 2, >>, 4, 0, 0, 3);
|
|
|
72 ASSERT_BIN (3, -, 2, <<, 4, 16, 16, -29);
|
|
|
73 ASSERT_BIN (3, -, 2, >>, 4, 0, 0, 3);
|
|
|
74 ASSERT_BIN (2, <<, 4, +, 3, 256, 35, 256);
|
|
|
75 ASSERT_BIN (2, <<, 4, -, 3, 4, 29, 4);
|
|
|
76 ASSERT_BIN (2, >>, 4, +, 3, 0, 3, 0);
|
|
|
77 ASSERT_BIN (2, >>, 4, -, 3, 1, -3, 1);
|
|
|
78 ASSERT_BIN (4L, <<, 2L, <<, 3L, 128L, 128L, 262144L);
|
|
|
79 ASSERT_BIN (4L, <<, 2L, >>, 3L, 2L, 2L, 4L);
|
|
|
80 ASSERT_BIN (4L, >>, 2L, <<, 3L, 8L, 8L, 0L);
|
|
|
81 ASSERT_BIN (4L, >>, 2L, >>, 3L, 0L, 0L, 4L);
|
|
|
82 ASSERT_BIN (2, <<, 5, <, 4, 0, 0, 2);
|
|
|
83 ASSERT_BIN (2, <<, 5, >, 4, 1, 1, 4);
|
|
|
84 ASSERT_BIN (2, <<, 5, <=, 4, 0, 0, 2);
|
|
|
85 ASSERT_BIN (2, <<, 5, >=, 4, 1, 1, 4);
|
|
|
86 ASSERT_BIN (2, >>, 5, <, 4, 1, 1, 2);
|
|
|
87 ASSERT_BIN (2, >>, 5, >, 4, 0, 0, 1);
|
|
|
88 ASSERT_BIN (2, >>, 5, <=, 4, 1, 1, 2);
|
|
|
89 ASSERT_BIN (2, >>, 5, >=, 4, 0, 0, 1);
|
|
|
90 ASSERT_BIN (4, <, 3, <<, 2, 1, 0, 1);
|
|
|
91 ASSERT_BIN (4, <, 20, >>, 2, 1, 0, 1);
|
|
|
92 ASSERT_BIN (4, >, 3, <<, 2, 0, 4, 0);
|
|
|
93 ASSERT_BIN (4, >, 3, >>, 2, 1, 0, 1);
|
|
|
94 ASSERT_BIN (4, <=, 3, <<, 2, 1, 0, 1);
|
|
|
95 ASSERT_BIN (4, <=, 20, >>, 2, 1, 0, 1);
|
|
|
96 ASSERT_BIN (4, >=, 3, <<, 2, 0, 4, 0);
|
|
|
97 ASSERT_BIN (4, >=, 3, >>, 2, 1, 0, 1);
|
|
|
98 ASSERT_BIN (1, <, 2, <, 3, 1, 1, 0);
|
|
|
99 ASSERT_BIN (1, <, 2, >, 0, 1, 1, 0);
|
|
|
100 ASSERT_BIN (1, <, 2, <=, 3, 1, 1, 0);
|
|
|
101 ASSERT_BIN (0, <, 4, >=, 3, 0, 0, 1);
|
|
|
102 ASSERT_BIN (1, >, 2, <, 3, 1, 1, 0);
|
|
|
103 ASSERT_BIN (1, >, 2, >, 3, 0, 0, 1);
|
|
|
104 ASSERT_BIN (1, >, 2, <=, 3, 1, 1, 0);
|
|
|
105 ASSERT_BIN (1, >, 2, >=, 3, 0, 0, 1);
|
|
|
106 ASSERT_BIN (3, <=, 2, <, 3, 1, 1, 0);
|
|
|
107 ASSERT_BIN (2, <=, 3, >, 0, 1, 1, 0);
|
|
|
108 ASSERT_BIN (2, <=, 3, <=, 4, 1, 1, 0);
|
|
|
109 ASSERT_BIN (2, <=, 3, >=, 1, 1, 1, 0);
|
|
|
110 ASSERT_BIN (0, >=, 2, <, 3, 1, 1, 0);
|
|
|
111 ASSERT_BIN (1, >=, 2, >, 3, 0, 0, 1);
|
|
|
112 ASSERT_BIN (0, >=, 2, <=, 3, 1, 1, 0);
|
|
|
113 ASSERT_BIN (1, >=, 2, >=, 3, 0, 0, 1);
|
|
|
114 ASSERT_BIN (-1, <, 2, ==, 3, 0, 0, 1);
|
|
|
115 ASSERT_BIN (1, <, 2, !=, 3, 1, 1, 0);
|
|
|
116 ASSERT_BIN (1, >, 2, ==, 3, 0, 0, 1);
|
|
|
117 ASSERT_BIN (1, >, 2, !=, 3, 1, 1, 0);
|
|
|
118 ASSERT_BIN (0, <=, 2, ==, 3, 0, 0, 1);
|
|
|
119 ASSERT_BIN (2, <=, 2, !=, 3, 1, 1, 0);
|
|
|
120 ASSERT_BIN (1, >=, 2, ==, 3, 0, 0, 1);
|
|
|
121 ASSERT_BIN (0, >=, 2, !=, 3, 1, 1, 0);
|
|
|
122 ASSERT_BIN (1, ==, 3, <, 2, 0, 1, 0);
|
|
|
123 ASSERT_BIN (1, ==, 3, >, 2, 1, 0, 1);
|
|
|
124 ASSERT_BIN (1, ==, 3, <=, 2, 0, 1, 0);
|
|
|
125 ASSERT_BIN (1, ==, 3, >=, 2, 1, 0, 1);
|
|
|
126 ASSERT_BIN (1, !=, 2, <, 3, 0, 1, 0);
|
|
|
127 ASSERT_BIN (1, !=, 2, >, 3, 1, 0, 1);
|
|
|
128 ASSERT_BIN (1, !=, 2, <=, 3, 0, 1, 0);
|
|
|
129 ASSERT_BIN (1, !=, 2, >=, 3, 1, 0, 1);
|
|
|
130 ASSERT_BIN (1, ==, 2, ==, 0, 1, 1, 0);
|
|
|
131 ASSERT_BIN (1, ==, 2, !=, 0, 0, 0, 1);
|
|
|
132 ASSERT_BIN (1, !=, 2, ==, 3, 0, 0, 1);
|
|
|
133 ASSERT_BIN (1, !=, 2, !=, 3, 1, 1, 0);
|
|
|
134 ASSERT_BIN (0, ==, 2, &, 1, 0, 0, 1);
|
|
|
135 ASSERT_BIN (0, !=, 2, &, 1, 1, 1, 0);
|
|
|
136 ASSERT_BIN (1, &, 2, ==, 0, 0, 1, 0);
|
|
|
137 ASSERT_BIN (1, &, 2, !=, 0, 1, 0, 1);
|
|
|
138 ASSERT_BIN (1, &, 2, ^, 3, 3, 3, 1);
|
|
|
139 ASSERT_BIN (3, ^, 2, &, 1, 3, 1, 3);
|
|
|
140 ASSERT_BIN (3, ^, 2, |, 1, 1, 1, 0);
|
|
|
141 ASSERT_BIN (3, |, 2, ^, 1, 3, 2, 3);
|
|
|
142 ASSERT_BIN (2, |, 0, &&, 2, 1, 1, 2);
|
|
|
143 ASSERT_BIN (2, &&, 0, |, 2, 1, 2, 1);
|
|
|
144 ASSERT_BIN (0, &&, 0, ||, 1, 1, 1, 0);
|
|
|
145 ASSERT_BIN (1, ||, 0, &&, 0, 1, 0, 1);
|
|
|
146 /* Conditional expressions. */
|
|
|
147 ASSERT ((1 || 2 ? 3 : 4) == 3);
|
|
|
148 ASSERT ((1 || (2 ? 3 : 4)) == 1);
|
|
|
149 /* Assignment expressions. */
|
|
|
150 p = p = p;
|
|
|
151 /* Expressions. */
|
|
|
152 p, p = p;
|
|
|
153 }
|
