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