Lines Matching refs:getLocationContext

311         Call.getOriginExpr(), C.getLocationContext(),  in evalCall()
336         *ThisRegionOpt, nullptr, State, C.getLocationContext(),  in evalCall()
368           Call.getOriginExpr(), C.getLocationContext(),  in evalCall()
445   auto Val = C.getSValBuilder().conjureSymbolVal(E, C.getLocationContext(),  in retrieveOrConjureInnerPtrVal()
489   const auto *LCtx = C.getLocationContext();  in handleComparisionOp()
534                                C.blockCount(), C.getLocationContext(), false);  in handleOstreamOperator()
536       State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal);  in handleOstreamOperator()
643     State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(),  in handleRelease()
726   State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(),  in handleGet()
847     const LocationContext *LC = C.getLocationContext();  in handleBoolConversion()
854     State = State->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()
860     State = State->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()
867         State->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()
879     NullState = NullState->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()
890         NotNullState->BindExpr(CallExpr, C.getLocationContext(),  in handleBoolConversion()