[Bug target/102498] wrong output of printf with long double constant (pi) and non-default rounding mode

[vincent-gcc at vinc17 dot net via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=102498

--- Comment #3 from Vincent Lefèvre <vincent-gcc at vinc17 dot net> ---
(In reply to Jakub Jelinek from comment #2)
> Created attachment 51512 [details]
> gcc12-pr102498.patch

I could test that this fixes the issue on my testcase at Comment 1.