Searched refs:checkNull (Results 1 – 4 of 4) sorted by relevance
144 return checkNull(State, Sym); in isNull()180 virtual ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym);
83 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override { in REGISTER_TRAIT_WITH_PROGRAMSTATE()
33 ConditionTruthVal ConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in ConstraintManager
1874 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;2842 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in RangeConstraintManager