class Store

Declaration

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

Description

Store a value to memory. The destination is a pointer to a field, the source is the value to store.

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

Inherits from: SExpr

Member Variables

private clang::threadSafety::til::SExpr* Dest

private clang::threadSafety::til::SExpr* Source

Inherited from SExpr:

protected Opcode

protected Reserved = 0

protected Flags = 0

protected SExprID = 0

protected Block = nullptr

Method Overview

• public Store(clang::threadSafety::til::SExpr * P, clang::threadSafety::til::SExpr * V)
• public Store(const clang::threadSafety::til::Store & S, clang::threadSafety::til::SExpr * P, clang::threadSafety::til::SExpr * V)
• public static bool classof(const clang::threadSafety::til::SExpr * E)
• public template <class C>typename C::CType compare(const clang::threadSafety::til::Store * E, C & Cmp) const
• public clang::threadSafety::til::SExpr * destination()
• public const clang::threadSafety::til::SExpr * destination() const
• public clang::threadSafety::til::SExpr * source()
• public const clang::threadSafety::til::SExpr * source() 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

¶Store(clang::threadSafety::til::SExpr* P,
      clang::threadSafety::til::SExpr* V)

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

Parameters

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

clang::threadSafety::til::SExpr* V

¶Store(const clang::threadSafety::til::Store& S,
      clang::threadSafety::til::SExpr* P,
      clang::threadSafety::til::SExpr* V)

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

Parameters

const clang::threadSafety::til::Store& S

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

clang::threadSafety::til::SExpr* V

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

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

Parameters

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

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

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

Templates

C

Parameters

const clang::threadSafety::til::Store* E

C& Cmp

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

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

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

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

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

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

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

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

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

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx