https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55155
Bug 55155 depends on bug 55157, which changed state.
Bug 55157 Summary: Missed VRP with != 0 and multiply
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55157
What|Removed |Added
--
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=55155
Andrew Pinski changed:
What|Removed |Added
Target Milestone|--- |8.0
Status|UNCONFIRMED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55155
--- Comment #1 from Andrew Pinski 2012-10-31
21:44:20 UTC ---
:
_19 = num_prods_6(D) * 16;
if (_19 != 0)
goto ;
else
goto ;
:
return;
:
_16 = ASSERT_EXPR <_19, _19 != 0>;
...
if (_16 <= 4)
goto ;
