695     CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlockID];  in traverseCFG()  local
714         CurrBlockInfo->EntryContext = PrevBlockInfo->ExitContext;  in traverseCFG()
718         CurrBlockInfo->EntryContext =  in traverseCFG()
719           intersectContexts(CurrBlockInfo->EntryContext,  in traverseCFG()
727       CurrBlockInfo->EntryContext =  in traverseCFG()
728         createReferenceContext(CurrBlockInfo->EntryContext);  in traverseCFG()
731     saveContext(nullptr, CurrBlockInfo->EntryContext);  in traverseCFG()
732     CurrBlockInfo->EntryIndex = getContextIndex();  in traverseCFG()
735     VarMapBuilder VMapBuilder(this, CurrBlockInfo->EntryContext);  in traverseCFG()
748     CurrBlockInfo->ExitContext = VMapBuilder.Ctx;  in traverseCFG()
759       Context LoopEnd   = CurrBlockInfo->ExitContext;  in traverseCFG()
775     CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlock->getBlockID()];  in findBlockLocations()  local
780       CurrBlockInfo->EntryLoc = CurrBlockInfo->ExitLoc = S->getLocStart();  in findBlockLocations()
786           CurrBlockInfo->ExitLoc = CS->getStmt()->getLocStart();  in findBlockLocations()
792     if (CurrBlockInfo->ExitLoc.isValid()) {  in findBlockLocations()
799           CurrBlockInfo->EntryLoc = CS->getStmt()->getLocStart();  in findBlockLocations()
807       CurrBlockInfo->EntryLoc = CurrBlockInfo->ExitLoc =  in findBlockLocations()
2197     CFGBlockInfo *CurrBlockInfo = &BlockInfo[CurrBlockID];  in runAnalysis()  local
2232       CurrBlockInfo->Reachable = true;  in runAnalysis()
2249         CurrBlockInfo->EntrySet = PrevLockset;  in runAnalysis()
2252         intersectAndWarn(CurrBlockInfo->EntrySet, PrevLockset,  in runAnalysis()
2253                          CurrBlockInfo->EntryLoc,  in runAnalysis()
2259     if (!CurrBlockInfo->Reachable)  in runAnalysis()
2269         CurrBlockInfo->EntrySet = PrevBlockInfo->ExitSet;  in runAnalysis()
2285         intersectAndWarn(CurrBlockInfo->EntrySet, PrevLockset,  in runAnalysis()
2293     BuildLockset LocksetBuilder(this, *CurrBlockInfo);  in runAnalysis()
2323     CurrBlockInfo->ExitSet = LocksetBuilder.FSet;  in runAnalysis()