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