From d07d418144bcb06a1b38bf82c35d34da9fb2c83c Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Fri, 22 Jun 2018 12:32:53 +0100 Subject: [PATCH] Templatize architecture_string to avoid type conversion --- src/ansi-c/ansi_c_internal_additions.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/ansi-c/ansi_c_internal_additions.cpp b/src/ansi-c/ansi_c_internal_additions.cpp index 54b81ce6efe..21f6fc41f4a 100644 --- a/src/ansi-c/ansi_c_internal_additions.cpp +++ b/src/ansi-c/ansi_c_internal_additions.cpp @@ -114,7 +114,8 @@ static std::string architecture_string(const std::string &value, const char *s) "=\""+value+"\";\n"; } -static std::string architecture_string(int value, const char *s) +template +static std::string architecture_string(T value, const char *s) { return std::string("const int __CPROVER_architecture_")+ std::string(s)+