Lines Matching refs:BindExpr
365 C.addTransition(State->BindExpr( in evalCall()
507 TrueState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(true))); in handleComparisionOp()
510 FalseState->BindExpr(ResultExpr, LCtx, Bldr.makeTruthVal(false))); in handleComparisionOp()
512 C.addTransition(State->BindExpr(ResultExpr, LCtx, RetVal)); in handleComparisionOp()
536 State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), StreamVal); in handleOstreamOperator()
643 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
727 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
862 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
868 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
875 State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
887 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
898 NotNullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()