[Bug middle-end/80364] [7 Regression]sanitizer detects signed integer overflow in gimple-ssa-sprintf.c

[msebor at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80364

--- Comment #4 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Tue Apr 11 16:35:34 2017
New Revision: 246846

URL: https://gcc.gnu.org/viewcvs?rev=246846&root=gcc&view=rev
Log:
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.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-16.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-ssa-sprintf.c
    trunk/gcc/testsuite/ChangeLog