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()
148 bool isNullSmartPtr(const ProgramStateRef State, const MemRegion *ThisRegion) { in isNullSmartPtr() function562 if (smartptr::isNullSmartPtr(State, I.first)) in printState()