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)

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)

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

Parameters

const clang::threadSafety::til::Alloc& A
clang::threadSafety::til::SExpr* Dt

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

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()

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

const clang::threadSafety::til::SExpr* dataType()
    const

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

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)

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

Templates

V

Parameters

V& Vs
typename V::R_Ctx Ctx