Searched defs:nullState (Results 1 – 3 of 3) sorted by relevance
60 ProgramStateRef notNullState, nullState; in checkPreStmt() local
256 ProgramStateRef notNullState, nullState; checkLocation() local
1916 ProgramStateRef notNullState, nullState; FreeMemAux() local