Searched refs:checkNull (Results 1 – 4 of 4) sorted by relevance
170 return checkNull(State, Sym); in isNull()191 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
82 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
32 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in ConstraintManager
1397 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;1997 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in RangeConstraintManager