opX in statement-list/

kroening · kroening · commit b718418f72f3 · 2020-04-04T18:58:49.000+01:00
This improves type safety.
diff --git a/src/statement-list/statement_list_parser.cpp b/src/statement-list/statement_list_parser.cpp
@@ -260,7 +260,7 @@ static void find_instructions(
   for(const exprt &instruction_expr : instructions.operands())
   {
     statement_list_parse_treet::instructiont instruction;
-    codet code_token(instruction_expr.op0().id());
+    codet code_token(to_multi_ary_expr(instruction_expr).op0().id());
     for(const exprt &operand : instruction_expr.operands())
     {
       if(operand.is_not_nil() && operand.id() != code_token.get_statement())

Original file line number	Diff line number	Diff line change
`@@ -260,7 +260,7 @@ static void find_instructions(`
`260`	`260`	`for(const exprt &instruction_expr : instructions.operands())`
`261`	`261`	`{`
`262`	`262`	`statement_list_parse_treet::instructiont instruction;`
`263`		`- codet code_token(instruction_expr.op0().id());`
	`263`	`+ codet code_token(to_multi_ary_expr(instruction_expr).op0().id());`
`264`	`264`	`for(const exprt &operand : instruction_expr.operands())`
`265`	`265`	`{`
`266`	`266`	`if(operand.is_not_nil() && operand.id() != code_token.get_statement())`