class Undefined

Declaration

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

Description

Placeholder for expressions that cannot be represented in the TIL.

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

Inherits from: SExpr

Member Variables

private const clang::Stmt* Cstmt

Inherited from SExpr:

protected Opcode

protected Reserved = 0

protected Flags = 0

protected SExprID = 0

protected Block = nullptr

Method Overview

• public Undefined(const clang::Stmt * S = nullptr)
• public Undefined(const clang::threadSafety::til::Undefined & U)
• public static bool classof(const clang::threadSafety::til::SExpr * E)
• public template <class C>typename C::CType compare(const clang::threadSafety::til::Undefined * E, C & Cmp) 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

¶Undefined(const clang::Stmt* S = nullptr)

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

Parameters

const clang::Stmt* S = nullptr

¶Undefined(
    const clang::threadSafety::til::Undefined& U)

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

Parameters

const clang::threadSafety::til::Undefined& U

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

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

Parameters

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

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

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

Templates

C

Parameters

const clang::threadSafety::til::Undefined* E

C& Cmp

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

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

Templates

V

Parameters

V& Vs

typename V::R_Ctx Ctx