On Fri, Apr 25, 2014 at 08:23:22PM +0200, Jan Hubicka wrote:
> > On 04/25/2014 03:14 PM, Volker Simonis wrote:
> > > Could you therefore please re-categorize this as devirt bug.
> >
> > It is an IPA bug. http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60965
>
> Now when I have interest from ubsan direction, I wanted to ask. Would it make
> sense to turn
> those unreachables into traps with ubsan enabled? (similarly in the loop
> stuff)
With -fsanitize=undefined __builtin_unreachable is folded right away into a
library call that will emit a message and then die.
Jakub
