Merge pull request #5562 from tautschnig/remove-deprecated-byte_update

tautschnig · web-flow · commit df544aaaa385 · 2020-11-12T09:00:20.000+01:00
Remove deprecated byte_update_exprt non-const methods
diff --git a/src/util/byte_operators.h b/src/util/byte_operators.h
@@ -92,13 +92,6 @@ class byte_update_exprt : public ternary_exprt
       "byte_update_exprt: Invalid ID");
   }
 
-  DEPRECATED(SINCE(2019, 5, 21, "use set_op or as_const instead"))
-  exprt &op() { return op0(); }
-  DEPRECATED(SINCE(2019, 5, 21, "use set_offset or as_const instead"))
-  exprt &offset() { return op1(); }
-  DEPRECATED(SINCE(2019, 5, 21, "use set_value or as_const instead"))
-  exprt &value() { return op2(); }
-
   void set_op(exprt e)
   {
     op0() = std::move(e);

Original file line number	Diff line number	Diff line change
`@@ -92,13 +92,6 @@ class byte_update_exprt : public ternary_exprt`
`92`	`92`	`"byte_update_exprt: Invalid ID");`
`93`	`93`	`}`
`94`	`94`
`95`		`- DEPRECATED(SINCE(2019, 5, 21, "use set_op or as_const instead"))`
`96`		`- exprt &op() { return op0(); }`
`97`		`- DEPRECATED(SINCE(2019, 5, 21, "use set_offset or as_const instead"))`
`98`		`- exprt &offset() { return op1(); }`
`99`		`- DEPRECATED(SINCE(2019, 5, 21, "use set_value or as_const instead"))`
`100`		`- exprt &value() { return op2(); }`
`101`		`-`
`102`	`95`	`void set_op(exprt e)`
`103`	`96`	`{`
`104`	`97`	`op0() = std::move(e);`