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)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1348

Parameters

clang::threadSafety::til::TIL_Opcode Op

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)

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1352

Parameters

const clang::threadSafety::til::SExpr* E

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

Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1359