https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70737
--- Comment #1 from Andrea Griffini <agriff at tin dot it> --- Forgot to mention that this a stripped-down version of a problem we had in production code where indeed the result was an un-initialized value (resulting in a random huge number).
