class Alloc
Declaration
class Alloc : public SExpr { /* full declaration omitted */ };
Description
Allocate memory for a new value on the heap or stack.
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:995
Inherits from: SExpr
Member Variables
- private clang::threadSafety::til::SExpr* Dtype
Inherited from SExpr:
- protected Opcode
- protected Reserved = 0
- protected Flags = 0
- protected SExprID = 0
- protected Block = nullptr
Method Overview
- public Alloc(clang::threadSafety::til::SExpr * D, clang::threadSafety::til::Alloc::AllocKind K)
- public Alloc(const clang::threadSafety::til::Alloc & A, clang::threadSafety::til::SExpr * Dt)
- public static bool classof(const clang::threadSafety::til::SExpr * E)
- public template <class C>typename C::CType compare(const clang::threadSafety::til::Alloc * E, C & Cmp) const
- public clang::threadSafety::til::SExpr * dataType()
- public const clang::threadSafety::til::SExpr * dataType() const
- public clang::threadSafety::til::Alloc::AllocKind kind() const
- public template <class V>typename V::R_SExpr traverse(V & Vs, typename V::R_Ctx Ctx)
Inherited from SExpr:
Methods
¶Alloc(
clang::threadSafety::til::SExpr* D,
clang::threadSafety::til::Alloc::AllocKind K)
Alloc(
clang::threadSafety::til::SExpr* D,
clang::threadSafety::til::Alloc::AllocKind K)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1002
Parameters
- clang::threadSafety::til::SExpr* D
- clang::threadSafety::til::Alloc::AllocKind K
¶Alloc(const clang::threadSafety::til::Alloc& A,
clang::threadSafety::til::SExpr* Dt)
Alloc(const clang::threadSafety::til::Alloc& A,
clang::threadSafety::til::SExpr* Dt)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1003
Parameters
¶static bool classof(
const clang::threadSafety::til::SExpr* E)
static bool classof(
const clang::threadSafety::til::SExpr* E)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1005
Parameters
- const clang::threadSafety::til::SExpr* E
¶template <class C>
typename C::CType compare(
const clang::threadSafety::til::Alloc* E,
C& Cmp) const
template <class C>
typename C::CType compare(
const clang::threadSafety::til::Alloc* E,
C& Cmp) const
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1019
Templates
- C
Parameters
- const clang::threadSafety::til::Alloc* E
- C& Cmp
¶clang::threadSafety::til::SExpr* dataType()
clang::threadSafety::til::SExpr* dataType()
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1009
¶const clang::threadSafety::til::SExpr* dataType()
const
const clang::threadSafety::til::SExpr* dataType()
const
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1010
¶clang::threadSafety::til::Alloc::AllocKind kind()
const
clang::threadSafety::til::Alloc::AllocKind kind()
const
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1007
¶template <class V>
typename V::R_SExpr traverse(
V& Vs,
typename V::R_Ctx Ctx)
template <class V>
typename V::R_SExpr traverse(
V& Vs,
typename V::R_Ctx Ctx)
Declared at: clang/include/clang/Analysis/Analyses/ThreadSafetyTIL.h:1013
Templates
- V
Parameters
- V& Vs
- typename V::R_Ctx Ctx