Searched refs:isNullSmartPtr (Results 1 – 3 of 3) sorted by relevance
29 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion);
74 if (smartptr::isNullSmartPtr(State, ThisRegion)) in checkPreCall()
149 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr() function564 if (smartptr::isNullSmartPtr(State, I.first)) in printState()