On 18/10/17 11:12, Segher Boessenkool wrote: > On Tue, Oct 17, 2017 at 03:12:32AM -0500, Segher Boessenkool wrote: >> Please open a PR! > > Fine, I'll do it myself. This is PR82602 now. > > > Segher > Thank you. I was still not entirely sure that this was a bug, and not an intentional (but surprising) design decision. But you are the expert here, and certainly I will be happy to see the behaviour here changed. I made a comment linking back to the gnu arm embedded issue, and I will pass on the PR reference and your patch to them. David.
