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);
85 x
+= __builtin_sub_overflow (0, 0, (char *)0); /* { dg-warning "null argument" } */
86 x
+= __builtin_add_overflow (0, 0, (short *)0); /* { dg-warning "null argument" } */
87 x
+= __builtin_add_overflow (a
, b
, (int *)0); /* { dg-warning "null argument" } */
88 x
+= __builtin_sub_overflow (a
, b
, (int *)0); /* { dg-warning "null argument" } */
89 x
+= __builtin_mul_overflow (a
, b
, (int *)0); /* { dg-warning "null argument" } */
90 x
+= __builtin_add_overflow (a
, 1, (int *)0); /* { dg-warning "null argument" } */
91 x
+= __builtin_sub_overflow (a
, 2, (int *)0); /* { dg-warning "null argument" } */
92 x
+= __builtin_mul_overflow (a
, 3, (int *)0); /* { dg-warning "null argument" } */
93 x
+= __builtin_add_overflow (4, b
, (int *)0); /* { dg-warning "null argument" } */
94 x
+= __builtin_sub_overflow (5, b
, (int *)0); /* { dg-warning "null argument" } */
95 x
+= __builtin_mul_overflow (6, b
, (int *)0); /* { dg-warning "null argument" } */
96 x
+= __builtin_add_overflow (7, 8, (int *)0); /* { dg-warning "null argument" } */
97 x
+= __builtin_sub_overflow (9, 10, (int *)0); /* { dg-warning "null argument" } */
98 x
+= __builtin_mul_overflow (11, 12, (int *)0); /* { dg-warning "null argument" } */
104 generic_4 (int a
, int b
, int *c
, int d
)
106 int x
= __builtin_add_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
107 x
+= __builtin_sub_overflow (a
, b
, c
, d
, d
, d
); /* { dg-error "too many arguments to function" } */
108 x
+= __builtin_sub_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
109 x
+= __builtin_mul_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
113 /* Verify that calls with fewer or more than 3 arguments to the type
114 specific forms of the __builtin_op_overflow functions are rejected. */
117 generic_wrong_type (int a
, int b
)
121 int x
= __builtin_add_overflow (a
, b
, p
); /* { dg-error "does not have pointer to integral type" } */
122 x
+= __builtin_sub_overflow (a
, b
, &p
); /* { dg-error "does not have pointer to integral type" } */
123 x
+= __builtin_mul_overflow (a
, b
, &d
); /* { dg-error "does not have pointer to integral type" } */
125 /* Also verify literal arguments. */
126 x
+= __builtin_add_overflow (1, 1, p
); /* { dg-error "does not have pointer to integral type" } */
127 x
+= __builtin_sub_overflow (1, 1, &p
); /* { dg-error "does not have pointer to integral type" } */
128 x
+= __builtin_mul_overflow (1, 1, &d
); /* { dg-error "does not have pointer to integral type" } */
132 /* Verify that calls with fewer than 2 or more than 3 arguments to
133 the typed __builtin_op_overflow functions are rejected. */
137 int x
= __builtin_add_overflow (); /* { dg-error "too few arguments to function" } */
138 x
+= __builtin_sub_overflow (); /* { dg-error "too few arguments to function" } */
139 x
+= __builtin_mul_overflow (); /* { dg-error "too few arguments to function" } */
146 int x
= __builtin_sadd_overflow (a
); /* { dg-error "too few arguments to function" } */
147 x
+= __builtin_ssub_overflow (a
); /* { dg-error "too few arguments to function" } */
148 x
+= __builtin_smul_overflow (a
); /* { dg-error "too few arguments to function" } */
153 typed_2 (int a
, int b
)
155 int x
= __builtin_sadd_overflow (a
, b
); /* { dg-error "too few arguments to function" } */
156 x
+= __builtin_ssub_overflow (a
, b
); /* { dg-error "too few arguments to function" } */
157 x
+= __builtin_smul_overflow (a
, b
); /* { dg-error "too few arguments to function" } */
161 /* Exercise PR c/71392 - SEGV calling integer overflow built-ins with
162 a null pointer. Verify that calls with a null argument are diagnosed
166 typed_3_null (int a
, int b
)
170 x
+= __builtin_sadd_overflow (a
, b
, (int *)0); /* { dg-warning "null argument" } */
171 x
+= __builtin_uadd_overflow (a
, b
, (unsigned *)0); /* { dg-warning "null argument" } */
173 x
+= __builtin_saddl_overflow (a
, b
, (long *)0); /* { dg-warning "null argument" } */
174 x
+= __builtin_uaddl_overflow (a
, b
, (unsigned long *)0); /* { dg-warning "null argument" } */
176 x
+= __builtin_saddll_overflow (a
, b
, (long long *)0); /* { dg-warning "null argument" } */
177 x
+= __builtin_uaddll_overflow (a
, b
, (unsigned long long *)0); /* { dg-warning "null argument" } */
180 x
+= __builtin_ssub_overflow (a
, b
, (int *)0); /* { dg-warning "null argument" } */
181 x
+= __builtin_usub_overflow (a
, b
, (unsigned *)0); /* { dg-warning "null argument" } */
183 x
+= __builtin_ssubl_overflow (a
, b
, (long *)0); /* { dg-warning "null argument" } */
184 x
+= __builtin_usubl_overflow (a
, b
, (unsigned long *)0); /* { dg-warning "null argument" } */
186 x
+= __builtin_ssubll_overflow (a
, b
, (long long *)0); /* { dg-warning "null argument" } */
187 x
+= __builtin_usubll_overflow (a
, b
, (unsigned long long *)0); /* { dg-warning "null argument" } */
190 x
+= __builtin_smul_overflow (a
, b
, (int *)0); /* { dg-warning "null argument" } */
191 x
+= __builtin_umul_overflow (a
, b
, (unsigned *)0); /* { dg-warning "null argument" } */
193 x
+= __builtin_smull_overflow (a
, b
, (long *)0); /* { dg-warning "null argument" } */
194 x
+= __builtin_umull_overflow (a
, b
, (unsigned long *)0); /* { dg-warning "null argument" } */
196 x
+= __builtin_smulll_overflow (a
, b
, (long long *)0); /* { dg-warning "null argument" } */
197 x
+= __builtin_umulll_overflow (a
, b
, (unsigned long long *)0); /* { dg-warning "null argument" } */
203 typed_4 (int a
, int b
, int *c
, int d
)
205 int x
= __builtin_sadd_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
206 x
+= __builtin_ssub_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
207 x
+= __builtin_smul_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
212 f2 (int a
, int b
, int *c
, int d
)
214 int x
= __builtin_add_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
215 x
+= __builtin_sub_overflow (a
, b
, c
, d
, d
, d
); /* { dg-error "too many arguments to function" } */
216 x
+= __builtin_mul_overflow (a
, b
, c
, d
); /* { dg-error "too many arguments to function" } */
217 x
+= __builtin_add_overflow_p (a
, b
, d
, d
); /* { dg-error "too many arguments to function" } */
218 x
+= __builtin_sub_overflow_p (a
, b
, d
, d
, 1, d
); /* { dg-error "too many arguments to function" } */
219 x
+= __builtin_mul_overflow_p (a
, b
, d
, d
); /* { dg-error "too many arguments to function" } */
224 enum E
{ e0
= 0, e1
= 1 };
227 f3 (float fa
, int a
, _Complex
long int ca
, double fb
, void *pb
, int b
, enum E eb
, bool bb
, int *c
)
229 int x
= __builtin_add_overflow (fa
, b
, c
); /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
230 x
+= __builtin_sub_overflow (ca
, b
, c
); /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
231 x
+= __builtin_mul_overflow (a
, fb
, c
); /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
232 x
+= __builtin_add_overflow (a
, pb
, c
); /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
233 x
+= __builtin_sub_overflow (a
, eb
, c
);
234 x
+= __builtin_mul_overflow (a
, bb
, c
);
235 x
+= __builtin_add_overflow_p (fa
, b
, a
); /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
236 x
+= __builtin_sub_overflow_p (ca
, b
, eb
); /* { dg-error "argument 1 in call to function\[^\n\r]*does not have integral type" } */
237 x
+= __builtin_mul_overflow_p (a
, fb
, bb
); /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
238 x
+= __builtin_add_overflow_p (a
, pb
, a
); /* { dg-error "argument 2 in call to function\[^\n\r]*does not have integral type" } */
239 x
+= __builtin_sub_overflow_p (a
, eb
, eb
); /* { dg-error "argument 3 in call to function\[^\n\r]*has enumerated type" } */
240 x
+= __builtin_mul_overflow_p (a
, bb
, bb
); /* { dg-error "argument 3 in call to function\[^\n\r]*has boolean type" } */
241 x
+= __builtin_add_overflow_p (a
, b
, fa
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
242 x
+= __builtin_sub_overflow_p (a
, b
, ca
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
243 x
+= __builtin_mul_overflow_p (a
, b
, c
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have integral type" } */
248 f4 (float *fp
, double *dp
, _Complex
int *cp
, enum E
*ep
, bool *bp
, long long int *llp
)
250 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" } */
251 x
+= __builtin_sub_overflow (1, 2, dp
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
252 x
+= __builtin_mul_overflow (1, 2, cp
); /* { dg-error "argument 3 in call to function\[^\n\r]*does not have pointer to integral type" } */
253 x
+= __builtin_add_overflow (1, 2, ep
); /* { dg-error "argument 3 in call to function\[^\n\r]*has pointer to enumerated type" } */
254 x
+= __builtin_sub_overflow (1, 2, bp
); /* { dg-error "argument 3 in call to function\[^\n\r]*has pointer to boolean type" } */
255 x
+= __builtin_mul_overflow (1, 2, llp
);