Lines Matching refs:getLocationContext

307         Call.getOriginExpr(), C.getLocationContext(),  in evalCall()
332         *ThisRegionOpt, nullptr, State, C.getLocationContext(),  in evalCall()
364           Call.getOriginExpr(), C.getLocationContext(),  in evalCall()
443   auto Val = C.getSValBuilder().conjureSymbolVal(E, C.getLocationContext(),  in retrieveOrConjureInnerPtrVal()
487   const auto *LCtx = C.getLocationContext();  in handleComparisionOp()
532                                C.blockCount(), C.getLocationContext(), false);  in handleOstreamOperator()
534       State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal);  in handleOstreamOperator()
641     State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(),  in handleRelease()
725   State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(),  in handleGet()
853     const LocationContext *LC = C.getLocationContext();  in handleBoolConversion()
860     State = State->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()
866     State = State->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()
873         State->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()
885     NullState = NullState->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()
896         NotNullState->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()