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
f(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 }
154