| addArgument(Phi *V) | clang::threadSafety::til::BasicBlock | inline |
| addInstruction(SExpr *V) | clang::threadSafety::til::BasicBlock | inline |
| addPredecessor(BasicBlock *Pred) | clang::threadSafety::til::BasicBlock | |
| arguments() const | clang::threadSafety::til::BasicBlock | inline |
| arguments() | clang::threadSafety::til::BasicBlock | inline |
| BasicBlock(MemRegionRef A) | clang::threadSafety::til::BasicBlock | inlineexplicit |
| BasicBlock(BasicBlock &B, MemRegionRef A, InstrArray &&As, InstrArray &&Is, Terminator *T) | clang::threadSafety::til::BasicBlock | inline |
| block() const | clang::threadSafety::til::SExpr | inline |
| Block | clang::threadSafety::til::SExpr | protected |
| BlockArray typedef | clang::threadSafety::til::BasicBlock | |
| blockID() const | clang::threadSafety::til::BasicBlock | inline |
| cfg() const | clang::threadSafety::til::BasicBlock | inline |
| cfg() | clang::threadSafety::til::BasicBlock | inline |
| classof(const SExpr *E) | clang::threadSafety::til::BasicBlock | inlinestatic |
| compare(const BasicBlock *E, C &Cmp) const | clang::threadSafety::til::BasicBlock | inline |
| Dominates(const BasicBlock &Other) | clang::threadSafety::til::BasicBlock | inline |
| findPredecessorIndex(const BasicBlock *BB) const | clang::threadSafety::til::BasicBlock | inline |
| Flags | clang::threadSafety::til::SExpr | protected |
| id() const | clang::threadSafety::til::SExpr | inline |
| InstrArray typedef | clang::threadSafety::til::BasicBlock | |
| instructions() | clang::threadSafety::til::BasicBlock | inline |
| instructions() const | clang::threadSafety::til::BasicBlock | inline |
| numPredecessors() const | clang::threadSafety::til::BasicBlock | inline |
| numSuccessors() const | clang::threadSafety::til::BasicBlock | inline |
| opcode() const | clang::threadSafety::til::SExpr | inline |
| Opcode | clang::threadSafety::til::SExpr | protected |
| operator delete(void *)=delete | clang::threadSafety::til::SExpr | |
| operator new(size_t S, MemRegionRef &R) | clang::threadSafety::til::SExpr | inline |
| operator new(size_t)=delete | clang::threadSafety::til::SExpr | |
| operator=(const SExpr &)=delete | clang::threadSafety::til::SExpr | protected |
| parent() const | clang::threadSafety::til::BasicBlock | inline |
| parent() | clang::threadSafety::til::BasicBlock | inline |
| PostDominates(const BasicBlock &Other) | clang::threadSafety::til::BasicBlock | inline |
| predecessors() | clang::threadSafety::til::BasicBlock | inline |
| predecessors() const | clang::threadSafety::til::BasicBlock | inline |
| reserveArguments(unsigned Nargs) | clang::threadSafety::til::BasicBlock | inline |
| Reserved | clang::threadSafety::til::SExpr | protected |
| reserveInstructions(unsigned Nins) | clang::threadSafety::til::BasicBlock | inline |
| reservePredecessors(unsigned NumPreds) | clang::threadSafety::til::BasicBlock | |
| SCFG | clang::threadSafety::til::BasicBlock | friend |
| setID(BasicBlock *B, unsigned id) | clang::threadSafety::til::SExpr | inline |
| setTerminator(Terminator *E) | clang::threadSafety::til::BasicBlock | inline |
| SExpr()=delete | clang::threadSafety::til::SExpr | |
| SExpr(TIL_Opcode Op) | clang::threadSafety::til::SExpr | inlineprotected |
| SExpr(const SExpr &E) | clang::threadSafety::til::SExpr | inlineprotected |
| SExprID | clang::threadSafety::til::SExpr | protected |
| successors() | clang::threadSafety::til::BasicBlock | inline |
| successors() const | clang::threadSafety::til::BasicBlock | inline |
| terminator() const | clang::threadSafety::til::BasicBlock | inline |
| terminator() | clang::threadSafety::til::BasicBlock | inline |
| traverse(V &Vs, typename V::R_Ctx Ctx) | clang::threadSafety::til::BasicBlock | inline |
