Searched defs:stateNull (Results 1 – 3 of 3) sorted by relevance
174 ProgramStateRef stateNotNull, stateNull; in checkPreCall() local
565 ProgramStateRef stateNonNull, stateNull; in checkPreCall() local
301 ProgramStateRef stateNull, stateNonNull; in checkNonNull() local