[Bug tree-optimization/86231] [8/9 Regression] vrp_meet causes wrong-code

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> ---
Author: jakub
Date: Wed Jun 20 14:47:28 2018
New Revision: 261805

URL: https://gcc.gnu.org/viewcvs?rev=261805&root=gcc&view=rev
Log:
        PR tree-optimization/86231
        * tree-vrp.c (union_ranges): For (  [  )  ] or (   )[   ] range and
        anti-range don't overwrite *vr0min before using it to compute *vr0max.

        * gcc.dg/tree-ssa/vrp119.c: New test.
        * gcc.c-torture/execute/pr86231.c: New test.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr86231.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp119.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c