class Load

Declaration

class Load : public SExpr { /* full declaration omitted */ };

Description

Load a value from memory.

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

Inherits from: SExpr

Member Variables

private clang::threadSafety::til::SExpr* Ptr

Inherited from SExpr:

protected Opcode

protected Reserved = 0

protected Flags = 0

protected SExprID = 0

protected Block = nullptr

Method Overview

• public Load(clang::threadSafety::til::SExpr * P)
• public Load(const clang::threadSafety::til::Load & L, clang::threadSafety::til::SExpr * P)
• public static bool classof(const clang::threadSafety::til::SExpr * E)
• public template <class C>typename C::CType compare(const clang::threadSafety::til::Load * E, C & Cmp) const
• public clang::threadSafety::til::SExpr * pointer()
• public const clang::threadSafety::til::SExpr * pointer() const
• public template <class V>typename V::R_SExpr traverse(V & Vs, typename V::R_Ctx Ctx)

Inherited from SExpr:

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

Methods

¶Load(clang::threadSafety::til::SExpr* P)

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

Parameters

clang::threadSafety::til::SExpr* P

¶Load(const clang::threadSafety::til::Load& L,
     clang::threadSafety::til::SExpr* P)

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

Parameters

const clang::threadSafety::til::Load& L

clang::threadSafety::til::SExpr* P

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

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

Parameters

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

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

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

Templates

C

Parameters

const clang::threadSafety::til::Load* E

C& Cmp

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

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

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

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

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

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx