Searched refs:RHS_Cst (Results 1 – 1 of 1) sorted by relevance
697 int64_t RHS_Cst, MCValue &Res) { in EvaluateSymbolicAdd() argument705 int64_t Result_Cst = LHS_Cst + RHS_Cst; in EvaluateSymbolicAdd()