[Bug tree-optimization/89703] [8/9 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 #3 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Thu Mar 14 08:56:47 2019
New Revision: 269674

URL: https://gcc.gnu.org/viewcvs?rev=269674&root=gcc&view=rev
Log:
        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:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr89703-1.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr89703-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-ssa-strlen.c