Inconsistent bufferAccessOutOfBounds (possible values)

[chrchr]

void f(int i) {
        int a[1];
        if (i != 2) return;
        memset(a, 0, i * sizeof(int)); // should be a warning or even different ID bufferAccessOutOfBoundsCond
}
void g(int i) {
        int a[1];
        if (i != 2) {}
        memset(a, 0, i * sizeof(int)); // FN
}
void h(int i) {
        int a[1];
        if (i > 2) {}
        memset(a, 0, i * sizeof(int)); // FN
}
void j(int i) {
        int a[1];
        if (i == 2) {}
        memset(a, 0, i * sizeof(int)); // FN
}

test.cpp:4:9: error: Buffer is accessed out of bounds: a [bufferAccessOutOfBounds]