1 /* Test exercising invalid calls to arithmetic overflow checking built-ins,
2 including PR c/71392 - SEGV calling integer overflow built-ins with a null
3 pointer, (issuing a warning for such invocations). */
4 /* { dg-do compile } */
5 /* { dg-additional-options "-Wnonnull" }
7 /* Verify that calls with fewer or more than 3 arguments to the generic
8 __builtin_op_overflow functions are rejected. */
17 int x
= __builtin_add_overflow (); /* { dg-error "too few arguments to function" } */
18 x
+= __builtin_sub_overflow (); /* { dg-error "too few arguments to function" } */
19 x
+= __builtin_mul_overflow (); /* { dg-error "too few arguments to function" } */
20 x
+= __builtin_add_overflow_p (); /* { dg-error "too few arguments to function" } */
21 x
+= __builtin_sub_overflow_p (); /* { dg-error "too few arguments to function" } */
22 x
+= __builtin_mul_overflow_p (); /* { dg-error "too few arguments to function" } */
29 int x
= __builtin_add_overflow (a
); /* { dg-error "too few arguments to function" } */
30 x
+= __builtin_sub_overflow (a
); /* { dg-error "too few arguments to function" } */
31 x
+= __builtin_mul_overflow (a
); /* { dg-error "too few arguments to function" } */
33 /* Literal argument. */
34 x
+= __builtin_add_overflow (1); /* { dg-error "too few arguments to function" } */
35 x
+= __builtin_sub_overflow (2); /* { dg-error "too few arguments to function" } */
36 x
+= __builtin_mul_overflow (3); /* { dg-error "too few arguments to function" } */
41 generic_2 (int a
, int b
)
43 int x
= __builtin_add_overflow (a
, b
);/* { dg-error "too few arguments to function" } */
44 x
+= __builtin_sub_overflow (a
, b
); /* { dg-error "too few arguments to function" } */
45 x
+= __builtin_mul_overflow (a
, b
); /* { dg-error "too few arguments to function" } */
46 x
+= __builtin_add_overflow (a
, 1); /* { dg-error "too few arguments to function" } */
47 x
+= __builtin_sub_overflow (a
, 2); /* { dg-error "too few arguments to function" } */
48 x
+= __builtin_mul_overflow (a
, 3); /* { dg-error "too few arguments to function" } */
49 x
+= __builtin_add_overflow (4, b
); /* { dg-error "too few arguments to function" } */
50 x
+= __builtin_sub_overflow (5, b
); /* { dg-error "too few arguments to function" } */
51 x
+= __builtin_mul_overflow (6, b
); /* { dg-error "too few arguments to function" } */
55 /* Verify that calls with the correct number of arguments to the generic
56 __builtin_op_overflow functions are accepted. */
59 generic_3 (int a
, int b
, int c
)
61 int x
= __builtin_add_overflow (a
, b
, &c
);
62 x
+= __builtin_sub_overflow (a
, b
, &c
);
63 x
+= __builtin_mul_overflow (a
, b
, &c
);
64 x
+= __builtin_add_overflow (a
, 1, &c
);
65 x
+= __builtin_sub_overflow (a
, 2, &c
);
66 x
+= __builtin_mul_overflow (a
, 3, &c
);
67 x
+= __builtin_add_overflow (4, b
, &c
);
68 x
+= __builtin_sub_overflow (5, b
, &c
);
69 x
+= __builtin_mul_overflow (6, b
, &c
);
70 x
+= __builtin_add_overflow (7, 8, &c
);
71 x
+= __builtin_sub_overflow (9, 10, &c
);
72 x
+= __builtin_mul_overflow (11, 12, &c
);
74 /* Verify that a null pointer to an integer is diagnosed. */
76 /* The following two are rejected due to c/71479 - error on
77 __builtin_add_overflow with bool or enum pointer as last argument.
79 x += __builtin_add_overflow (0, 0, (bool *)0);
82 x += __builtin_add_overflow (0, 0, (enum E *)0); */
84 x
+= __builtin_sub_overflow (0, 0, (char *)0); /* { dg-warning "argument 3 null" } */
85 x
+= __builtin_add_overflow (0, 0, (short *)0); /* { dg-warning "argument 3 null" } */
86 x
+= __builtin_add_overflow (a
, b
, (int *)0); /* { dg-warning "argument 3 null" } */
87 x
+= __builtin_sub_overflow (a
, b
, (int *)0); /* { dg-warning "argument 3 null" } */
88 x
+= __builtin_mul_overflow (a
, b
, (int *)0); /* { dg-warning "argument 3 null" } */
89 x
+= __builtin_add_overflow (a
, 1, (int *)0); /* { dg-warning "argument 3 null" } */
90 x
+= __builtin_sub_overflow (a
, 2, (int *)0); /* { dg-warning "argument 3 null" } */
91 x
+= __builtin_mul_overflow (a
, 3, (int *)0); /* { dg-warning "argument 3 null" } */
92 x
+= __builtin_add_overflow (4, b
, (int *)0); /* { dg-warning "argument 3 null" } */
93 x
+= __builtin_sub_overflow (5, b
, (int *)0); /* { dg-warning "argument 3 null" } */
94 x
+= __builtin_mul_overflow (6, b
, (int *)0); /* { dg-warning "argument 3 null" } */
95 x
+= __builtin_add_overflow (7, 8, (int *)0); /* { dg-warning "argument 3 null" } */
96 x
+= __builtin_sub_overflow (9, 10, (int *)0); /* { dg-warning "argument 3 null" } */
97 x
+= __builtin_mul_overflow (11, 12, (int *)0); /* { dg-warning "argument 3 null" } */
103 generic_4 (int a
, int b
, int *c
, int d
)
105 int x
= __builtin_add_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
106 x
+= __builtin_sub_overflow (a
, b
, c
, d
, d
, d
); /* { dg-error "too many arguments to function" } */
107 x
+= __builtin_sub_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
108 x
+= __builtin_mul_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
112 /* Verify that calls with fewer or more than 3 arguments to the type
113 specific forms of the __builtin_op_overflow functions are rejected. */
116 generic_wrong_type (int a
, int b
)
120 int x
= __builtin_add_overflow (a
, b
, p
); /* { dg-error "does not have pointer to integral type" } */
121 x
+= __builtin_sub_overflow (a
, b
, &p
); /* { dg-error "does not have pointer to integral type" } */
122 x
+= __builtin_mul_overflow (a
, b
, &d
); /* { dg-error "does not have pointer to integral type" } */
124 /* Also verify literal arguments. */
125 x
+= __builtin_add_overflow (1, 1, p
); /* { dg-error "does not have pointer to integral type" } */
126 x
+= __builtin_sub_overflow (1, 1, &p
); /* { dg-error "does not have pointer to integral type" } */
127 x
+= __builtin_mul_overflow (1, 1, &d
); /* { dg-error "does not have pointer to integral type" } */
131 /* Verify that calls with fewer than 2 or more than 3 arguments to
132 the typed __builtin_op_overflow functions are rejected. */
136 int x
= __builtin_add_overflow (); /* { dg-error "too few arguments to function" } */
137 x
+= __builtin_sub_overflow (); /* { dg-error "too few arguments to function" } */
138 x
+= __builtin_mul_overflow (); /* { dg-error "too few arguments to function" } */
145 int x
= __builtin_sadd_overflow (a
); /* { dg-error "too few arguments to function" } */
146 x
+= __builtin_ssub_overflow (a
); /* { dg-error "too few arguments to function" } */
147 x
+= __builtin_smul_overflow (a
); /* { dg-error "too few arguments to function" } */
152 typed_2 (int a
, int b
)
154 int x
= __builtin_sadd_overflow (a
, b
); /* { dg-error "too few arguments to function" } */
155 x
+= __builtin_ssub_overflow (a
, b
); /* { dg-error "too few arguments to function" } */
156 x
+= __builtin_smul_overflow (a
, b
); /* { dg-error "too few arguments to function" } */
160 /* Exercise PR c/71392 - SEGV calling integer overflow built-ins with
161 a null pointer. Verify that calls with a null argument are diagnosed
165 typed_3_null (int a
, int b
)
169 x
+= __builtin_sadd_overflow (a
, b
, (int *)0); /* { dg-warning "argument 3 null" } */
170 x
+= __builtin_uadd_overflow (a
, b
, (unsigned *)0); /* { dg-warning "argument 3 null" } */
172 x
+= __builtin_saddl_overflow (a
, b
, (long *)0); /* { dg-warning "argument 3 null" } */
173 x
+= __builtin_uaddl_overflow (a
, b
, (unsigned long *)0); /* { dg-warning "argument 3 null" } */
175 x
+= __builtin_saddll_overflow (a
, b
, (long long *)0); /* { dg-warning "argument 3 null" } */
176 x
+= __builtin_uaddll_overflow (a
, b
, (unsigned long long *)0); /* { dg-warning "argument 3 null" } */
179 x
+= __builtin_ssub_overflow (a
, b
, (int *)0); /* { dg-warning "argument 3 null" } */
180 x
+= __builtin_usub_overflow (a
, b
, (unsigned *)0); /* { dg-warning "argument 3 null" } */
182 x
+= __builtin_ssubl_overflow (a
, b
, (long *)0); /* { dg-warning "argument 3 null" } */
183 x
+= __builtin_usubl_overflow (a
, b
, (unsigned long *)0); /* { dg-warning "argument 3 null" } */
185 x
+= __builtin_ssubll_overflow (a
, b
, (long long *)0); /* { dg-warning "argument 3 null" } */
186 x
+= __builtin_usubll_overflow (a
, b
, (unsigned long long *)0); /* { dg-warning "argument 3 null" } */
189 x
+= __builtin_smul_overflow (a
, b
, (int *)0); /* { dg-warning "argument 3 null" } */
190 x
+= __builtin_umul_overflow (a
, b
, (unsigned *)0); /* { dg-warning "argument 3 null" } */
192 x
+= __builtin_smull_overflow (a
, b
, (long *)0); /* { dg-warning "argument 3 null" } */
193 x
+= __builtin_umull_overflow (a
, b
, (unsigned long *)0); /* { dg-warning "argument 3 null" } */
195 x
+= __builtin_smulll_overflow (a
, b
, (long long *)0); /* { dg-warning "argument 3 null" } */
196 x
+= __builtin_umulll_overflow (a
, b
, (unsigned long long *)0); /* { dg-warning "argument 3 null" } */
202 typed_4 (int a
, int b
, int *c
, int d
)
204 int x
= __builtin_sadd_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
205 x
+= __builtin_ssub_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
206 x
+= __builtin_smul_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
211 f2 (int a
, int b
, int *c
, int d
)
213 int x
= __builtin_add_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
214 x
+= __builtin_sub_overflow (a
, b
, c
, d
, d
, d
); /* { dg-error "too many arguments to function" } */
215 x
+= __builtin_mul_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
216 x
+= __builtin_add_overflow_p (a
, b
, d
, d
); /* { dg-error "too many arguments to function" } */
217 x
+= __builtin_sub_overflow_p (a
, b
, d
, d
, 1, d
); /* { dg-error "too many arguments to function" } */
218 x
+= __builtin_mul_overflow_p (a
, b
, d
, d
); /* { dg-error "too many arguments to function" } */
223 enum E
{ e0
= 0, e1
= 1 };
226 f3 (float fa
, int a
, _Complex
long int ca
, double fb
, void *pb
, int b
, enum E eb
, bool bb
, int *c
)
228 int x
= __builtin_add_overflow (fa
, b
, c
); /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
229 x
+= __builtin_sub_overflow (ca
, b
, c
); /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
230 x
+= __builtin_mul_overflow (a
, fb
, c
); /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
231 x
+= __builtin_add_overflow (a
, pb
, c
); /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
232 x
+= __builtin_sub_overflow (a
, eb
, c
);
233 x
+= __builtin_mul_overflow (a
, bb
, c
);
234 x
+= __builtin_add_overflow_p (fa
, b
, a
); /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
235 x
+= __builtin_sub_overflow_p (ca
, b
, eb
); /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
236 x
+= __builtin_mul_overflow_p (a
, fb
, bb
); /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
237 x
+= __builtin_add_overflow_p (a
, pb
, a
); /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
238 x
+= __builtin_sub_overflow_p (a
, eb
, eb
); /* { dg-error "argument 3 in call to function\[^\n\r]*has enumerated type" } */
239 x
+= __builtin_mul_overflow_p (a
, bb
, bb
); /* { dg-error "argument 3 in call to function\[^\n\r]*has boolean type" } */
240 x
+= __builtin_add_overflow_p (a
, b
, fa
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
241 x
+= __builtin_sub_overflow_p (a
, b
, ca
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
242 x
+= __builtin_mul_overflow_p (a
, b
, c
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
247 f4 (float *fp
, double *dp
, _Complex
int *cp
, enum E
*ep
, bool *bp
, long long int *llp
)
249 int x
= __builtin_add_overflow (1, 2, fp
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
250 x
+= __builtin_sub_overflow (1, 2, dp
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
251 x
+= __builtin_mul_overflow (1, 2, cp
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
252 x
+= __builtin_add_overflow (1, 2, ep
); /* { dg-error "argument 3 in call to function\[^\n\r]*has pointer to enumerated type" } */
253 x
+= __builtin_sub_overflow (1, 2, bp
); /* { dg-error "argument 3 in call to function\[^\n\r]*has pointer to boolean type" } */
254 x
+= __builtin_mul_overflow (1, 2, llp
);