Templatize architecture_string to avoid type conversion

tautschnig · tautschnig · commit d07d418144bc · 2018-06-23T19:11:47.000+01:00
diff --git 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 <typename T>
+static std::string architecture_string(T value, const char *s)
 {
   return std::string("const int __CPROVER_architecture_")+
          std::string(s)+

Original file line number	Diff line number	Diff line change
`@@ -114,7 +114,8 @@ static std::string architecture_string(const std::string &value, const char *s)`
`114`	`114`	`"=\""+value+"\";\n";`
`115`	`115`	`}`
`116`	`116`
`117`		`-static std::string architecture_string(int value, const char *s)`
	`117`	`+template <typename T>`
	`118`	`+static std::string architecture_string(T value, const char *s)`
`118`	`119`	`{`
`119`	`120`	`return std::string("const int __CPROVER_architecture_")+`
`120`	`121`	`std::string(s)+`