On 07/19/2016 12:09 PM, Richard Biener wrote:
I saw walks over stmts of a BB. IMHO that's a no-go.
Only to find the first or last nondebug one. Is that unacceptable?
I'm thinking of switch (a) { ... case n: do-stuff; default: switch (a) { case n: do-stuff; ... } } yes, you can simply drop cases when there is no code in the outer switch.
We check that the second switch has a single predecessor block so this case can't happen.
Bernd