https://gcc.gnu.org/bugzilla/show_bug.cgi?id=62245
--- Comment #10 from Joost VandeVondele <Joost.VandeVondele at mat dot ethz.ch>
---
(In reply to Julian Taylor from comment #9)
> thanks, please also clarify/remove the sentence about the sign as the result
> sign is not the sign of the input as indicated by the docs.
it will now include:
The result is undefined if it can not be represented as an @code{INTEGER} of
the given @code{KIND}.
which is explicit.
