[clang] [NFC][analyzer] Do not spell out unreachable statement kinds in `shouldJustCallCheckers` (PR #223473)
DonĂ¡t Nagy via cfe-commits
cfe-commits at lists.llvm.org
Mon Sep 14 10:50:21 PDT 2026
https://github.com/NagyDonat approved this pull request.
LGTM.
The removed code is all dead code, and `llvm_unreachable` calls in `ExprEngine::Visit` validate that it is dead.
This is also the more future-proof behavior for the unlikely case that some of these statement kinds get a "real" handler in `ExprEngine::Visit` (e.g. somebody implements modeling for some matrix operator): it that case that statement kind should also get `PreStmt` / `PostStmt` callbacks.
https://github.com/llvm/llvm-project/pull/223473
More information about the cfe-commits
mailing list