Searched refs:Result_Cst (Results 1 – 3 of 3) sorted by relevance
378 int64_t Result_Cst = LHS_Cst + RHS_Cst; in EvaluateSymbolicAdd() local396 Result_Cst); in EvaluateSymbolicAdd()398 Result_Cst); in EvaluateSymbolicAdd()400 Result_Cst); in EvaluateSymbolicAdd()402 Result_Cst); in EvaluateSymbolicAdd()419 Res = MCValue::get(A, B, Result_Cst); in EvaluateSymbolicAdd()
535 int64_t Result_Cst = LHS_Cst + RHS_Cst; in EvaluateSymbolicAdd() local553 Result_Cst); in EvaluateSymbolicAdd()555 Result_Cst); in EvaluateSymbolicAdd()557 Result_Cst); in EvaluateSymbolicAdd()559 Result_Cst); in EvaluateSymbolicAdd()571 Res = MCValue::get(A, B, Result_Cst); in EvaluateSymbolicAdd()
594 int64_t Result_Cst = LHS_Cst + RHS_Cst; in EvaluateSymbolicAdd() local616 Result_Cst); in EvaluateSymbolicAdd()618 Result_Cst); in EvaluateSymbolicAdd()620 Result_Cst); in EvaluateSymbolicAdd()622 Result_Cst); in EvaluateSymbolicAdd()634 Res = MCValue::get(A, B, Result_Cst); in EvaluateSymbolicAdd()