new exprt::add_to_operands signature

kroening · kroening · commit 7d5e67ede2aa · 2023-09-18T09:59:36.000-07:00
diff --git a/src/verilog/parser.y b/src/verilog/parser.y
@@ -162,8 +162,8 @@ static void extractbits(YYSTYPE &expr, YYSTYPE &identifier, YYSTYPE &range)
   if(stack_expr(range).id()==ID_part_select)
   {
     auto &part_select = to_binary_expr(stack_expr(range));
-    stack_expr(expr).add_to_operands(std::move(part_select.op0()),
-                                 std::move(part_select.op1()));
+    stack_expr(expr).add_to_operands(std::move(part_select.op0()));
+    stack_expr(expr).add_to_operands(std::move(part_select.op1()));
   }
   else if(stack_expr(range).id()==ID_indexed_part_select_plus)
   {

Original file line number	Diff line number	Diff line change
`@@ -162,8 +162,8 @@ static void extractbits(YYSTYPE &expr, YYSTYPE &identifier, YYSTYPE &range)`
`162`	`162`	`if(stack_expr(range).id()==ID_part_select)`
`163`	`163`	`{`
`164`	`164`	`auto &part_select = to_binary_expr(stack_expr(range));`
`165`		`- stack_expr(expr).add_to_operands(std::move(part_select.op0()),`
`166`		`- std::move(part_select.op1()));`
	`165`	`+ stack_expr(expr).add_to_operands(std::move(part_select.op0()));`
	`166`	`+ stack_expr(expr).add_to_operands(std::move(part_select.op1()));`
`167`	`167`	`}`
`168`	`168`	`else if(stack_expr(range).id()==ID_indexed_part_select_plus)`
`169`	`169`	`{`