Andrea Corallo via Gcc-patches <gcc-patches@gcc.gnu.org> writes: > Richard Sandiford <richard.sandif...@arm.com> writes:
[...] >> OK with that change if it works (for trunk and for whichever >> branches need it). >> >> Thanks, >> Richard > > Hi Richard, > > I've applied the suggestions and have now installed it into master as > 8eb8dcac6ed. I'll follow up with the backports. > > Thanks! > > Andrea Hi all, applied to releases/gcc-10 as b768eef488a. Andrea