Lines Matching refs:CurrStates
1265 new ConsumedStateMap(*CurrStates)); in splitState()
1278 CurrStates->setSource(Cond); in splitState()
1280 splitVarStateForIf(IfNode, PInfo.getVarTest(), CurrStates.get(), in splitState()
1284 CurrStates->setSource(PInfo.testSourceNode()); in splitState()
1286 splitVarStateForIfBinOp(PInfo, CurrStates.get(), FalseStates.get()); in splitState()
1308 CurrStates->setSource(BinOp); in splitState()
1312 ConsumedState VarState = CurrStates->getState(Test.Var); in splitState()
1316 CurrStates->setState(Test.Var, Test.TestsFor); in splitState()
1318 CurrStates->markUnreachable(); in splitState()
1335 BlockInfo.addInfo(*SI, std::move(CurrStates)); in splitState()
1337 CurrStates = nullptr; in splitState()
1361 CurrStates = llvm::make_unique<ConsumedStateMap>(); in run()
1362 ConsumedStmtVisitor Visitor(AC, *this, CurrStates.get()); in run()
1370 if (!CurrStates) in run()
1371 CurrStates = BlockInfo.getInfo(CurrBlock); in run()
1373 if (!CurrStates) { in run()
1376 } else if (!CurrStates->isReachable()) { in run()
1377 CurrStates = nullptr; in run()
1381 Visitor.reset(CurrStates.get()); in run()
1397 CurrStates->remove(BTE); in run()
1420 CurrStates->setSource(nullptr); in run()
1426 auto *RawState = CurrStates.get(); in run()
1440 BlockInfo.addInfo(*SI, RawState, CurrStates); in run()
1444 CurrStates = nullptr; in run()
1450 CurrStates->checkParamsForReturnTypestate(D->getLocation(), in run()
1455 CurrStates = nullptr; in run()