https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90081
--- Comment #10 from Harald van Dijk <harald at gigawatt dot nl> --- (In reply to jos...@codesourcery.com from comment #9) Thanks, appreciate the explanation. I guess I'm less willing to trust that the interpretation that makes sense is the one that's intended, but I can see that either you're right or the requirements are unclear, and either of those leads to the same conclusion here.