From 3e1278942fe18ee5e8f8ecb1394434b333d3b1e6 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Sat, 12 Jan 2019 17:13:39 +0000 Subject: [PATCH] transt: add a non-deprecated constructor The only existing constructor relied on a constructor of ternary_exprt that is marked deprecated. Thus mark the existing one deprecated and add one that will survive removal of deprecated functions. --- src/util/std_expr.h | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/src/util/std_expr.h b/src/util/std_expr.h index 525ffab6b5a..82b45e2a362 100644 --- a/src/util/std_expr.h +++ b/src/util/std_expr.h @@ -93,10 +93,21 @@ class ternary_exprt : public exprt class transt : public ternary_exprt { public: + DEPRECATED("use transt(op0, op1, op2) instead") transt() : ternary_exprt(ID_trans) { } + transt( + const irep_idt &_id, + const exprt &_op0, + const exprt &_op1, + const exprt &_op2, + const typet &_type) + : ternary_exprt(_id, _op0, _op1, _op2, _type) + { + } + exprt &invar() { return op0(); } exprt &init() { return op1(); } exprt &trans() { return op2(); }