Home
last modified time | relevance | path

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

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DExprEngine.cpp2436 for (ExplodedNode *PredN : CheckersOutSet) { in processBranch()
2437 if (PredN->isSink()) in processBranch()
2440 ProgramStateRef PrevState = PredN->getState(); in processBranch()
2443 if (const auto KnownCondValueAssumption = assumeCondition(Condition, PredN)) in processBranch()
2447 builder.generateNode(PrevState, true, PredN); in processBranch()
2448 builder.generateNode(PrevState, false, PredN); in processBranch()
2457 builder.generateNode(StTrue, true, PredN); in processBranch()
2465 builder.generateNode(StFalse, false, PredN); in processBranch()
/llvm-project-15.0.7/llvm/lib/Target/Hexagon/
H A DBitTracker.cpp815 int PredN = PB->getNumber(); in visitPHI() local
819 if (!EdgeExec.count(CFGEdge(PredN, ThisN))) { in visitPHI()