[PATCH] D159106: [analyzer] ArrayBoundCheckerV2 should listen to check::Bind as well

Balázs Benics via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Aug 30 02:34:53 PDT 2023


steakhal added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp:46
 
+  void impl(SVal Loc, bool isLoad, const Stmt *S, CheckerContext &C) const;
+
----------------
donat.nagy wrote:
> I'd call this function `performCheck` or something similar, but "`impl`" is also fine especially if it's a traditional name (that I haven't encountered yet in clang SA code).
Yes, I'll rename it. I was already thinking about it.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D159106/new/

https://reviews.llvm.org/D159106



More information about the cfe-commits mailing list