codeql/cpp/ql/test/query-tests/jsf/4.21 Operators/AV Rule 157/test.c

int z;

int pureFun(void) {
    return 3;
}

int imPureFun(void) {
    z++;
    return 4;
}

int strcmp(char *x, char *y);
int unknownFun(char *x, char *y);

void f(int x, int y) {
    if (x && y)
        x++;

    if (x && y++) // $ Alert
        x++;

    if (x && pureFun())
        x++;

    if (x && imPureFun()) // $ Alert
        x++;

    if (x && strcmp("foo", "bar"))
        x++;

    if (x && unknownFun("foo", "bar")) // $ Alert
        x++;
}