[clang] [Wunsafe-buffer-usage] Address some false positives in handling array indices that are decidably correct (PR #117370)

Reid Kleckner via cfe-commits cfe-commits at lists.llvm.org
Wed Nov 27 10:15:52 PST 2024


================
@@ -463,6 +471,13 @@ AST_MATCHER(ArraySubscriptExpr, isSafeArraySubscript) {
       return true;
----------------
rnk wrote:

I think getting the integer constant expr is more general, we can remove the IntegerLiteral test here, and if all tests pass, I would consider it functionally equivalent. This code seems like it was tested to a reasonably high standard.

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


More information about the cfe-commits mailing list