[clang] [analyzer] Improve reports from ArrayBoundCheckerV2 (PR #70056)

[via cfe-commits]

github-actions[bot] wrote:


<!--LLVM CODE FORMAT COMMENT: {clang-format}-->

:warning: C/C++ code formatter, clang-format found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
git-clang-format --diff 6e3e21d2032216b5d01b47a0442638225e66dc1b 77143e74edda6177248bebdf0424db915aa68a05 -- clang/test/Analysis/out-of-bounds-diagnostics.c clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp clang/test/Analysis/out-of-bounds-new.cpp clang/test/Analysis/out-of-bounds.c clang/test/Analysis/taint-diagnostic-visitor.c clang/test/Analysis/taint-generic.c clang/test/Analysis/taint-generic.cpp
``````````

</details>

<details>
<summary>
View the diff from clang-format here.
</summary>

``````````diff
diff --git a/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp b/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
index 7d97f36e4cff..5741243c7c31 100644
--- a/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
+++ b/clang/lib/StaticAnalyzer/Checkers/ArrayBoundCheckerV2.cpp
@@ -287,7 +287,7 @@ static std::string getTaintMsg(std::string RegName) {
 }
 
 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
-                                        const Stmt* LoadS,
+                                        const Stmt *LoadS,
                                         CheckerContext &C) const {
 
   // NOTE: Instead of using ProgramState::assumeInBound(), we are prototyping

``````````

</details>


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