[clang] [clang][dataflow] Process terminator condition within `transferCFGBlock()`. (PR #77750)

[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 cc21aa1922b3d0c4fde52046d8d16d1048f8064e 732a0b343b24eee4bb5f17e4c2edbe7268aa8955 -- clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp clang/unittests/Analysis/FlowSensitive/LoggerTest.cpp clang/unittests/Analysis/FlowSensitive/TransferTest.cpp
``````````

</details>

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

``````````diff
diff --git a/clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp b/clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
index b2b1acd288..fdb2aeacf0 100644
--- a/clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
+++ b/clang/lib/Analysis/FlowSensitive/TypeErasedDataflowAnalysis.cpp
@@ -488,8 +488,8 @@ transferCFGBlock(const CFGBlock &Block, AnalysisContext &AC,
   // important that we evaluate it here (rather than while processing the
   // terminator) so that we put the corresponding value in the right
   // environment.
-  if (const Expr *TerminatorCond = dyn_cast_or_null<Expr>(
-          Block.getTerminatorCondition())) {
+  if (const Expr *TerminatorCond =
+          dyn_cast_or_null<Expr>(Block.getTerminatorCondition())) {
     if (State.Env.getValue(*TerminatorCond) == nullptr)
       // FIXME: This only runs the builtin transfer, not the analysis-specific
       // transfer. Fixing this isn't trivial, as the analysis-specific transfer

``````````

</details>


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