------- Comment #8 from roebel at ircam dot fr 2008-01-28 10:00 ------- For completeness : I now use this function that was proposed in PR 323. It seems to solve my issue. Thanks for the pointer!
inline void set_math_double_precision() { fpu_control_t fpu_control ; _FPU_GETCW(fpu_control); fpu_control = (fpu_control & ~_FPU_EXTENDED) | _FPU_DOUBLE; _FPU_SETCW(fpu_control); } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=34992