sqc 0.4.13

Software Code Quality - CERT C compliance checker
1
2
3
4
5
6
7
8
9
// Test: code after loop-with-continue is reachable

void process(int *arr, int n) {
    for (int i = 0; i < n; i++) {
        if (arr[i] < 0)
            continue;
        arr[i] *= 2;  // reachable for non-negative elements
    }
}