[Bug tree-optimization/84478] [8 Regression] pdftex miscompilation on i386

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Feb 21 10:35:46 2018
New Revision: 257870

URL: https://gcc.gnu.org/viewcvs?rev=257870&root=gcc&view=rev
Log:
        PR tree-optimization/84478
        * gimple-fold.h (get_range_strlen): Add a bool argument defaulted to
        false.
        * gimple-fold.c (get_range_strlen): Make minlen const and assume it
        can't be NULL.  Change FUZZY from bool to int, for 1 add PHI/COND_EXPR
        support which is conservatively correct, for 2 only stay conservative
        for maxlen.  Formatting and comment capitalization fixes.  Add STRICT
        argument to the 2 argument get_range_strlen, adjust 6 arg
        get_range_strlen caller and clear minmaxlen[0] and [1] if it returned
        false.
        (get_maxval_strlen): Adjust 6 arg get_range_strlen caller.
        (gimple_fold_builtin_strlen): Pass true as last argument to
        get_range_strlen.

        * gcc.c-torture/execute/pr84478.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr84478.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/gimple-fold.c
    trunk/gcc/gimple-fold.h
    trunk/gcc/testsuite/ChangeLog