[Bug tree-optimization/79327] [7 Regression] wrong code at -O2 and -fprintf-return-value

[jakub at gcc dot gnu.org]

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

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Fri Feb  3 19:16:39 2017
New Revision: 245166

URL: https://gcc.gnu.org/viewcvs?rev=245166&root=gcc&view=rev
Log:
        PR tree-optimization/79327
        * gimple-ssa-sprintf.c (adjust_range_for_overflow): If returning
        true, always set *argmin and *argmax to TYPE_{MIN,MAX}_VALUE of
        dirtype.
        (format_integer): Use wide_int_to_tree instead of build_int_cst
        + to_?hwi.  If argmin is NULL, just set argmin and argmax to
        TYPE_{MIN,MAX}_VALUE of argtype.  Simplify and fix computation
        of shortest and longest sequence.

        * gcc.dg/tree-ssa/pr79327.c: New test.
        * gcc.dg/tree-ssa/builtin-sprintf-warn-1.c
        (test_sprintf_chk_hh_nonconst): Don't expect 2 bogus warnings.
        * gcc.dg/tree-ssa/builtin-sprintf-warn-3.c
        (test_sprintf_chk_range_schar): Adjust dg-message.
        * gcc.dg/tree-ssa/builtin-sprintf-warn-12.c: New test.
        * gcc.c-torture/execute/pr79327.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr79327.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-12.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr79327.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-ssa-sprintf.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-1.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-3.c