https://gcc.gnu.org/bugzilla/show_bug.cgi?id=24542
--- Comment #15 from Niklas Hambüchen <mail+gcc at nh2 dot me> --- Another common integer overflow bug type is the "for (u32 i = 0; i < u64; ++i)" pattern, as well as general widening comparisons. I filed bug 110933 for those; just linking it here for people interested in integer overflows.