[Cannotate] missing preconditions for pointer type
From php
main/php_variables.c
,
for pointer, should check existence as pre-conditions
{
// ABS Label 933
if(*c_var < 0) { __asm__ volatile (""::: "memory"); }
}
{
// COR Label 934
if(((c_var)!= NULL) && (((c_var) || (*c_var)) != (c_var && *c_var))) { __asm__ volatile (""::: "memory"); }
}
{
// MCC Label 935
if(c_var && *c_var ) { __asm__ volatile (""::: "memory"); }
// MCC Label 936
if(c_var && !(*c_var) ) { __asm__ volatile (""::: "memory"); }
// MCC Label 937
if(!(c_var) && *c_var ) { __asm__ volatile (""::: "memory"); }
// MCC Label 938
if(!(c_var) && !(*c_var) ) { __asm__ volatile (""::: "memory"); }
}
if (c_var && *c_var) {