NagyDonat wrote: > I will also probably create a small functional change before this "second > attempt" patch to ensure that the "assuming in bounds" path notes and "out of > bounds access" warnings use the same element type in the diagnostics. (It has > a very minor positive impact on the user experience + lets me eliminate > `getAsCleanArraySubscriptExpr`.)
It turns out that this situation is not so simple, so I'll start with the NFC cleanup of `ArrayBoundChecker.cpp` and improve the "assuming in bounds" notes afterwards. https://github.com/llvm/llvm-project/pull/202372 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
