Merge pull request #3628 from tautschnig/vs-strtof

Daniel Kroening · web-flow · commit 5f5733f027d3 · 2018-12-28T21:23:39.000Z
Use strtof when a float is expected [blocks: #2310]
diff --git a/jbmc/unit/java_bytecode/expr2java.cpp b/jbmc/unit/java_bytecode/expr2java.cpp
@@ -95,7 +95,7 @@ TEST_CASE(
 
   SECTION("Hex float to string (print a comment)")
   {
-    const float value = std::strtod("0x1p+37f", nullptr);
+    const float value = std::strtof("0x1p+37f", nullptr);
 #ifndef _MSC_VER
     REQUIRE(
       floating_point_to_java_string(value) == "0x1p+37f /* 1.37439e+11 */");

Original file line number	Diff line number	Diff line change
`@@ -95,7 +95,7 @@ TEST_CASE(`
`95`	`95`
`96`	`96`	`SECTION("Hex float to string (print a comment)")`
`97`	`97`	`{`
`98`		`- const float value = std::strtod("0x1p+37f", nullptr);`
	`98`	`+ const float value = std::strtof("0x1p+37f", nullptr);`
`99`	`99`	`#ifndef _MSC_VER`
`100`	`100`	`REQUIRE(`
`101`	`101`	`floating_point_to_java_string(value) == "0x1p+37f /* 1.37439e+11 */");`