https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65258
--- Comment #5 from Richard Biener ---
Author: rguenth
Date: Thu Dec 14 15:08:09 2017
New Revision: 255641
URL: https://gcc.gnu.org/viewcvs?rev=255641=gcc=rev
Log:
2017-12-14 Richard Biener
PR
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65258
Richard Biener changed:
What|Removed |Added
Status|ASSIGNED|RESOLVED
Known to work|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65258
--- Comment #3 from Richard Biener rguenth at gcc dot gnu.org ---
Created attachment 34921
-- https://gcc.gnu.org/bugzilla/attachment.cgi?id=34921action=edit
untested patch
Patch to add additional asserts and to better handle UNDEFINED in
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65258
--- Comment #2 from Richard Biener rguenth at gcc dot gnu.org ---
There are of course two issues here - one VRP not optimizing away the dead code
and unrolling creating the dead code in the first place (thus number of
iteration
analysis being not
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65258
Richard Biener rguenth at gcc dot gnu.org changed:
What|Removed |Added
Keywords||diagnostic,