Searched refs:checkNull (Results 1 – 3 of 3) sorted by relevance
127 return checkNull(State, Sym); in isNull()148 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
28 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in ConstraintManager
317 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;342 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in RangeConstraintManager