Daniel Jacobowitz <dan@debian.org> writes: > Coincidentally, I believe that Falk Hueffner fixed this in the GCC > source very recently. Just FYI. You're right, it's PR target/9700.