sqc 0.4.13

Software Code Quality - CERT C compliance checker
1
2
3
4
5
6
7
8
9
10
11
12
13

// Test: code after unconditional goto is unreachable

int compute(int x) {
    if (x < 0)
        goto error;
    return x * 2;

error:
    goto done;
    x = -1;  // MSC07-C violation
done:
    return x;
}