Searched defs:BldCtx (Results 1 – 1 of 1) sorted by relevance
1642 NodeBuilderContext &BldCtx, in processCleanupTemporaryBranch()2619 void ExprEngine::runCheckersForBlockEntrance(const NodeBuilderContext &BldCtx, in runCheckersForBlockEntrance()2814 const Stmt *Condition, NodeBuilderContext &BldCtx, ExplodedNode *Pred, in processBranch()