https://gcc.gnu.org/bugzilla/show_bug.cgi?id=101466
--- Comment #1 from cqwrteur <unlvsur at live dot com> --- Created attachment 51158 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=51158&action=edit this is the assembly generated from --disable-libstdcxx-verbose The bounds checking is still not folding together, even with this naive case.
