avoid a deprecated constructor in is_dynamic_object_exprt

Daniel Kroening · Daniel Kroening · commit 0b311091dfa2 · 2019-11-25T12:34:06.000Z
This will enable us to remove the deprecated constructor.
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -2117,7 +2117,9 @@ inline dynamic_object_exprt &to_dynamic_object_expr(exprt &expr)
 class is_dynamic_object_exprt : public unary_predicate_exprt
 {
 public:
-  is_dynamic_object_exprt() : unary_predicate_exprt(ID_is_dynamic_object)
+  DEPRECATED(SINCE(2019, 11, 8, "use is_dynamic_object(op) instead"))
+  is_dynamic_object_exprt()
+    : unary_predicate_exprt(ID_is_dynamic_object, exprt())
   {
   }
 

Original file line number	Diff line number	Diff line change
`@@ -2117,7 +2117,9 @@ inline dynamic_object_exprt &to_dynamic_object_expr(exprt &expr)`
`2117`	`2117`	`class is_dynamic_object_exprt : public unary_predicate_exprt`
`2118`	`2118`	`{`
`2119`	`2119`	`public:`
`2120`		`- is_dynamic_object_exprt() : unary_predicate_exprt(ID_is_dynamic_object)`
	`2120`	`+ DEPRECATED(SINCE(2019, 11, 8, "use is_dynamic_object(op) instead"))`
	`2121`	`+ is_dynamic_object_exprt()`
	`2122`	`+ : unary_predicate_exprt(ID_is_dynamic_object, exprt())`
`2121`	`2123`	`{`
`2122`	`2124`	`}`
`2123`	`2125`