[Bug c/82296] Warn for code removal due to "code never accesses array out of bounds" assumption

[tkoenig at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82296

--- Comment #5 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
Also see

https://www.securecoding.cert.org/confluence/display/c/ARR30-C.+Do+not+form+or+use+out-of-bounds+pointers+or+array+subscripts