Lines Matching refs:BindExpr
363 C.addTransition(State->BindExpr( in evalCall()
505 TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(true))); in handleComparisionOp()
508 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
510 C.addTransition(State->BindExpr(ResultExpr, LCtx, RetVal)); in handleComparisionOp()
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()
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()