On 04/25/2014 07:48 PM, Jakub Jelinek wrote: > 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.
In theory, yes. With this one, though, gcc 4.9-compiled binary just crashed with a segv. Andrew.
