codeql/cpp/ql/test/query-tests/jsf/4.24 Control Flow Structures/AV Rule 193/nested.c

void nested1(int i) {
    switch (i) {
        case 1:
            i = 1;
            break;
        {
            ; ; ; ; ; ; ;
            case 2:
                i = 2;
                break;
        }
        default:
            i = 3;
    }
}

void nested2(int i) {
    switch (i) {
        case 1:
            i = 1;
            break;
        {
            ; ; ; ; ; ; ;
            default:
                i = 3;
        }
        case 2:
            i = 2;
            break;
    }
}