[patch] Make every GIMPLE switch have a default case, always

[Richard Guenther]

On Sat, Aug 25, 2012 at 1:14 AM, Steven Bosscher <stevenb.gcc@gmail.com> wrote:
> Hello,
>
> This patch restores the old invariant that every GIMPLE switch has a
> default case. This invariant is only broken by the SJLJ exception
> dispatch code, and it's resulted in some code accepting a switch
> without a default while others still assume there is _always_ a
> default case. The patch enforces the invariant, fixes some fall-out,
> and cleans up the code in a couple of places. It makes the follow-up
> work on switch code generation that I still have planned a bit easier.
>
> Bootstrapped&tested on x86_64-unknown-linux-gnu (with Java to torture
> the exception handling code) and did a non-bootstrap build (including
> Java again) with --enable-sjlj-exceptions. OK for trunk?

Ok.

Thanks,
Richard.

> Ciao!
> Steven