Alternative to fprintf to load value from register

[Mathieu Malaterre via Gcc-help <gcc-help@xxxxxxxxxxx>]

Hi all,

I am tracking an issue in my code. I can make the symptom go away with a simple:

  fprintf(stdout, "%.17g\n", value);

However this has a rather large impact on the generated code (diffstat
of assembly code is ~~789). Is there any other trick to pretend to
load value from FPU into the stack ?

I tried a naive

volatile double dbg = value; (void)dbg;

but that did not work.

For reference: g++-13 / x86 (-m32 -fexcess-precision=fast).

Thanks,
-- 
Mathieu