Silence spurious GCC 8 warning

tautschnig · tautschnig · commit 1a0ed1a53815 · 2018-06-05T06:14:38.000Z
For an unknown reason GCC 8 thinks is_float is never used.
diff --git a/jbmc/src/java_bytecode/expr2java.h b/jbmc/src/java_bytecode/expr2java.h
@@ -58,7 +58,7 @@ std::string type2java(const typet &type, const namespacet &ns);
 template <typename float_type>
 std::string floating_point_to_java_string(float_type value)
 {
-  const auto is_float = std::is_same<float_type, float>::value;
+  static const bool is_float = std::is_same<float_type, float>::value;
   static const std::string class_name = is_float ? "Float" : "Double";
   if(std::isnan(value))
     return class_name + ".NaN";

Original file line number	Diff line number	Diff line change
`@@ -58,7 +58,7 @@ std::string type2java(const typet &type, const namespacet &ns);`
`58`	`58`	`template <typename float_type>`
`59`	`59`	`std::string floating_point_to_java_string(float_type value)`
`60`	`60`	`{`
`61`		`- const auto is_float = std::is_same<float_type, float>::value;`
	`61`	`+ static const bool is_float = std::is_same<float_type, float>::value;`
`62`	`62`	`static const std::string class_name = is_float ? "Float" : "Double";`
`63`	`63`	`if(std::isnan(value))`
`64`	`64`	`return class_name + ".NaN";`