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