Searched refs:Result_Cst (Results 1 – 1 of 1) sorted by relevance
559 int64_t Result_Cst = LHS_Cst + RHS_Cst; in EvaluateSymbolicAdd() local577 Result_Cst); in EvaluateSymbolicAdd()579 Result_Cst); in EvaluateSymbolicAdd()581 Result_Cst); in EvaluateSymbolicAdd()583 Result_Cst); in EvaluateSymbolicAdd()595 Res = MCValue::get(A, B, Result_Cst); in EvaluateSymbolicAdd()