fixed #13607 - print float values as such in valueflow debug output

Author: firewave

lib/vfvalue.cpp

@@ -19,6 +19,7 @@
 #include "vfvalue.h"
 
 #include "errortypes.h"
+#include "mathlib.h"
 #include "token.h"
 
 #include <sstream>
@@ -58,7 +59,7 @@ namespace ValueFlow {
             ss << this->tokvalue->str();
             break;
         case ValueType::FLOAT:
-            ss << this->floatValue;
+            ss << MathLib::toString(this->floatValue);
             break;
         case ValueType::MOVED:
             ss << toString(this->moveKind);

test/cli/other_test.py

@@ -3072,12 +3072,12 @@ def test_debug_valueflow(tmp_path):
         '##Value flow',
         'File {}'.format(test_file),
         'Line 3',
-        '  = always 2',
-        '  1.0 always 1',
-        '  / always 2',
+        '  = always 2.0',
+        '  1.0 always 1.0',
+        '  / always 2.0',
         '  0.5 always 0.5',
         'Line 4',
-        '  d always {symbolic=(1.0/0.5),2}'
+        '  d always {symbolic=(1.0/0.5),2.0}'
     ]