Searched refs:retrieveOrConjureInnerPtrVal (Results 1 – 1 of 1) sorted by relevance
82 retrieveOrConjureInnerPtrVal(ProgramStateRef State,439 std::pair<SVal, ProgramStateRef> SmartPtrModeling::retrieveOrConjureInnerPtrVal( in retrieveOrConjureInnerPtrVal() function in SmartPtrModeling480 return retrieveOrConjureInnerPtrVal(State, Reg, E, Type, C); in handleComparisionOp()724 std::tie(InnerPointerVal, State) = retrieveOrConjureInnerPtrVal( in handleGet()