class Terminator
Declaration
class Terminator : public SExpr { /* full declaration omitted */ };
Description
Base class for basic block terminators: Branch, Goto, and Return.
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1346
Inherits from: SExpr
Member Variables
Inherited from SExpr:
- protected Opcode
- protected Reserved = 0
- protected Flags = 0
- protected SExprID = 0
- protected Block = nullptr
Method Overview
- protected Terminator(clang::threadSafety::til::TIL_Opcode Op)
- protected Terminator(const clang::threadSafety::til::SExpr & E)
- public static bool classof(const clang::threadSafety::til::SExpr * E)
- public ArrayRef<clang::threadSafety::til::BasicBlock *> successors()
- public ArrayRef<clang::threadSafety::til::BasicBlock *> successors() const
Inherited from SExpr:
Methods
¶Terminator(
clang::threadSafety::til::TIL_Opcode Op)
Terminator(
clang::threadSafety::til::TIL_Opcode Op)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1348
Parameters
- clang::threadSafety::til::TIL_Opcode Op
¶Terminator(
const clang::threadSafety::til::SExpr& E)
Terminator(
const clang::threadSafety::til::SExpr& E)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1349
Parameters
- const clang::threadSafety::til::SExpr& E
¶static bool classof(
const clang::threadSafety::til::SExpr* E)
static bool classof(
const clang::threadSafety::til::SExpr* E)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1352
Parameters
- const clang::threadSafety::til::SExpr* E
¶ArrayRef<clang::threadSafety::til::BasicBlock*>
successors()
ArrayRef<clang::threadSafety::til::BasicBlock*>
successors()
Description
Return the list of basic blocks that this terminator can branch to.
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1357
¶ArrayRef<clang::threadSafety::til::BasicBlock*>
successors() const
ArrayRef<clang::threadSafety::til::BasicBlock*>
successors() const
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1359