[Bug middle-end/59285] [4.9 Regression] gcc.dg/builtin-unreachable-6.c:17:1: internal compiler error: in rtl_verify_fallthru, at cfgrtl.c:2862

[steven at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=59285

Steven Bosscher <steven at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |steven at gcc dot gnu.org

--- Comment #9 from Steven Bosscher <steven at gcc dot gnu.org> ---
(In reply to Jeffrey A. Law from comment #8)
> I have multiple fixes.  Steven and I disagree on which is better.  
> 
> Having Richi or Jakub chime in with their opinions would help -- if they
> agree with Steven, then I'll go with the majority.  If they prefer mine,
> then that's what we'll go with.

I've proposed an alternative here:
http://gcc.gnu.org/ml/gcc-patches/2013-12/msg01871.html

It's not quite perfect, but it's conservative.

IMHO we should address the bigger issue (what does builtin_unreachable mean,
also on non-cond_exec targets?) for the next GCC stage1.