Path counting incorrect for sequence of statements in switch cases

[mringwal]

A sequence of statements in a switch case should be counted similar to a compound statement.

Example:

void path_024_expected_5(int a, int b, int c){
    switch (a){
        case 0:
            if (b){
            }
            if (c){
            }
            break;
        default:
            break;
    }
}

The if(a), if(b) sequence creates 4 paths + 1 for the default = 5, but ccsm reports 3.

If the if-statements are put into a block, we get the expected path count.

void path_025_expected_5(int a, int b, int c){
    switch (a){
        case 0: {
            if (b){
            }
            if (c){
            }
            break;
        }
        default:
            break;
    }
}

[mringwal]

Fixed by merged pull request.