fix for object_address_exprt

kroening · kroening · commit 06075c0dd303 · 2022-03-09T15:55:26.000Z
The validator for object_address_exprt now asserts the correct number of
operands.
diff --git a/src/util/pointer_expr.h b/src/util/pointer_expr.h
@@ -450,7 +450,7 @@ inline bool can_cast_expr<object_address_exprt>(const exprt &base)
 
 inline void validate_expr(const object_address_exprt &value)
 {
-  validate_operands(value, 1, "object_address must have one operand");
+  validate_operands(value, 0, "object_address must have zero operands");
 }
 
 /// \brief Cast an exprt to an \ref object_address_exprt

Original file line number	Diff line number	Diff line change
`@@ -450,7 +450,7 @@ inline bool can_cast_expr<object_address_exprt>(const exprt &base)`
`450`	`450`
`451`	`451`	`inline void validate_expr(const object_address_exprt &value)`
`452`	`452`	`{`
`453`		`- validate_operands(value, 1, "object_address must have one operand");`
	`453`	`+ validate_operands(value, 0, "object_address must have zero operands");`
`454`	`454`	`}`
`455`	`455`
`456`	`456`	`/// \brief Cast an exprt to an \ref object_address_exprt`