deprecate code_labelt::code_labelt(label)

Daniel Kroening · Daniel Kroening · commit 8d2713186154 · 2019-02-06T17:19:07.000Z
This is an incomplete constructor.
diff --git a/src/util/std_code.h b/src/util/std_code.h
@@ -1253,12 +1253,13 @@ inline void validate_expr(const code_returnt &x)
 class code_labelt:public codet
 {
 public:
-  DEPRECATED("use code_labelt(label) instead")
+  DEPRECATED("use code_labelt(label, _code) instead")
   code_labelt():codet(ID_label)
   {
     operands().resize(1);
   }
 
+  DEPRECATED("use code_labelt(label, _code) instead")
   explicit code_labelt(const irep_idt &_label):codet(ID_label)
   {
     operands().resize(1);

Original file line number	Diff line number	Diff line change
`@@ -1253,12 +1253,13 @@ inline void validate_expr(const code_returnt &x)`
`1253`	`1253`	`class code_labelt:public codet`
`1254`	`1254`	`{`
`1255`	`1255`	`public:`
`1256`		`- DEPRECATED("use code_labelt(label) instead")`
	`1256`	`+ DEPRECATED("use code_labelt(label, _code) instead")`
`1257`	`1257`	`code_labelt():codet(ID_label)`
`1258`	`1258`	`{`
`1259`	`1259`	`operands().resize(1);`
`1260`	`1260`	`}`
`1261`	`1261`
	`1262`	`+ DEPRECATED("use code_labelt(label, _code) instead")`
`1262`	`1263`	`explicit code_labelt(const irep_idt &_label):codet(ID_label)`
`1263`	`1264`	`{`
`1264`	`1265`	`operands().resize(1);`