> On 18 Oct 2018, at 15:10, Olivier Hainque <hain...@adacore.com> wrote: > > The only difference there would be wrt to this part > is the use of the macro within called_used_regs[] as well, > part of what we discussed with Kyrill.
Ah, no, call_used[r18] is 1 currently. Will give this some thought ...
