Hello!
I'm trying to reproduce double rounding problems like shown here:
http://www.exploringbinary.com/double-rounding-errors-in-floating-point-conversions/
For that I need to know the full value of long double literals.
Problem:
> Because CIL uses 64-bit floating point numbers in its internal
> representation of floating point numbers, long double constants are
> parsed as if they weredouble constants.
Cil.CReal also has a string representation of the constant, but I don't
know how to parse it.
OCaml's arbitrary-precision module accepts only strings in the form of
"123/123".
Any ideas?
RV
------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure
contains a definitive record of customers, application performance,
security threats, fraudulent activity, and more. Splunk takes this
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
