> On 29 Apr 2016, at 12:42, Olivier Hainque <hainque@adacore.com> wrote: > > I'll discuss with the compiler-rt folks. The change just went in upstream. http://reviews.llvm.org/D19799. Olivier