Home
last modified time | relevance | path

Searched refs:NullCondBldr (Results 1 – 1 of 1) sorted by relevance

/external/clang/lib/StaticAnalyzer/Core/
DExprEngine.cpp1576 BranchNodeBuilder NullCondBldr(Pred, Dst, BldCtx, DstT, DstF); in processBranch() local
1577 NullCondBldr.markInfeasible(false); in processBranch()
1578 NullCondBldr.generateNode(Pred->getState(), true, Pred); in processBranch()