On Sat, Aug 25, 2012 at 1:14 AM, Steven Bosscher <stevenb....@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
