Invalid unreachable code warning

[bvdberg]

    loop: while (1) {
        char c = read_char();
        switch (c) {
        case 'q':
            break loop;
        default:
            break;
        }
    }
    // Error: unreachable code

Apparently the labelled break is not used correctly in the analyser.