[clang] [analyzer] Support interestingness in ArrayBoundV2 (PR #78315)

[Balazs Benics via cfe-commits]

================
@@ -350,6 +498,10 @@ void ArrayBoundCheckerV2::performCheck(const Expr *E, CheckerContext &C) const {
 
   auto [Reg, ByteOffset] = *RawOffset;
 
+  // The state updates will be reported as a single note tag, which will be
+  // composed by this helper class.
+  StateUpdateReporter SUR(Reg, ByteOffset, E, C);
----------------
steakhal wrote:

I'd rather pick the name `Scribe`, but that also feels odd. At least it would be funny.

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