Searched refs:Result_Cst (Results 1 – 2 of 2) sorted by relevance
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()
626 int64_t Result_Cst = LHS_Cst + RHS_Cst; in EvaluateSymbolicAdd() local647 Result_Cst); in EvaluateSymbolicAdd()649 Result_Cst); in EvaluateSymbolicAdd()651 Result_Cst); in EvaluateSymbolicAdd()653 Result_Cst); in EvaluateSymbolicAdd()665 Res = MCValue::get(A, B, Result_Cst); in EvaluateSymbolicAdd()