From e05deca660d33e2468b0e743e4ba67ea8c01416d Mon Sep 17 00:00:00 2001 From: reuk Date: Wed, 30 Aug 2017 12:27:33 +0100 Subject: [PATCH] Update function signatures in goto_rw, fixing build --- src/analyses/goto_rw.h | 15 +++++++++++---- 1 file changed, 11 insertions(+), 4 deletions(-) diff --git a/src/analyses/goto_rw.h b/src/analyses/goto_rw.h index c7b31288c9f..38bc4d2e61a 100644 --- a/src/analyses/goto_rw.h +++ b/src/analyses/goto_rw.h @@ -91,8 +91,8 @@ class range_domaint:public range_domain_baset const_iterator end() const { return data.end(); } const_iterator cend() const { return data.end(); } - template - void push_back(T &&v) { data.push_back(std::forward(v)); } + void push_back(const sub_typet::value_type &v) { data.push_back(v); } + void push_back(sub_typet::value_type &&v) { data.push_back(std::move(v)); } }; class array_exprt; @@ -304,8 +304,15 @@ class guarded_range_domaint:public range_domain_baset const_iterator end() const { return data.end(); } const_iterator cend() const { return data.end(); } - template - iterator insert(T &&v) { return data.insert(std::forward(v)); } + iterator insert(const sub_typet::value_type &v) + { + return data.insert(v); + } + + iterator insert(sub_typet::value_type &&v) + { + return data.insert(std::move(v)); + } }; class rw_guarded_range_set_value_sett:public rw_range_set_value_sett