[Bug tree-optimization/89703] [8 Regression] ICE in compare_values_warnv, at tree-vrp.c:997

[jakub at gcc dot gnu.org]

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Apr 30 20:43:58 2019
New Revision: 270729

URL: https://gcc.gnu.org/viewcvs?rev=270729&root=gcc&view=rev
Log:
        Backported from mainline
        2019-03-14  Jakub Jelinek  <jakub@redhat.com>

        PR tree-optimization/89703
        * tree-ssa-strlen.c (valid_builtin_call): Punt if stmt call types
        aren't compatible also with builtin_decl_explicit.  Check pure
        or non-pure status of BUILT_IN_STR{{,N}CMP,N{LEN,{CAT,CPY}{,_CHK}}}
        and BUILT_IN_STPNCPY{,_CHK}.

        * gcc.c-torture/compile/pr89703-1.c: New test.
        * gcc.c-torture/compile/pr89703-2.c: New test.

Added:
    branches/gcc-8-branch/gcc/testsuite/gcc.c-torture/compile/pr89703-1.c
    branches/gcc-8-branch/gcc/testsuite/gcc.c-torture/compile/pr89703-2.c
Modified:
    branches/gcc-8-branch/gcc/ChangeLog
    branches/gcc-8-branch/gcc/testsuite/ChangeLog
    branches/gcc-8-branch/gcc/tree-ssa-strlen.c