[clang] [Clang] Correct handling of negative and out-of-bounds indices (PR #71877)

[Kees Cook via cfe-commits]

kees wrote:

Yeah, this is the "compiler doesn't know if pointer points into an array of structs or not" that has driven me crazy for years. But we can now reliably disambiguate this for structs that end with a flexible array member (or future pointers marked with `__single`). It's been a long time frustration with FORTIFY coverage. :P

https://github.com/llvm/llvm-project/pull/71877