Searched refs:checkNull (Results 1 – 4 of 4) sorted by relevance
174 return checkNull(State, Sym); in isNull()195 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
80 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
32 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in ConstraintManager
257 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;382 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in RangeConstraintManager