codeql/cpp/ql/src/experimental/Likely Bugs/RedundantNullCheckParam.cpp

void test(char *arg1, int *arg2) {
    if (arg1[0] == 'A') {
        if (arg2 != NULL) { //maybe redundant
            *arg2 = 42;
        }
    }
    if (arg1[1] == 'B')
    {
        *arg2 = 54; //dereferenced without checking first
    }
}