Home
last modified time | relevance | path

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

/freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp2252 for (ExplodedNode *PredN : CheckersOutSet) { in processBranch()
2253 if (PredN->isSink()) in processBranch()
2256 ProgramStateRef PrevState = PredN->getState(); in processBranch()
2259 if (const auto KnownCondValueAssumption = assumeCondition(Condition, PredN)) in processBranch()
2263 builder.generateNode(PrevState, true, PredN); in processBranch()
2264 builder.generateNode(PrevState, false, PredN); in processBranch()
2273 builder.generateNode(StTrue, true, PredN); in processBranch()
2281 builder.generateNode(StFalse, false, PredN); in processBranch()
/freebsd-13.1/contrib/llvm-project/llvm/lib/Target/Hexagon/
H A DBitTracker.cpp815 int PredN = PB->getNumber(); in visitPHI() local
819 if (!EdgeExec.count(CFGEdge(PredN, ThisN))) { in visitPHI()