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

[Balazs Benics 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>


steakhal wrote:

I'm in favor of this change. I'll pull the patch downstream and report back how it performed.
Coming back to the `&array[size]` example, actually I believe that it's well-formed in C, but UB in C++, but I'm not a language lawyer. @shafik probably knows this better :sweat_smile: 
However, `(array + size)` should be well-formed in both C and C++.

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