Deprecate offset_is_zero

romainbrenguier · romainbrenguier · commit f8668aed3435 · 2019-05-30T10:50:53.000+01:00
This is unused
diff --git a/src/pointer-analysis/value_set.h b/src/pointer-analysis/value_set.h
@@ -80,6 +80,7 @@ class value_sett
   /// Represents the offset into an object: either a unique integer offset,
   /// or an unknown value, represented by `!offset`.
   typedef optionalt<mp_integer> offsett;
+  DEPRECATED(SINCE(2019, 05, 22, "Unused"))
   bool offset_is_zero(const offsett &offset) const
   {
     return offset && offset->is_zero();

Original file line number	Diff line number	Diff line change
`@@ -80,6 +80,7 @@ class value_sett`
`80`	`80`	`/// Represents the offset into an object: either a unique integer offset,`
`81`	`81`	/// or an unknown value, represented by `!offset`.
`82`	`82`	`typedef optionalt<mp_integer> offsett;`
	`83`	`+ DEPRECATED(SINCE(2019, 05, 22, "Unused"))`
`83`	`84`	`bool offset_is_zero(const offsett &offset) const`
`84`	`85`	`{`
`85`	`86`	`return offset && offset->is_zero();`