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

--- Comment #3 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Hm, strange.. I get

 x1/x2   %DDf  

This is with

GNU C Library (Ubuntu GLIBC 2.39-0ubuntu8.4) stable release version 2.39.

with

gcc (GCC) 16.0.0 20250530 (experimental)

Unrelated / configuration error on my part?

Reply via email to