[Bug tree-optimization/79352] [7 Regression] -fprintf-return-value doesn't handle flexible-like array members properly

["msebor at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>]

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

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
Author: msebor
Date: Fri Feb  3 16:38:15 2017
New Revision: 245156

URL: https://gcc.gnu.org/viewcvs?rev=245156&root=gcc&view=rev
Log:
PR tree-optimization/79352 - -fprintf-return-value doesn't handle flexible-like
array members properly

gcc/ChangeLog:

        PR tree-optimization/79352
        * gimple-fold.c (get_range_strlen): Add argument.
        (get_range_strlen): Change return type to bool.
        (get_maxval_strlen): Pass in a dummy argument.
        * gimple-fold.h (get_range_strlen): Change return type to bool.
        * gimple-ssa-sprintf.c (get_string_length): Set unlikely counter.
        * tree.h (array_at_struct_end_p): Add argument.
        * tree.c (array_at_struct_end_p): Handle it.

gcc/testsuite/ChangeLog:

        PR tree-optimization/79352
        * gcc.dg/tree-ssa/pr79352.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/pr79352.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple-fold.h
    trunk/gcc/gimple-ssa-sprintf.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree.c
    trunk/gcc/tree.h