[NFC][analyzer] Cleanup checker calls in `ExprEngine::ProcessStmt`, `ExprEngine::Visit*` - #218691

Open

tigbr wants to merge 31 commits into

llvm:mainfrom

tigbr:csa-refactor-process-stmt2

Commits on Aug 24, 2026

Introduce refactored algorithmic scheme in `ExprEngine::ProcessStmt`
tigbr
committed
cd8de4a

Commits on Aug 25, 2026

`ExprEngine::VisitCXXBindTemporaryExpr`
tigbr
committed
9477afa
`ExprEngine::VisitStmtExpr`
tigbr
committed
c24938e
`ExprEngine::OffsetOfExpr`
tigbr
committed
6695599
`ExprEngine::VisitUnaryOperator`
tigbr
committed
19d7f0c
`ExprEngine::VisitPseudoObjectExpr`
tigbr
committed
f26640f
`ExprEngine::VisitObjCIndirectCopyRestoreClass`
tigbr
committed
4876853
`ExprEngine::VisitMaterializeTemporaryExpr`
tigbr
committed
ab222e4
`ExprEngine::VisitCXXParenListInitExpr`
tigbr
committed
6db5fb6
`ExprEngine::VisitCastExpr`
tigbr
committed
da0c6f9
`ExprEngine::VisitCXXNewExpr`
tigbr
committed
17716d6
`ExprEngine::VisitLambdaExpr`
tigbr
committed
1db773a
`ExprEngine::VisitGCCAsmStmt`
tigbr
committed
5717201
`ExprEngine::VisitUnaryExprOrTypeTraitExpr`
tigbr
committed
7b68df1
`ExprEngine::VisitReturnStmt`
tigbr
committed
d6a329e
`ExprEngine::VisitAtomicExpr`
tigbr
committed
1fea98f
`ExprEngine::VisitMemberExpr`
tigbr
committed
a543f02
`ExprEngine::VisitBlockExpr`
tigbr
committed
eddd694
`ExprEngine::VisitArraySubscriptExpr`
tigbr
committed
b5ff694
`ExprEngine::VisitAttributedStmt`
tigbr
committed
a5be3d4
`ExprEngine::VisitArrayInitLoopExpr`
tigbr
committed
01b503f
Refactor cases that are unsupported or that do not have to be explicitly evaluated
tigbr
committed
75032f1
`Stmt::CXXDefaultArgExprClass`, `Stmt::CXXDefaultInitExprClass`
tigbr
committed
9ebb3b4
`Stmt::CXXStdInitializerListExprClass`, `Expr::ObjCArrayLiteralClass`,
tigbr
committed
a6d1729
`ExprEngine::VisitLvalObjCIvarRefExpr`
tigbr
committed
4542665
`ExprEngine::VisitObjCForCollectionStmt`
tigbr
committed
40570db
`ExprEngine::VisitObjCAtSynchronizedStmt`
tigbr
committed
db5a009
Merge functions `justRunCheckersAsPreVisit` and `justRunCheckersAsPostVisit`
tigbr
committed
c602cc0
Handle new statement kinds after rebase.
tigbr
committed
9da48e9
`ExprEngine::VisitCXXDeleteExpr`
tigbr
committed
915e362
Fix formatting.
tigbr
committed
89b9472

Navigation Menu

Uh oh!

[NFC][analyzer] Cleanup checker calls in `ExprEngine::ProcessStmt`, `ExprEngine::Visit*` - #218691

[NFC][analyzer] Cleanup checker calls in `ExprEngine::ProcessStmt`, `ExprEngine::Visit*`#218691
tigbr wants to merge 31 commits into
llvm:mainfrom
tigbr:csa-refactor-process-stmt2

Commits on Aug 24, 2026

Introduce refactored algorithmic scheme in `ExprEngine::ProcessStmt`

Commits on Aug 25, 2026

`ExprEngine::VisitCXXBindTemporaryExpr`

`ExprEngine::VisitStmtExpr`

`ExprEngine::OffsetOfExpr`

`ExprEngine::VisitUnaryOperator`

`ExprEngine::VisitPseudoObjectExpr`

`ExprEngine::VisitObjCIndirectCopyRestoreClass`

`ExprEngine::VisitMaterializeTemporaryExpr`

`ExprEngine::VisitCXXParenListInitExpr`

`ExprEngine::VisitCastExpr`

`ExprEngine::VisitCXXNewExpr`

`ExprEngine::VisitLambdaExpr`

`ExprEngine::VisitGCCAsmStmt`

`ExprEngine::VisitUnaryExprOrTypeTraitExpr`

`ExprEngine::VisitReturnStmt`

`ExprEngine::VisitAtomicExpr`

`ExprEngine::VisitMemberExpr`

`ExprEngine::VisitBlockExpr`

`ExprEngine::VisitArraySubscriptExpr`

`ExprEngine::VisitAttributedStmt`

`ExprEngine::VisitArrayInitLoopExpr`

Refactor cases that are unsupported or that do not have to be explicitly evaluated

`Stmt::CXXDefaultArgExprClass`, `Stmt::CXXDefaultInitExprClass`

`Stmt::CXXStdInitializerListExprClass`, `Expr::ObjCArrayLiteralClass`,

`ExprEngine::VisitLvalObjCIvarRefExpr`

`ExprEngine::VisitObjCForCollectionStmt`

`ExprEngine::VisitObjCAtSynchronizedStmt`

Merge functions `justRunCheckersAsPreVisit` and `justRunCheckersAsPostVisit`

Handle new statement kinds after rebase.

`ExprEngine::VisitCXXDeleteExpr`

Fix formatting.