deprecate partial constructors for constant_exprt

Daniel Kroening · Daniel Kroening · commit 7c9f8bde021b · 2018-09-21T13:23:18.000+01:00
diff --git a/src/util/std_expr.h b/src/util/std_expr.h
@@ -4092,10 +4092,12 @@ class type_exprt:public exprt
 class constant_exprt:public exprt
 {
 public:
+  DEPRECATED("use constant_exprt(value, type) instead")
   constant_exprt():exprt(ID_constant)
   {
   }
 
+  DEPRECATED("use constant_exprt(value, type) instead")
   explicit constant_exprt(const typet &type):exprt(ID_constant, type)
   {
   }

Original file line number	Diff line number	Diff line change
`@@ -4092,10 +4092,12 @@ class type_exprt:public exprt`
`4092`	`4092`	`class constant_exprt:public exprt`
`4093`	`4093`	`{`
`4094`	`4094`	`public:`
	`4095`	`+ DEPRECATED("use constant_exprt(value, type) instead")`
`4095`	`4096`	`constant_exprt():exprt(ID_constant)`
`4096`	`4097`	`{`
`4097`	`4098`	`}`
`4098`	`4099`
	`4100`	`+ DEPRECATED("use constant_exprt(value, type) instead")`
`4099`	`4101`	`explicit constant_exprt(const typet &type):exprt(ID_constant, type)`
`4100`	`4102`	`{`
`4101`	`4103`	`}`