Re: [patch] Tighten GIMPLE_SWITCH verification

2012-05-07 Thread Steven Bosscher
On Mon, May 7, 2012 at 1:34 PM, Richard Guenther wrote: > On Mon, May 7, 2012 at 1:28 PM, Steven Bosscher wrote: >> Hello, >> >> When I moved the first bits of the switch lowering code from stmt.c, I >> didn't anticipate that the GIMPLE passes can sometimes perform >> transformations that break t

Re: [patch] Tighten GIMPLE_SWITCH verification

2012-05-07 Thread Richard Guenther
On Mon, May 7, 2012 at 1:28 PM, Steven Bosscher wrote: > Hello, > > When I moved the first bits of the switch lowering code from stmt.c, I > didn't anticipate that the GIMPLE passes can sometimes perform > transformations that break the rules the gimplifier uses while > lowering SWITCH_EXPRs. > >

[patch] Tighten GIMPLE_SWITCH verification

2012-05-07 Thread Steven Bosscher
Hello, When I moved the first bits of the switch lowering code from stmt.c, I didn't anticipate that the GIMPLE passes can sometimes perform transformations that break the rules the gimplifier uses while lowering SWITCH_EXPRs. The attached patch adds the expected rules to the GIMPLE_SWITCH verifi