https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124174
--- Comment #5 from Richard Earnshaw <rearnsha at gcc dot gnu.org> --- Yeah, this is all about interpretation of the ACLE specification. If Alex's interpretation is correct then GCC is wrong. If my interpretation is correct, then there's no bug here. But I think ACLE could be clearer on this case, so I think we should wait for resolution there.
