class ArrayAdd

Declaration

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

Description

Pointer arithmetic, restricted to arrays only. If p is a reference to an array, then p + n, where n is an integer, is a reference to a subarray.

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

Inherits from: SExpr

Member Variables

private clang::threadSafety::til::SExpr* Array

private clang::threadSafety::til::SExpr* Index

Inherited from SExpr:

protected Opcode

protected Reserved = 0

protected Flags = 0

protected SExprID = 0

protected Block = nullptr

Method Overview

• public ArrayAdd(clang::threadSafety::til::SExpr * A, clang::threadSafety::til::SExpr * N)
• public ArrayAdd(const clang::threadSafety::til::ArrayAdd & E, clang::threadSafety::til::SExpr * A, clang::threadSafety::til::SExpr * N)
• public clang::threadSafety::til::SExpr * array()
• public const clang::threadSafety::til::SExpr * array() const
• public static bool classof(const clang::threadSafety::til::SExpr * E)
• public template <class C>typename C::CType compare(const clang::threadSafety::til::ArrayAdd * E, C & Cmp) const
• public clang::threadSafety::til::SExpr * index()
• public const clang::threadSafety::til::SExpr * index() 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

¶ArrayAdd(clang::threadSafety::til::SExpr* A,
         clang::threadSafety::til::SExpr* N)

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

Parameters

clang::threadSafety::til::SExpr* A

clang::threadSafety::til::SExpr* N

¶ArrayAdd(
    const clang::threadSafety::til::ArrayAdd& E,
    clang::threadSafety::til::SExpr* A,
    clang::threadSafety::til::SExpr* N)

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

Parameters

const clang::threadSafety::til::ArrayAdd& E

clang::threadSafety::til::SExpr* A

clang::threadSafety::til::SExpr* N

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

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

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

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

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

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

Parameters

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

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

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

Templates

C

Parameters

const clang::threadSafety::til::ArrayAdd* E

C& Cmp

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

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

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

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

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

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx