Re: [Valgrind-users] VG_(message) floating points

[Florian K. <fl...@ei...>]

On 05/07/2014 10:27 AM, Domingues Luis Filipe wrote:
> Hello,
> 
> On a tool, I try to print on the stdout the value of a floating point.
> But when I use the %f formating in VG(printf) or VG_(message) it print
> my string, but not my float/double.
> 
> It is a bug? Or there are another way to print floating points?

It's a missing feature. Search the valgrind-developers mailing list for
a thread entitled "VG_(printf) '%f' patch" which was meant to add
support for printing floating point numbers. But it was never integrated
into the source tree (not sure why; perhaps a license issue).
The patch may solve your problem.

  Florian