sqc 0.4.13

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

// Test: code after unconditional continue is unreachable

void process(int *arr, int n) {
    for (int i = 0; i < n; i++) {
        if (arr[i] < 0) {
            continue;
            arr[i] = 0;  // MSC07-C violation
        }
    }
}