https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99418
--- Comment #7 from Ivan Sorokin <vanyacpp at gmail dot com> --- (In reply to Martin Liška from comment #3) > That said, can we close it as resolved? I'm sorry for not being clear from the beginning. The original report was about -fsanitize=bounds sanitizer which sometimes allows accessing one past the end element. Now after #c4 I see that language rules make it excessively complicated for compiler to do this. I believe that one past the end is important error to check for, but I understand why compilers might choose to avoid doing it. Feel free to close the issue if implementing it is infeasible.
