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()
642 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleRelease()
726 State = State->BindExpr(Call.getOriginExpr(), C.getLocationContext(), in handleGet()
861 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
867 State = State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
874 State->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
886 NullState = NullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()
897 NotNullState->BindExpr(CallExpr, C.getLocationContext(), in handleBoolConversion()