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
1610 ConditionTruthVal checkNull(ProgramStateRef State, SymbolRef Sym) override;2221 ConditionTruthVal RangeConstraintManager::checkNull(ProgramStateRef State, in checkNull() function in RangeConstraintManager