[Bug tree-optimization/88444] [9 Regression] ICE: tree check: expected ssa_name, have integer_cst in live_on_edge, at tree-vrp.c:468; or ICE: tree check: expected ssa_name, have integer_cst in get_value_range, at vr-values.c:84

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Tue Dec 11 17:16:48 2018
New Revision: 267026

URL: https://gcc.gnu.org/viewcvs?rev=267026&root=gcc&view=rev
Log:
        PR tree-optimization/88444
        * tree-vrp.c (register_edge_assert_for_2): Only register assertions
        for conversions if rhs1 is a SSA_NAME.

        * gcc.dg/pr88444.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/pr88444.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c