This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/54824] [4.8 Regression] ICE in verify_loop_structure
- From: "mpolacek at gcc dot gnu.org" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: Thu, 11 Oct 2012 15:37:41 +0000
- Subject: [Bug tree-optimization/54824] [4.8 Regression] ICE in verify_loop_structure
- Auto-submitted: auto-generated
- References: <bug-54824-4@http.gcc.gnu.org/bugzilla/>
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54824
--- Comment #4 from Marek Polacek <mpolacek at gcc dot gnu.org> 2012-10-11 15:37:41 UTC ---
In the second TC the user shouldn't lie to the compiler and put
__attribute__((noreturn)) to a function, that in fact returns. Without this
attribute, or with e.g. abort () in bar () the ICE does not happen. Otherwise
something will be confused (maybe we don't properly update loop_father?) and we
ICE.