-Wunsafe-buffer-usage erroneously warns on array accesses known to be in bounds, but only in function scope #92191
Description
Compiling the following code with -Wunsafe-buffer-usage unexpectedly emits a warning:
constexpr char kAbc[] = "abc"; static_assert(kAbc[3] == '\0'); // OK static_assert("abc"[3] == '\0'); // OK void f() { static_assert(kAbc[3] == '\0'); // OK static_assert("abc"[3] == '\0'); // WARNING } Live repro: https://godbolt.org/z/c6jhdvPTb