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