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.
