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?