GCC --Wanalyzer-null-dereference false nagetive with `*p = i`

[ghost]

int array[3] = {};

int main() {
    int i;
    int *p;

    for (i = 0; i < 1; i++) {
        for (p = (void *)array[0]; p != &array[1]; p = &array[2]) {
            if (*p == i) {
                *p = i;
            }
        }
    }
}

report: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110521

[ghost]

Hi, in this case (https://godbolt.org/z/azzTd94hz), the p is a null poinetr, but the analyzer doesn't report an NPD with it. When int array[3] = {0, 0, 0} (https://godbolt.org/z/TM7Ws3Gav), the analyzer reports that.

[ghost]

CSA not FN: https://godbolt.org/z/EMxET5E67