Searched refs:checkNull (Results 1 – 4 of 4) sorted by relevance
175 return checkNull(State, Sym); in isNull()196 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
76 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in checkNull() function
33 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in ConstraintManager
236 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;361 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in RangeConstraintManager