[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