Skip to content

Commit 4fef2d8

Browse files
gagachanggagachang
committed
gnu.cfg: Add support for some built-in functions to check overflow
Reference: https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html
1 parent f4be614 commit 4fef2d8

1 file changed

Lines changed: 316 additions & 0 deletions

File tree

‎cfg/gnu.cfg‎

Lines changed: 316 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -168,6 +168,322 @@
168168
<arg nr="variadic" direction="in">
169169
<not-uninit/>
170170
</arg>
171+
</function>
172+
<!-- https://gcc.gnu.org/onlinedocs/gcc/Integer-Overflow-Builtins.html -->
173+
<!-- bool __builtin_add_overflow (type1 a, type2 b, type3 *res) -->
174+
<function name="__builtin_add_overflow">
175+
<noreturn>false</noreturn>
176+
<returnValue type="bool"/>
177+
<leak-ignore/>
178+
<arg nr="1" direction="in">
179+
<not-uninit/>
180+
</arg>
181+
<arg nr="2" direction="in">
182+
<not-uninit/>
183+
</arg>
184+
<arg nr="3" direction="out">
185+
<not-null/>
186+
</arg>
187+
</function>
188+
<!-- bool __builtin_sadd_overflow (int a, int b, int *res) -->
189+
<function name="__builtin_sadd_overflow">
190+
<noreturn>false</noreturn>
191+
<returnValue type="bool"/>
192+
<leak-ignore/>
193+
<arg nr="1" direction="in">
194+
<not-uninit/>
195+
</arg>
196+
<arg nr="2" direction="in">
197+
<not-uninit/>
198+
</arg>
199+
<arg nr="3" direction="out">
200+
<not-null/>
201+
</arg>
202+
</function>
203+
<!-- bool __builtin_saddl_overflow (long int a, long int b, long int *res) -->
204+
<function name="__builtin_saddl_overflow">
205+
<noreturn>false</noreturn>
206+
<returnValue type="bool"/>
207+
<leak-ignore/>
208+
<arg nr="1" direction="in">
209+
<not-uninit/>
210+
</arg>
211+
<arg nr="2" direction="in">
212+
<not-uninit/>
213+
</arg>
214+
<arg nr="3" direction="out">
215+
<not-null/>
216+
</arg>
217+
</function>
218+
<!-- bool __builtin_saddll_overflow (long long int a, long long int b, long long int *res) -->
219+
<function name="__builtin_saddll_overflow">
220+
<noreturn>false</noreturn>
221+
<returnValue type="bool"/>
222+
<leak-ignore/>
223+
<arg nr="1" direction="in">
224+
<not-uninit/>
225+
</arg>
226+
<arg nr="2" direction="in">
227+
<not-uninit/>
228+
</arg>
229+
<arg nr="3" direction="out">
230+
<not-null/>
231+
</arg>
232+
</function>
233+
<!-- bool __builtin_uadd_overflow (unsigned int a, unsigned int b, unsigned int *res) -->
234+
<function name="__builtin_uadd_overflow">
235+
<noreturn>false</noreturn>
236+
<returnValue type="bool"/>
237+
<leak-ignore/>
238+
<arg nr="1" direction="in">
239+
<not-uninit/>
240+
</arg>
241+
<arg nr="2" direction="in">
242+
<not-uninit/>
243+
</arg>
244+
<arg nr="3" direction="out">
245+
<not-null/>
246+
</arg>
247+
</function>
248+
<!-- bool __builtin_uaddl_overflow (unsigned long int a, unsigned long int b, unsigned long int *res) -->
249+
<function name="__builtin_uaddl_overflow">
250+
<noreturn>false</noreturn>
251+
<returnValue type="bool"/>
252+
<leak-ignore/>
253+
<arg nr="1" direction="in">
254+
<not-uninit/>
255+
</arg>
256+
<arg nr="2" direction="in">
257+
<not-uninit/>
258+
</arg>
259+
<arg nr="3" direction="out">
260+
<not-null/>
261+
</arg>
262+
</function>
263+
<!-- bool __builtin_uaddll_overflow (unsigned long long int a, unsigned long long int b, unsigned long long int *res) -->
264+
<function name="__builtin_uaddll_overflow">
265+
<noreturn>false</noreturn>
266+
<returnValue type="bool"/>
267+
<leak-ignore/>
268+
<arg nr="1" direction="in">
269+
<not-uninit/>
270+
</arg>
271+
<arg nr="2" direction="in">
272+
<not-uninit/>
273+
</arg>
274+
<arg nr="3" direction="out">
275+
<not-null/>
276+
</arg>
277+
</function>
278+
<!-- bool __builtin_sub_overflow (type1 a, type2 b, type3 *res) -->
279+
<function name="__builtin_sub_overflow">
280+
<noreturn>false</noreturn>
281+
<returnValue type="bool"/>
282+
<leak-ignore/>
283+
<arg nr="1" direction="in">
284+
<not-uninit/>
285+
</arg>
286+
<arg nr="2" direction="in">
287+
<not-uninit/>
288+
</arg>
289+
<arg nr="3" direction="out">
290+
<not-null/>
291+
</arg>
292+
</function>
293+
<!-- bool __builtin_ssub_overflow (int a, int b, int *res) -->
294+
<function name="__builtin_ssub_overflow">
295+
<noreturn>false</noreturn>
296+
<returnValue type="bool"/>
297+
<leak-ignore/>
298+
<arg nr="1" direction="in">
299+
<not-uninit/>
300+
</arg>
301+
<arg nr="2" direction="in">
302+
<not-uninit/>
303+
</arg>
304+
<arg nr="3" direction="out">
305+
<not-null/>
306+
</arg>
307+
</function>
308+
<!-- bool __builtin_ssubl_overflow (long int a, long int b, long int *res) -->
309+
<function name="__builtin_ssubl_overflow">
310+
<noreturn>false</noreturn>
311+
<returnValue type="bool"/>
312+
<leak-ignore/>
313+
<arg nr="1" direction="in">
314+
<not-uninit/>
315+
</arg>
316+
<arg nr="2" direction="in">
317+
<not-uninit/>
318+
</arg>
319+
<arg nr="3" direction="out">
320+
<not-null/>
321+
</arg>
322+
</function>
323+
<!-- bool __builtin_ssubll_overflow (long long int a, long long int b, long long int *res) -->
324+
<function name="__builtin_ssubll_overflow">
325+
<noreturn>false</noreturn>
326+
<returnValue type="bool"/>
327+
<leak-ignore/>
328+
<arg nr="1" direction="in">
329+
<not-uninit/>
330+
</arg>
331+
<arg nr="2" direction="in">
332+
<not-uninit/>
333+
</arg>
334+
<arg nr="3" direction="out">
335+
<not-null/>
336+
</arg>
337+
</function>
338+
<!-- bool __builtin_usub_overflow (unsigned int a, unsigned int b, unsigned int *res) -->
339+
<function name="__builtin_usub_overflow">
340+
<noreturn>false</noreturn>
341+
<returnValue type="bool"/>
342+
<leak-ignore/>
343+
<arg nr="1" direction="in">
344+
<not-uninit/>
345+
</arg>
346+
<arg nr="2" direction="in">
347+
<not-uninit/>
348+
</arg>
349+
<arg nr="3" direction="out">
350+
<not-null/>
351+
</arg>
352+
</function>
353+
<!-- bool __builtin_usubl_overflow (unsigned long int a, unsigned long int b, unsigned long int *res) -->
354+
<function name="__builtin_usubl_overflow">
355+
<noreturn>false</noreturn>
356+
<returnValue type="bool"/>
357+
<leak-ignore/>
358+
<arg nr="1" direction="in">
359+
<not-uninit/>
360+
</arg>
361+
<arg nr="2" direction="in">
362+
<not-uninit/>
363+
</arg>
364+
<arg nr="3" direction="out">
365+
<not-null/>
366+
</arg>
367+
</function>
368+
<!-- bool __builtin_usubll_overflow (unsigned long long int a, unsigned long long int b, unsigned long long int *res) -->
369+
<function name="__builtin_usubll_overflow">
370+
<noreturn>false</noreturn>
371+
<returnValue type="bool"/>
372+
<leak-ignore/>
373+
<arg nr="1" direction="in">
374+
<not-uninit/>
375+
</arg>
376+
<arg nr="2" direction="in">
377+
<not-uninit/>
378+
</arg>
379+
<arg nr="3" direction="out">
380+
<not-null/>
381+
</arg>
382+
</function>
383+
<!-- bool __builtin_mul_overflow (type1 a, type2 b, type3 *res) -->
384+
<function name="__builtin_mul_overflow">
385+
<noreturn>false</noreturn>
386+
<returnValue type="bool"/>
387+
<leak-ignore/>
388+
<arg nr="1" direction="in">
389+
<not-uninit/>
390+
</arg>
391+
<arg nr="2" direction="in">
392+
<not-uninit/>
393+
</arg>
394+
<arg nr="3" direction="out">
395+
<not-null/>
396+
</arg>
397+
</function>
398+
<!-- bool __builtin_smul_overflow (int a, int b, int *res) -->
399+
<function name="__builtin_smul_overflow">
400+
<noreturn>false</noreturn>
401+
<returnValue type="bool"/>
402+
<leak-ignore/>
403+
<arg nr="1" direction="in">
404+
<not-uninit/>
405+
</arg>
406+
<arg nr="2" direction="in">
407+
<not-uninit/>
408+
</arg>
409+
<arg nr="3" direction="out">
410+
<not-null/>
411+
</arg>
412+
</function>
413+
<!-- bool __builtin_smull_overflow (long int a, long int b, long int *res) -->
414+
<function name="__builtin_smull_overflow">
415+
<noreturn>false</noreturn>
416+
<returnValue type="bool"/>
417+
<leak-ignore/>
418+
<arg nr="1" direction="in">
419+
<not-uninit/>
420+
</arg>
421+
<arg nr="2" direction="in">
422+
<not-uninit/>
423+
</arg>
424+
<arg nr="3" direction="out">
425+
<not-null/>
426+
</arg>
427+
</function>
428+
<!-- bool __builtin_smulll_overflow (long long int a, long long int b, long long int *res) -->
429+
<function name="__builtin_smulll_overflow">
430+
<noreturn>false</noreturn>
431+
<returnValue type="bool"/>
432+
<leak-ignore/>
433+
<arg nr="1" direction="in">
434+
<not-uninit/>
435+
</arg>
436+
<arg nr="2" direction="in">
437+
<not-uninit/>
438+
</arg>
439+
<arg nr="3" direction="out">
440+
<not-null/>
441+
</arg>
442+
</function>
443+
<!-- bool __builtin_umul_overflow (unsigned int a, unsigned int b, unsigned int *res) -->
444+
<function name="__builtin_umul_overflow">
445+
<noreturn>false</noreturn>
446+
<returnValue type="bool"/>
447+
<leak-ignore/>
448+
<arg nr="1" direction="in">
449+
<not-uninit/>
450+
</arg>
451+
<arg nr="2" direction="in">
452+
<not-uninit/>
453+
</arg>
454+
<arg nr="3" direction="out">
455+
<not-null/>
456+
</arg>
457+
</function>
458+
<!-- bool __builtin_umull_overflow (unsigned long int a, unsigned long int b, unsigned long int *res) -->
459+
<function name="__builtin_umull_overflow">
460+
<noreturn>false</noreturn>
461+
<returnValue type="bool"/>
462+
<leak-ignore/>
463+
<arg nr="1" direction="in">
464+
<not-uninit/>
465+
</arg>
466+
<arg nr="2" direction="in">
467+
<not-uninit/>
468+
</arg>
469+
<arg nr="3" direction="out">
470+
<not-null/>
471+
</arg>
472+
</function>
473+
<!-- bool __builtin_umulll_overflow (unsigned long long int a, unsigned long long int b, unsigned long long int *res) -->
474+
<function name="__builtin_umulll_overflow">
475+
<noreturn>false</noreturn>
476+
<returnValue type="bool"/>
477+
<leak-ignore/>
478+
<arg nr="1" direction="in">
479+
<not-uninit/>
480+
</arg>
481+
<arg nr="2" direction="in">
482+
<not-uninit/>
483+
</arg>
484+
<arg nr="3" direction="out">
485+
<not-null/>
486+
</arg>
171487
</function>
172488
<!-- https://man7.org/linux/man-pages/man3/getenv.3.html -->
173489
<!-- char * secure_getenv(const char *name); -->

0 commit comments

Comments
 (0)