class SExpr

Declaration

class SExpr { /* full declaration omitted */ };

Description

Base class for AST nodes in the typed intermediate language.

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

Member Variables

protected const clang::threadSafety::til::TIL_Opcode Opcode

protected unsigned char Reserved = 0

protected unsigned short Flags = 0

protected unsigned int SExprID = 0

protected clang::threadSafety::til::BasicBlock* Block = nullptr

Method Overview

• public SExpr()
• protected SExpr(clang::threadSafety::til::TIL_Opcode Op)
• protected SExpr(const clang::threadSafety::til::SExpr & E)
• public clang::threadSafety::til::BasicBlock * block() const
• public unsigned int id() const
• public clang::threadSafety::til::TIL_Opcode opcode() const
• public void setID(clang::threadSafety::til::BasicBlock * B, unsigned int id)

Methods

¶SExpr()

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

¶SExpr(clang::threadSafety::til::TIL_Opcode Op)

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

Parameters

clang::threadSafety::til::TIL_Opcode Op

¶SExpr(const clang::threadSafety::til::SExpr& E)

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

Parameters

const clang::threadSafety::til::SExpr& E

¶clang::threadSafety::til::BasicBlock* block()
    const

Description

Returns the block, if this is an instruction in a basic block, otherwise returns null.

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

¶unsigned int id() const

Description

Returns the instruction ID for this expression. All basic block instructions have a unique ID (i.e. virtual register).

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

¶clang::threadSafety::til::TIL_Opcode opcode()
    const

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

¶void setID(
    clang::threadSafety::til::BasicBlock* B,
    unsigned int id)

Description

Set the basic block and instruction ID for this expression.

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

Parameters

clang::threadSafety::til::BasicBlock* B

unsigned int id