[clang] [NFC][analyzer] Eliminate SwitchNodeBuilder (PR #188096)

Donát Nagy via cfe-commits cfe-commits at lists.llvm.org
Thu Apr 2 04:52:22 PDT 2026


NagyDonat wrote:

Ok, I started a test run, although I'm very skeptical about its chances of finding anything relevant. (It wouldn't have found the logic issue I fixed because currently there is no checker that splits the state in a `BranchCondition` callback. In general, I suspect that the analyzer codebase is full of incorrect logic in unusual cases – e.g. posteriorly overconstrained states, block location contexts, tricky ObjC features, the infamous node reclamation etc.)

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


More information about the cfe-commits mailing list