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