153     const CFGBlock *Block;  member
211           JOS->attribute("block", blockID(E.Block->getBlockID()));  in endAnalysis()
240   static std::string blockID(unsigned Block) {  in blockID()  argument
241     return llvm::formatv("B{0}", Block);  in blockID()
243   static std::string eltID(unsigned Block, unsigned Element) {  in eltID()  argument
244     return llvm::formatv("B{0}.{1}", Block, Element);  in eltID()
246   static std::string iterID(unsigned Block, unsigned Iter) {  in iterID()  argument
247     return llvm::formatv("B{0}:{1}", Block, Iter);  in iterID()
249   static std::string elementIterID(unsigned Block, unsigned Iter,  in elementIterID()  argument
251     return llvm::formatv("B{0}:{1}_B{0}.{2}", Block, Iter, Element);  in elementIterID()
261     unsigned Block = Iters.back().Block->getBlockID();  in recordState()  local
264     JOS->attributeObject(elementIterID(Block, Iter, ElementIndex), [&] {  in recordState()
265       JOS->attribute("block", blockID(Block));  in recordState()
273             Iters.back().Block->Elements[ElementIndex - 1].getAs<CFGStmt>();  in recordState()
411     for (const auto *Block : CFG->getCFG()) {  in writeCode()  local
413       for (const auto& Elt : *Block) {  in writeCode()
431             State[Off + I].assign(Block->getBlockID(), EltIndex, Len);  in writeCode()
491     for (const auto *Block : CFG) {  in buildCFGDot()  local
492       for (const auto &Succ : Block->succs()) {  in buildCFGDot()
494           GraphS << "  " << blockID(Block->getBlockID()) << " -> "  in buildCFGDot()