https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118466
--- Comment #4 from Sam James <sjames at gcc dot gnu.org> --- (In reply to Eric Gallager from comment #3) > Removing bounds checking seems like a dangerous idea in general... We do that in plenty of cases. It's provably false here. If anything, optimising bound checks better makes things safer as it means people aren't afraid to add checks knowing the compiler will optimise them out when they are redundant.
