From 06e383e2dc03eb0853853f46e5d33d0b51d563ca Mon Sep 17 00:00:00 2001 From: Chris Smowton Date: Wed, 12 Sep 2018 18:01:59 +0100 Subject: [PATCH] Fix string_builtin_functiont constructor This wrongly std::move'd the same input parameter twice, causing a fault when casting the now-nil exprt. I don't know how this ever worked; possibly in some circumstances the move constructor is elided. --- src/solvers/refinement/string_builtin_function.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/solvers/refinement/string_builtin_function.h b/src/solvers/refinement/string_builtin_function.h index c53137a243f..7338d38363d 100644 --- a/src/solvers/refinement/string_builtin_function.h +++ b/src/solvers/refinement/string_builtin_function.h @@ -83,7 +83,7 @@ class string_transformation_builtin_functiont : public string_builtin_functiont array_string_exprt input) : string_builtin_functiont(std::move(return_code)), result(std::move(result)), - input(std::move(result)) + input(std::move(input)) { }