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