https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109269
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Resolution|INVALID |--- Status|RESOLVED |UNCONFIRMED --- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- But that would be undefined code still. If num was INT_MAX-3 in the int case, it might be valid. I have to think further on that. But that is a corner case where you would have an array which is huge.