[clang] [analyzer] Switch to PostStmt callbacks in ArrayBoundV2 (PR #72107)

[via cfe-commits]

=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>,
=?utf-8?q?Donát?= Nagy <donat.nagy at ericsson.com>
Message-ID:
In-Reply-To: <llvm.org/llvm/llvm-project/pull/72107 at github.com>


DonatNagyE wrote:

Note that (if I understand it correctly) after this change the `ArrayBoundV2` check may be triggered at a slightly earlier point of the analysis and this may impact situations where both this checker and other checkers would emit a bug report. (See e.g. https://github.com/llvm/llvm-project/pull/72402#issuecomment-1830100604 where I discuss a concrete candidate for this.)

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