1 /* { dg-do compile } */
2 /* { dg-options "-std=gnu99 -ftrack-macro-expansion=0" } */
3
4 /* C99 6.5.10: Bitwise AND operator.
5 C99 6.5.11: Bitwise exclusive OR operator.
6 C99 6.5.12: Bitwise inclusive OR operator.
7
8 Test that these operators do not accept fixed-point operands.
9 Based on the test from ../dfp/. */
10
11 extern void abort (void);
12
13 #define OPERATE(OPRD1,OPRT,OPRD2) \
14 do \
15 { \
16 OPRD1 OPRT OPRD2; \
17 } while (0)
18
19
20
21 #define BITWISE_OPERATOR(OPRT,OPRD) \
22 do \
23 { \
24 OPERATE(OPRD,OPRT,1); \
25 OPERATE(OPRD,OPRT,0); \
26 OPERATE(OPRD,OPRT,0x15); \
27 OPERATE(0,OPRT,OPRD); \
28 OPERATE(1,OPRT,OPRD); \
29 OPERATE(0x15,OPRT,OPRD); \
30 } while (0)
31
32 void operator_notfor_fixed_point()
33 {
34 short _Fract sf;
35 _Fract f;
36 long _Fract lf;
37 long long _Fract llf;
38 unsigned short _Fract usf;
39 unsigned _Fract uf;
40 unsigned long _Fract ulf;
41 unsigned long long _Fract ullf;
42 _Sat short _Fract Ssf;
43 _Sat _Fract Sf;
44 _Sat long _Fract Slf;
45 _Sat long long _Fract Sllf;
46 _Sat unsigned short _Fract Susf;
47 _Sat unsigned _Fract Suf;
48 _Sat unsigned long _Fract Sulf;
49 _Sat unsigned long long _Fract Sullf;
50 short _Accum sa;
51 _Accum a;
52 long _Accum la;
53 long long _Accum lla;
54 unsigned short _Accum usa;
55 unsigned _Accum ua;
56 unsigned long _Accum ula;
57 unsigned long long _Accum ulla;
58 _Sat short _Accum Ssa;
59 _Sat _Accum Sa;
60 _Sat long _Accum Sla;
61 _Sat long long _Accum Slla;
62 _Sat unsigned short _Accum Susa;
63 _Sat unsigned _Accum Sua;
64 _Sat unsigned long _Accum Sula;
65 _Sat unsigned long long _Accum Sulla;
66
67 /* C99 Section 6.5.{10,11,12} Bitwise operator. Constraints: Each of
68 the operands shall have integer type. Fixed-point type is rejected
69 by compiler when bitwise operation is performed. */
70
71 BITWISE_OPERATOR(&,sf); /* { dg-error "invalid operands to binary" } */
72 BITWISE_OPERATOR(|,sf); /* { dg-error "invalid operands to binary" } */
73 BITWISE_OPERATOR(^,sf); /* { dg-error "invalid operands to binary" } */
74 BITWISE_OPERATOR(&,f); /* { dg-error "invalid operands to binary" } */
75 BITWISE_OPERATOR(|,f); /* { dg-error "invalid operands to binary" } */
76 BITWISE_OPERATOR(^,f); /* { dg-error "invalid operands to binary" } */
77 BITWISE_OPERATOR(&,lf); /* { dg-error "invalid operands to binary" } */
78 BITWISE_OPERATOR(|,lf); /* { dg-error "invalid operands to binary" } */
79 BITWISE_OPERATOR(^,lf); /* { dg-error "invalid operands to binary" } */
80 BITWISE_OPERATOR(&,llf); /* { dg-error "invalid operands to binary" } */
81 BITWISE_OPERATOR(|,llf); /* { dg-error "invalid operands to binary" } */
82 BITWISE_OPERATOR(^,llf); /* { dg-error "invalid operands to binary" } */
83 BITWISE_OPERATOR(&,usf); /* { dg-error "invalid operands to binary" } */
84 BITWISE_OPERATOR(|,usf); /* { dg-error "invalid operands to binary" } */
85 BITWISE_OPERATOR(^,usf); /* { dg-error "invalid operands to binary" } */
86 BITWISE_OPERATOR(&,uf); /* { dg-error "invalid operands to binary" } */
87 BITWISE_OPERATOR(|,uf); /* { dg-error "invalid operands to binary" } */
88 BITWISE_OPERATOR(^,uf); /* { dg-error "invalid operands to binary" } */
89 BITWISE_OPERATOR(&,ulf); /* { dg-error "invalid operands to binary" } */
90 BITWISE_OPERATOR(|,ulf); /* { dg-error "invalid operands to binary" } */
91 BITWISE_OPERATOR(^,ulf); /* { dg-error "invalid operands to binary" } */
92 BITWISE_OPERATOR(&,ullf); /* { dg-error "invalid operands to binary" } */
93 BITWISE_OPERATOR(|,ullf); /* { dg-error "invalid operands to binary" } */
94 BITWISE_OPERATOR(^,ullf); /* { dg-error "invalid operands to binary" } */
95 BITWISE_OPERATOR(&,Ssf); /* { dg-error "invalid operands to binary" } */
96 BITWISE_OPERATOR(|,Ssf); /* { dg-error "invalid operands to binary" } */
97 BITWISE_OPERATOR(^,Ssf); /* { dg-error "invalid operands to binary" } */
98 BITWISE_OPERATOR(&,Sf); /* { dg-error "invalid operands to binary" } */
99 BITWISE_OPERATOR(|,Sf); /* { dg-error "invalid operands to binary" } */
100 BITWISE_OPERATOR(^,Sf); /* { dg-error "invalid operands to binary" } */
101 BITWISE_OPERATOR(&,Slf); /* { dg-error "invalid operands to binary" } */
102 BITWISE_OPERATOR(|,Slf); /* { dg-error "invalid operands to binary" } */
103 BITWISE_OPERATOR(^,Slf); /* { dg-error "invalid operands to binary" } */
104 BITWISE_OPERATOR(&,Sllf); /* { dg-error "invalid operands to binary" } */
105 BITWISE_OPERATOR(|,Sllf); /* { dg-error "invalid operands to binary" } */
106 BITWISE_OPERATOR(^,Sllf); /* { dg-error "invalid operands to binary" } */
107 BITWISE_OPERATOR(&,Susf); /* { dg-error "invalid operands to binary" } */
108 BITWISE_OPERATOR(|,Susf); /* { dg-error "invalid operands to binary" } */
109 BITWISE_OPERATOR(^,Susf); /* { dg-error "invalid operands to binary" } */
110 BITWISE_OPERATOR(&,Suf); /* { dg-error "invalid operands to binary" } */
111 BITWISE_OPERATOR(|,Suf); /* { dg-error "invalid operands to binary" } */
112 BITWISE_OPERATOR(^,Suf); /* { dg-error "invalid operands to binary" } */
113 BITWISE_OPERATOR(&,Sulf); /* { dg-error "invalid operands to binary" } */
114 BITWISE_OPERATOR(|,Sulf); /* { dg-error "invalid operands to binary" } */
115 BITWISE_OPERATOR(^,Sulf); /* { dg-error "invalid operands to binary" } */
116 BITWISE_OPERATOR(&,Sullf); /* { dg-error "invalid operands to binary" } */
117 BITWISE_OPERATOR(|,Sullf); /* { dg-error "invalid operands to binary" } */
118 BITWISE_OPERATOR(^,Sullf); /* { dg-error "invalid operands to binary" } */
119 BITWISE_OPERATOR(&,sa); /* { dg-error "invalid operands to binary" } */
120 BITWISE_OPERATOR(|,sa); /* { dg-error "invalid operands to binary" } */
121 BITWISE_OPERATOR(^,sa); /* { dg-error "invalid operands to binary" } */
122 BITWISE_OPERATOR(&,a); /* { dg-error "invalid operands to binary" } */
123 BITWISE_OPERATOR(|,a); /* { dg-error "invalid operands to binary" } */
124 BITWISE_OPERATOR(^,a); /* { dg-error "invalid operands to binary" } */
125 BITWISE_OPERATOR(&,la); /* { dg-error "invalid operands to binary" } */
126 BITWISE_OPERATOR(|,la); /* { dg-error "invalid operands to binary" } */
127 BITWISE_OPERATOR(^,la); /* { dg-error "invalid operands to binary" } */
128 BITWISE_OPERATOR(&,lla); /* { dg-error "invalid operands to binary" } */
129 BITWISE_OPERATOR(|,lla); /* { dg-error "invalid operands to binary" } */
130 BITWISE_OPERATOR(^,lla); /* { dg-error "invalid operands to binary" } */
131 BITWISE_OPERATOR(&,usa); /* { dg-error "invalid operands to binary" } */
132 BITWISE_OPERATOR(|,usa); /* { dg-error "invalid operands to binary" } */
133 BITWISE_OPERATOR(^,usa); /* { dg-error "invalid operands to binary" } */
134 BITWISE_OPERATOR(&,ua); /* { dg-error "invalid operands to binary" } */
135 BITWISE_OPERATOR(|,ua); /* { dg-error "invalid operands to binary" } */
136 BITWISE_OPERATOR(^,ua); /* { dg-error "invalid operands to binary" } */
137 BITWISE_OPERATOR(&,ula); /* { dg-error "invalid operands to binary" } */
138 BITWISE_OPERATOR(|,ula); /* { dg-error "invalid operands to binary" } */
139 BITWISE_OPERATOR(^,ula); /* { dg-error "invalid operands to binary" } */
140 BITWISE_OPERATOR(&,ulla); /* { dg-error "invalid operands to binary" } */
141 BITWISE_OPERATOR(|,ulla); /* { dg-error "invalid operands to binary" } */
142 BITWISE_OPERATOR(^,ulla); /* { dg-error "invalid operands to binary" } */
143 BITWISE_OPERATOR(&,Ssa); /* { dg-error "invalid operands to binary" } */
144 BITWISE_OPERATOR(|,Ssa); /* { dg-error "invalid operands to binary" } */
145 BITWISE_OPERATOR(^,Ssa); /* { dg-error "invalid operands to binary" } */
146 BITWISE_OPERATOR(&,Sa); /* { dg-error "invalid operands to binary" } */
147 BITWISE_OPERATOR(|,Sa); /* { dg-error "invalid operands to binary" } */
148 BITWISE_OPERATOR(^,Sa); /* { dg-error "invalid operands to binary" } */
149 BITWISE_OPERATOR(&,Sla); /* { dg-error "invalid operands to binary" } */
150 BITWISE_OPERATOR(|,Sla); /* { dg-error "invalid operands to binary" } */
151 BITWISE_OPERATOR(^,Sla); /* { dg-error "invalid operands to binary" } */
152 BITWISE_OPERATOR(&,Slla); /* { dg-error "invalid operands to binary" } */
153 BITWISE_OPERATOR(|,Slla); /* { dg-error "invalid operands to binary" } */
154 BITWISE_OPERATOR(^,Slla); /* { dg-error "invalid operands to binary" } */
155 BITWISE_OPERATOR(&,Susa); /* { dg-error "invalid operands to binary" } */
156 BITWISE_OPERATOR(|,Susa); /* { dg-error "invalid operands to binary" } */
157 BITWISE_OPERATOR(^,Susa); /* { dg-error "invalid operands to binary" } */
158 BITWISE_OPERATOR(&,Sua); /* { dg-error "invalid operands to binary" } */
159 BITWISE_OPERATOR(|,Sua); /* { dg-error "invalid operands to binary" } */
160 BITWISE_OPERATOR(^,Sua); /* { dg-error "invalid operands to binary" } */
161 BITWISE_OPERATOR(&,Sula); /* { dg-error "invalid operands to binary" } */
162 BITWISE_OPERATOR(|,Sula); /* { dg-error "invalid operands to binary" } */
163 BITWISE_OPERATOR(^,Sula); /* { dg-error "invalid operands to binary" } */
164 BITWISE_OPERATOR(&,Sulla); /* { dg-error "invalid operands to binary" } */
165 BITWISE_OPERATOR(|,Sulla); /* { dg-error "invalid operands to binary" } */
166 BITWISE_OPERATOR(^,Sulla); /* { dg-error "invalid operands to binary" } */
167 }