Properly adds source location to assigns object

feliperodri · feliperodri · commit 3948798b55b5 · 2021-09-16T16:58:59.000Z
Signed-off-by: Felipe R. Monteiro &lt;felisous@amazon.com&gt;
diff --git a/src/ansi-c/ansi_c_convert_type.cpp b/src/ansi-c/ansi_c_convert_type.cpp
@@ -272,6 +272,7 @@ void ansi_c_convert_typet::read_rec(const typet &type)
       for(auto &assignment : to_unary_expr(as_expr).op().operands())
         assigns.add_to_operands(std::move(assignment));
     }
+    assigns.add_source_location() = as_expr.source_location();
   }
   else if(type.id() == ID_C_spec_ensures)
   {

Original file line number	Diff line number	Diff line change
`@@ -272,6 +272,7 @@ void ansi_c_convert_typet::read_rec(const typet &type)`
`272`	`272`	`for(auto &assignment : to_unary_expr(as_expr).op().operands())`
`273`	`273`	`assigns.add_to_operands(std::move(assignment));`
`274`	`274`	`}`
	`275`	`+ assigns.add_source_location() = as_expr.source_location();`
`275`	`276`	`}`
`276`	`277`	`else if(type.id() == ID_C_spec_ensures)`
`277`	`278`	`{`