| commit | 3319bb15c4f177d5d81a845ecf121b14ab74d7f9 | |
| author | msebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 11 Apr 2017 16:35:34 +0000 (11 16:35 +0000) | ||
| committer | msebor <msebor@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 11 Apr 2017 16:35:34 +0000 (11 16:35 +0000) | ||
| tree | 17927665a105191963a2ff79345d192d5106c03e | treesnapshot (tar.gz zip) |
| parent | 3cc7b21c3aa3b94512155ad1da450b34fc7409ec | commitdiff |
PR middle-end/80364 - sanitizer detects signed integer overflow in gimple-ssa-sprintf.c
gcc/ChangeLog:
PR middle-end/80364
* gimple-ssa-sprintf.c (get_int_range): Remove second argument and
always use the int type. Use INTEGRAL_TYPE_P() rather than testing
for INTEGER_TYPE.
(directive::set_width, directive::set_precision, format_character):
Adjust.
(parse_directive): Use INTEGRAL_TYPE_P() rather than testing for
INTEGER_TYPE.
gcc/testsuite/ChangeLog:
PR middle-end/80364
* gcc.dg/tree-ssa/builtin-sprintf-warn-16.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@246846 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog:
PR middle-end/80364
* gimple-ssa-sprintf.c (get_int_range): Remove second argument and
always use the int type. Use INTEGRAL_TYPE_P() rather than testing
for INTEGER_TYPE.
(directive::set_width, directive::set_precision, format_character):
Adjust.
(parse_directive): Use INTEGRAL_TYPE_P() rather than testing for
INTEGER_TYPE.
gcc/testsuite/ChangeLog:
PR middle-end/80364
* gcc.dg/tree-ssa/builtin-sprintf-warn-16.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@246846 138bc75d-0d04-0410-961f-82ee72b054a4