https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116449
--- Comment #4 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to Franz Sirl from comment #3) > Isn't the missing bounds check on parr[c] on purpose? It's added with > -fsanitize=bounds-strict. You might be right, I misread the original qnd gimple dump. But I suspect there is still a missing bounds check in some cases.