[clang] [analyzer] Enhance array bound checking for `ConstantArrayType` (PR #159357)

[Balazs Benics via cfe-commits]

Alejandro =?utf-8?q?Álvarez_Ayllón?Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/159357 at github.com>


steakhal wrote:

> > Should we warn about flax arrays if `-fstrict-flex-arrays` is explicitly specified in the clang flags? https://clang.llvm.org/docs/ClangCommandLineReference.html#cmdoption-clang-fstrict-flex-arrays
> 
> You mean, and replace the option I added to the checker? I suppose it does make sense, if there is already a flag for it.

It makes sense if the checker has an option to override this thus have precedence.

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