NagyDonat wrote: I created an NFC PR (https://github.com/llvm/llvm-project/pull/178678) that "prepares the ground" for a change that would trigger `BranchCondition` checkers for `switch` statements as well. https://github.com/llvm/llvm-project/pull/175602