GCC --Wanalyzer-null-dereference false negative with `*(int *)0`

[0-0x41]

date: 2023-1-17 commit: 8c8ca873216387bc26046615c806b96f0345ff9d args: -O0 -fanalyzer test:

void __analyzer_eval();

void f(int b)
{
    if (b++ && b)
    {
        __analyzer_eval(b++ && b);
        *(int *)0;
    }
}

report: fix: original:

[0-0x41]

In this case, __analyzer_eval(b++ && b) has output, indicating that the if branch is reachable, yet analyzer does not produce an NPD warning for *(int *)0. See it live: https://godbolt.org/z/e3csn8dhE