https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81578
Martin Liška <marxin at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |NEW Last reconfirmed| |2017-07-27 CC| |marxin at gcc dot gnu.org, | |naveenh at gcc dot gnu.org Target Milestone|8.0 |--- Ever confirmed|0 |1 --- Comment #1 from Martin Liška <marxin at gcc dot gnu.org> --- Confirmed, started with r250377: commit 0aa23bd4318bfffbf9768fbefc03604194d4c237 Author: naveenh <naveenh@138bc75d-0d04-0410-961f-82ee72b054a4> Date: Thu Jul 20 03:57:48 2017 +0000 gcc * match.pd (((m1 >/</>=/<= m2) * d -> (m1 >/</>=/<= m2) ? d : 0): New pattern. gcc/testsuite * gcc.dg/tree-ssa/vrp116.c: New Test.