GSA does not make the assumption that a pointer `p` to a variable `a`is not NULL

[Geoffrey1014]

date: 2022-12-10
commit: 8c8ca873216387bc26046615c806b96f0345ff9d
args: -fanalyzer
test:

#include "stdio.h"
extern void __analyzer_describe ();
extern void __analyzer_eval ();
extern void __analyzer_dump ();

void foo(int* c )
{
    int** p = &c;
    int a = (int) p;
    int **b = (int **)a;
    __analyzer_dump ();
    __analyzer_eval (a == 0);
    __analyzer_describe(0,a);

    if(0 == c){        
        __analyzer_eval (b == a);
        __analyzer_eval (p == a);
        __analyzer_eval (b == p);

        __analyzer_eval (b == 0);
        
        __analyzer_eval (a == &c);
        **b = 1;
        // **(int**)a = 1;
        __analyzer_describe(0,**b);
        __analyzer_dump ();
    }
}

report:
fix:
original:

[Geoffrey1014]

GSA does not make the assumption that a pointer p to a variable a is not NULL
GSA: https://godbolt.org/z/zWTj14E1b
CSA: https://godbolt.org/z/q9TcTPveW

equivalent：
GSA：https://godbolt.org/z/65qWv6odq ; duplicate of #11
CSA： https://godbolt.org/z/fqGqb7aYn