[Bug middle-end/79275] [7 Regression] -Wformat-overflow false positive exceeding INT_MAX in glibc sysdeps/posix/tempname.c

[msebor at gcc dot gnu.org]

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

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Fri Feb  3 02:18:59 2017
New Revision: 245142

URL: https://gcc.gnu.org/viewcvs?rev=245142&root=gcc&view=rev
Log:
PR middle-end/79275 -  -Wformat-overflow false positive exceeding INT_MAX in
glibc sysdeps/posix/tempname.c

gcc/testsuite/ChangeLog:

        PR middle-end/79275
        * gcc.dg/tree-ssa/builtin-sprintf-warn-11.c: New test.
        * gcc.dg/tree-ssa/pr79275.c: New test.

gcc/ChangeLog:

        PR middle-end/79275
        * gimple-ssa-sprintf.c (get_string_length): Set lower bound to zero.
        (format_string): Tighten up the range of output for non-constant
        strings and correct the expected range for wide non-constant strings.


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