Lines Matching refs:CurrBlockInfo
743 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlockID]; in traverseCFG() local
762 CurrBlockInfo->EntryContext = PrevBlockInfo->ExitContext; in traverseCFG()
766 CurrBlockInfo->EntryContext = in traverseCFG()
767 intersectContexts(CurrBlockInfo->EntryContext, in traverseCFG()
775 CurrBlockInfo->EntryContext = in traverseCFG()
776 createReferenceContext(CurrBlockInfo->EntryContext); in traverseCFG()
779 saveContext(nullptr, CurrBlockInfo->EntryContext); in traverseCFG()
780 CurrBlockInfo->EntryIndex = getContextIndex(); in traverseCFG()
783 VarMapBuilder VMapBuilder(this, CurrBlockInfo->EntryContext); in traverseCFG()
795 CurrBlockInfo->ExitContext = VMapBuilder.Ctx; in traverseCFG()
806 Context LoopEnd = CurrBlockInfo->ExitContext; in traverseCFG()
822 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()]; in findBlockLocations() local
827 CurrBlockInfo->EntryLoc = CurrBlockInfo->ExitLoc = S->getBeginLoc(); in findBlockLocations()
833 CurrBlockInfo->ExitLoc = CS->getStmt()->getBeginLoc(); in findBlockLocations()
839 if (CurrBlockInfo->ExitLoc.isValid()) { in findBlockLocations()
845 CurrBlockInfo->EntryLoc = CS->getStmt()->getBeginLoc(); in findBlockLocations()
853 CurrBlockInfo->EntryLoc = CurrBlockInfo->ExitLoc = in findBlockLocations()
858 CurrBlockInfo->EntryLoc = CurrBlockInfo->ExitLoc = in findBlockLocations()
2591 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlockID]; in runAnalysis() local
2624 CurrBlockInfo->Reachable = true; in runAnalysis()
2630 CurrBlockInfo->EntrySet = PrevLockset; in runAnalysis()
2637 CurrBlockInfo->EntrySet, PrevLockset, CurrBlockInfo->EntryLoc, in runAnalysis()
2645 if (!CurrBlockInfo->Reachable) in runAnalysis()
2648 BuildLockset LocksetBuilder(this, *CurrBlockInfo, ExpectedFunctionExitSet); in runAnalysis()
2700 CurrBlockInfo->ExitSet = LocksetBuilder.FSet; in runAnalysis()