class Return

Declaration

class Return : public Terminator { /* full declaration omitted */ };

Description

Return from the enclosing function, passing the return value to the caller. Only the exit block should end with a return statement.

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

Inherits from: Terminator

Member Variables

private clang::threadSafety::til::SExpr* Retval

Inherited from SExpr:

protected Opcode

protected Reserved = 0

protected Flags = 0

protected SExprID = 0

protected Block = nullptr

Method Overview

• public Return(clang::threadSafety::til::SExpr * Rval)
• public Return(const clang::threadSafety::til::Return & R, clang::threadSafety::til::SExpr * Rval)
• public static bool classof(const clang::threadSafety::til::SExpr * E)
• public template <class C>typename C::CType compare(const clang::threadSafety::til::Return * E, C & Cmp) const
• public clang::threadSafety::til::SExpr * returnValue()
• public const clang::threadSafety::til::SExpr * returnValue() const
• public ArrayRef<clang::threadSafety::til::BasicBlock *> successors()
• public template <class V>typename V::R_SExpr traverse(V & Vs, typename V::R_Ctx Ctx)

Inherited from Terminator:

• public classof
• public successors
• public successors

Inherited from SExpr:

• public block
• public id
• public opcode
• public setID

Methods

¶Return(clang::threadSafety::til::SExpr* Rval)

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

Parameters

clang::threadSafety::til::SExpr* Rval

¶Return(const clang::threadSafety::til::Return& R,
       clang::threadSafety::til::SExpr* Rval)

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

Parameters

const clang::threadSafety::til::Return& R

clang::threadSafety::til::SExpr* Rval

¶static bool classof(
    const clang::threadSafety::til::SExpr* E)

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

Parameters

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

¶template <class C>
typename C::CType compare(
    const clang::threadSafety::til::Return* E,
    C& Cmp) const

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

Templates

C

Parameters

const clang::threadSafety::til::Return* E

C& Cmp

¶clang::threadSafety::til::SExpr* returnValue()

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

¶const clang::threadSafety::til::SExpr*
returnValue() const

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

¶ArrayRef<clang::threadSafety::til::BasicBlock*>
successors()

Description

Return an empty list.

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

¶template <class V>
typename V::R_SExpr traverse(
    V& Vs,
    typename V::R_Ctx Ctx)

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx