https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084
Ilya Enkovich changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084
--- Comment #6 from Richard Biener ---
(In reply to Ilya Enkovich from comment #5)
> (In reply to Richard Biener from comment #3)
> > fwprop_init calcuates dominator info so it's likely df that runs cfg-cleanup
> > and doesn't expect it to wreck
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084
--- Comment #5 from Ilya Enkovich ---
(In reply to Richard Biener from comment #3)
> fwprop_init calcuates dominator info so it's likely df that runs cfg-cleanup
> and doesn't expect it to wreck dominator info.
>
> Probably rightfully so.
So
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084
--- Comment #4 from Ilya Enkovich ---
This is still CSE invalidating dominance info. Calls to cleanup_cfg don't
affect cse_cfg_altered. If I replace cfg_cleanup calls with
cse_cfg_altered |= cleanup_cfg (..)
then testcase passes.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084
--- Comment #3 from Richard Biener ---
fwprop_init calcuates dominator info so it's likely df that runs cfg-cleanup
and doesn't expect it to wreck dominator info.
Probably rightfully so.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084
--- Comment #2 from Martin Liška ---
Started with r236114:
commit bfa8ea12839b8c5781aa16733ee3578ff95789ca
Author: ienkovich
Date: Wed May 11 09:33:13 2016 +
gcc/
PR
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084
Marek Polacek changed:
What|Removed |Added
Target Milestone|--- |7.0
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71084
Marek Polacek changed:
What|Removed |Added
Status|UNCONFIRMED |NEW
Last reconfirmed|