class SymbolConjured

Declaration

class SymbolConjured : public SymbolData { /* full declaration omitted */ };

Description

A symbol representing the result of an expression in the case when we do not know anything about what the expression is.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:78

Inherits from: SymbolData

Member Variables

private const clang::Stmt* S

private clang::QualType T

private unsigned int Count

private const clang::LocationContext* LCtx

private const void* SymbolTag

Inherited from SymExpr:

protected Complexity = 0

Method Overview

• public static void Profile(llvm::FoldingSetNodeID & profile, const clang::Stmt * S, clang::QualType T, unsigned int Count, const clang::LocationContext * LCtx, const void * SymbolTag)
• public void Profile(llvm::FoldingSetNodeID & profile)
• public SymbolConjured(clang::ento::SymbolID sym, const clang::Stmt * s, const clang::LocationContext * lctx, clang::QualType t, unsigned int count, const void * symbolTag)
• public static bool classof(const clang::ento::SymExpr * SE)
• public void dumpToStream(llvm::raw_ostream & os) const
• public unsigned int getCount() const
• public llvm::StringRef getKindStr() const
• public const clang::Stmt * getStmt() const
• public const void * getTag() const
• public clang::QualType getType() const

Inherited from SymbolData:

• public classof
• public computeComplexity
• public getKindStr
• public getSymbolID

Inherited from SymExpr:

• public Profile
• public computeComplexity
• public dump
• public dumpToStream
• public getKind
• public getOriginRegion
• public getType
• protected isValidTypeForSymbol
• public symbol_begin
• public symbol_end

Inherited from FoldingSetBase::Node:

• public SetNextInBucket
• public getNextInBucket

Methods

¶static void Profile(
    llvm::FoldingSetNodeID& profile,
    const clang::Stmt* S,
    clang::QualType T,
    unsigned int Count,
    const clang::LocationContext* LCtx,
    const void* SymbolTag)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:111

Parameters

llvm::FoldingSetNodeID& profile

const clang::Stmt* S

clang::QualType T

unsigned int Count

const clang::LocationContext* LCtx

const void* SymbolTag

¶void Profile(llvm::FoldingSetNodeID& profile)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:122

Parameters

llvm::FoldingSetNodeID& profile

¶SymbolConjured(clang::ento::SymbolID sym,
               const clang::Stmt* s,
               const clang::LocationContext* lctx,
               clang::QualType t,
               unsigned int count,
               const void* symbolTag)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:86

Parameters

clang::ento::SymbolID sym

const clang::Stmt* s

const clang::LocationContext* lctx

clang::QualType t

unsigned int count

const void* symbolTag

¶static bool classof(
    const clang::ento::SymExpr* SE)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:127

Parameters

const clang::ento::SymExpr* SE

¶void dumpToStream(llvm::raw_ostream& os) const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:109

Parameters

llvm::raw_ostream& os

¶unsigned int getCount() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:101

¶llvm::StringRef getKindStr() const

Description

Get a string representation of the kind of the region.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:107

¶const clang::Stmt* getStmt() const

Description

It might return null.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:100

¶const void* getTag() const

Description

It might return null.

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:103

¶clang::QualType getType() const

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h:105