fixup for #6378

kroening · kroening · commit deac88b920f3 · 2021-10-07T17:07:57.000+01:00
diff --git a/src/goto-instrument/contracts/assigns.cpp b/src/goto-instrument/contracts/assigns.cpp
@@ -33,7 +33,7 @@ static const slicet normalize_to_slice(const exprt &expr, const namespacet &ns)
         pointer_offset(arg)},
       typecast_exprt::conditional_cast(object_size(arg), signed_size_type())};
   }
-  else if(is_lvalue(expr))
+  else if(is_assignable(expr))
   {
     const auto &size = size_of_expr(expr.type(), ns);
 

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ static const slicet normalize_to_slice(const exprt &expr, const namespacet &ns)`
`33`	`33`	`pointer_offset(arg)},`
`34`	`34`	`typecast_exprt::conditional_cast(object_size(arg), signed_size_type())};`
`35`	`35`	`}`
`36`		`- else if(is_lvalue(expr))`
	`36`	`+ else if(is_assignable(expr))`
`37`	`37`	`{`
`38`	`38`	`const auto &size = size_of_expr(expr.type(), ns);`
`39`	`39`