Searched refs:Result_Cst (Results 1 – 1 of 1) sorted by relevance
752 int64_t Result_Cst = LHS_Cst + RHS_Cst; in evaluateSymbolicAdd() local767 Result_Cst); in evaluateSymbolicAdd()769 Result_Cst); in evaluateSymbolicAdd()771 Result_Cst); in evaluateSymbolicAdd()773 Result_Cst); in evaluateSymbolicAdd()785 Res = MCValue::get(A, B, Result_Cst); in evaluateSymbolicAdd()