This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/56756] [4.9 Regression] ICE: verify_ssa failed (definition in block n follows the use !)
- From: "rguenther at suse dot de" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 28 Mar 2013 10:26:48 +0000
- Subject: [Bug tree-optimization/56756] [4.9 Regression] ICE: verify_ssa failed (definition in block n follows the use !)
- Auto-submitted: auto-generated
- References: <bug-56756-4 at http dot gcc dot gnu dot org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56756
--- Comment #7 from rguenther at suse dot de <rguenther at suse dot de> 2013-03-28 10:26:48 UTC ---
On Thu, 28 Mar 2013, mpolacek at gcc dot gnu.org wrote:
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=56756
>
> --- Comment #6 from Marek Polacek <mpolacek at gcc dot gnu.org> 2013-03-28 10:11:55 UTC ---
> FWIW, started with http://gcc.gnu.org/viewcvs/gcc?view=revision&revision=196769
Yes, I was expecting that. This orders blocks in a different
"random" order when visiting dominator children. It tries
to order them in inverted postorder - which is exactly deterministically
"wrong" for LIM, as it visits loop blocks with a loop exit edge
last.