https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90477
--- Comment #3 from Jonny Grant <jg at jguk dot org> --- I understand it is undefined, so can gcc use some gcc documented behaviour? Personally, using a ceiling of INT_MAX sounds best, and maybe a warning note on the output. Better than showing negative numbers. That would need to be documented in gcc manuals.
