[clang] [analyzer] Add BranchCondition callback to 'switch' (PR #182058)

[Donát Nagy via cfe-commits]

================
@@ -2872,9 +2872,6 @@ void ExprEngine::processBranch(
 
   BranchNodeBuilder Builder(Dst, BldCtx, DstT, DstF);
   for (ExplodedNode *PredN : CheckersOutSet) {
-    if (PredN->isSink())
-      continue;
----------------
NagyDonat wrote:

While I was composing this commit, I realized that this `if` is dead code, so I decided to remove it. This is not related to the rest of this PR.

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