Searched refs:SCFG (Results 1 - 5 of 5) sorted by relevance

/external/clang/include/clang/Analysis/Analyses/
H A DThreadSafetyCommon.h357 til::SCFG *buildCFG(CFGWalker &Walker);
365 const til::SCFG *getCFG() const { return Scfg; }
366 til::SCFG *getCFG() { return Scfg; }
397 // Map from statements in the clang CFG to SExprs in the til::SCFG.
479 til::SCFG *Scfg;
495 // Dump an SCFG to llvm::errs().
H A DThreadSafetyTraverse.h136 // SExprs of variable arity, such as Phi, Goto, and SCFG.
226 R_SExpr reduceSCFG(SCFG &Orig, Container<BasicBlock *> Bbs) {
258 void enterCFG(SCFG &Cfg) {}
259 void exitCFG(SCFG &Cfg) {}
781 void printSCFG(const SCFG *E, StreamType &SS) {
H A DThreadSafetyTIL.h1292 class SCFG;
1515 /// A basic block is part of an SCFG. It can be treated as a function in
1519 /// another basic block in the same SCFG.
1564 const SCFG* cfg() const { return CFGPtr; }
1565 SCFG* cfg() { return CFGPtr; }
1658 friend class SCFG;
1668 SCFG *CFGPtr; // The CFG that contains this block.
1683 /// An SCFG is a control-flow graph. It consists of a set of basic blocks,
1686 class SCFG : public SExpr { class in namespace:clang::threadSafety
1694 SCFG(MemRegionRe function in class:clang::threadSafety::SCFG
1705 SCFG(const SCFG &Cfg, BlockArray &&Ba) // steals memory from Ba function in class:clang::threadSafety::SCFG
[all...]
/external/clang/lib/Analysis/
H A DThreadSafetyTIL.cpp262 void SCFG::renumberInstrs() {
294 void SCFG::computeNormalForm() {
H A DThreadSafetyCommon.cpp78 til::SCFG *SExprBuilder::buildCFG(CFGWalker &Walker) {
817 Scfg = new (Arena) til::SCFG(Arena, NBlocks);
974 til::SCFG *Scfg = SxBuilder.buildCFG(Walker);

Completed in 98 milliseconds