[PATCH] D150446: [analyzer] Check ArraySubscriptExprs in ArrayBoundCheckerV2

Balázs Benics via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Jun 8 01:24:43 PDT 2023


steakhal added a comment.

Okay. I think we are aligned. I'm still uncomfortable sacrificing reports for fast pace development. IMO if that is the goal, then a brand new alpha checker is the way forward.
You can be sure that no external users depend on it as its brand new. Unlike with this V2 checker.
If everything goes well, after a careful evaluation we could drop V1 and V2 in favor of V3.
However, if let's say in a year that goal is not reached, we should probably do some cleanup regardless, so we not make the situation worse by having 3 unfinished alpha oob checkers. That would be a shame.

WDYT about a new checker?


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D150446



More information about the cfe-commits mailing list