Lines Matching defs:CurrBlockInfo
738 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlockID];
757 CurrBlockInfo->EntryContext = PrevBlockInfo->ExitContext;
761 CurrBlockInfo->EntryContext =
762 intersectContexts(CurrBlockInfo->EntryContext,
770 CurrBlockInfo->EntryContext =
771 createReferenceContext(CurrBlockInfo->EntryContext);
774 saveContext(nullptr, CurrBlockInfo->EntryContext);
775 CurrBlockInfo->EntryIndex = getContextIndex();
778 VarMapBuilder VMapBuilder(this, CurrBlockInfo->EntryContext);
790 CurrBlockInfo->ExitContext = VMapBuilder.Ctx;
801 Context LoopEnd = CurrBlockInfo->ExitContext;
817 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()];
822 CurrBlockInfo->EntryLoc = CurrBlockInfo->ExitLoc = S->getBeginLoc();
828 CurrBlockInfo->ExitLoc = CS->getStmt()->getBeginLoc();
834 if (CurrBlockInfo->ExitLoc.isValid()) {
840 CurrBlockInfo->EntryLoc = CS->getStmt()->getBeginLoc();
848 CurrBlockInfo->EntryLoc = CurrBlockInfo->ExitLoc =
853 CurrBlockInfo->EntryLoc = CurrBlockInfo->ExitLoc =
2555 CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlockID];
2588 CurrBlockInfo->Reachable = true;
2594 CurrBlockInfo->EntrySet = PrevLockset;
2601 CurrBlockInfo->EntrySet, PrevLockset, CurrBlockInfo->EntryLoc,
2609 if (!CurrBlockInfo->Reachable)
2612 BuildLockset LocksetBuilder(this, *CurrBlockInfo, ExpectedFunctionExitSet);
2664 CurrBlockInfo->ExitSet = LocksetBuilder.FSet;