Re: [PATCH] Fix PR51513, switch statement with default case containing __builtin_unreachable leads to wild branch

[Jakub Jelinek]

On Thu, Apr 13, 2017 at 10:14:51AM +0200, Richard Biener wrote:
> now I do not remember the reason why we keep __builtin_unreachable ()
> at the RTL level -- on GIMPLE we keep it to be able to extract

I believe we don't.  In RTL __builtin_unreachable () is represented
as a basic block without successors, followed by a BARRIER.

        Jakub