Searched defs:NonNullState (Results 1 – 1 of 1) sorted by relevance
430 ProgramStateRef NonNullState, NullState; in evalIsa() local446 ProgramStateRef NonNullState, NullState; in evalIsaAndNonNull() local