Switch case weird scoping

Question

Reviewing some 3rd party C code I came across something like:

switch (state) {
case 0: 
    if (c==\'A\') { // open brace
        // code...
    break; // br         


        

Answer 1

In C and C++ it is legal to jump into loops and if blocks so long as you don't jump over any variable declarations. You can check this answer for an example using goto, but I don't see why the same ideas wouldn't apply to switch blocks.

The semantics are different than if the } was above case 1 as you would expect.
This code actually says if state == 0 and c != 'A' then go to case 2 since that's where the closing brace of the if statement is. It then processes that code and hits the break statement at the end of the case 2 code.