Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-02 14:48:21 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

fixes for -O gen-C++ generation of floating point constants

Browse source
This commit is contained in:
Vern Paxson 2024-08-13 14:42:25 -07:00
parent a93a69ba62
commit 6daf9d5b88
1 changed files with 10 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/script_opt/CPP/Util.cc
View file

@ -17,6 +17,16 @@ string Fmt(double d) {
if ( d == 0.0 && signbit(d) ) if ( d == 0.0 && signbit(d) )
return "-0.0"; return "-0.0";
if ( isinf(d) ) {
string infty = "std::numeric_limits<double>::infinity()";
if ( d < 0.0 )
infty = "-" + infty;
return infty;
}
if ( isnan(d) )
return "std::numeric_limits<double>::quiet_NaN()";
// Unfortunately, to_string(double) is hardwired to use %f with // Unfortunately, to_string(double) is hardwired to use %f with
// default of 6 digits precision. // default of 6 digits precision.
char buf[8192]; char buf[8192];