clang  6.0.0svn
Public Member Functions | Static Public Member Functions | List of all members
clang::ento::SymbolConjured Class Reference

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

#include "clang/StaticAnalyzer/Core/PathSensitive/SymbolManager.h"

Inheritance diagram for clang::ento::SymbolConjured:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::SymbolConjured:
Collaboration graph
[legend]

Public Member Functions

 SymbolConjured (SymbolID sym, const Stmt *s, const LocationContext *lctx, QualType t, unsigned count, const void *symbolTag)
 
const StmtgetStmt () const
 
unsigned getCount () const
 
const void * getTag () const
 
QualType getType () const override
 
void dumpToStream (raw_ostream &os) const override
 
void Profile (llvm::FoldingSetNodeID &profile) override
 
- Public Member Functions inherited from clang::ento::SymbolData
 ~SymbolData () override
 
SymbolID getSymbolID () const
 
- Public Member Functions inherited from clang::ento::SymExpr
virtual ~SymExpr ()
 
Kind getKind () const
 
virtual void dump () const
 
symbol_iterator symbol_begin () const
 
unsigned computeComplexity () const
 
virtual const MemRegiongetOriginRegion () const
 Find the region from which this symbol originates. More...
 

Static Public Member Functions

static void Profile (llvm::FoldingSetNodeID &profile, const Stmt *S, QualType T, unsigned Count, const LocationContext *LCtx, const void *SymbolTag)
 
static bool classof (const SymExpr *SE)
 
- Static Public Member Functions inherited from clang::ento::SymbolData
static bool classof (const SymExpr *SE)
 
- Static Public Member Functions inherited from clang::ento::SymExpr
static symbol_iterator symbol_end ()
 

Additional Inherited Members

- Public Types inherited from clang::ento::SymExpr
enum  Kind
 
- Protected Member Functions inherited from clang::ento::SymbolData
 SymbolData (Kind k, SymbolID sym)
 
- Protected Member Functions inherited from clang::ento::SymExpr
 SymExpr (Kind k)
 
- Static Protected Member Functions inherited from clang::ento::SymExpr
static bool isValidTypeForSymbol (QualType T)
 

Detailed Description

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

Definition at line 76 of file SymbolManager.h.

Constructor & Destructor Documentation

◆ SymbolConjured()

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

Definition at line 84 of file SymbolManager.h.

References clang::ento::SymExpr::isValidTypeForSymbol().

Member Function Documentation

◆ classof()

static bool clang::ento::SymbolConjured::classof ( const SymExpr SE)
inlinestatic

Definition at line 121 of file SymbolManager.h.

References clang::ento::SymExpr::getKind().

◆ dumpToStream()

void SymbolConjured::dumpToStream ( raw_ostream &  os) const
overridevirtual

Reimplemented from clang::ento::SymExpr.

Definition at line 73 of file SymbolManager.cpp.

References clang::T.

◆ getCount()

unsigned clang::ento::SymbolConjured::getCount ( ) const
inline

Definition at line 98 of file SymbolManager.h.

◆ getStmt()

const Stmt* clang::ento::SymbolConjured::getStmt ( ) const
inline

Definition at line 97 of file SymbolManager.h.

Referenced by clang::ento::SValExplainer::VisitSymbolConjured().

◆ getTag()

const void* clang::ento::SymbolConjured::getTag ( ) const
inline

◆ getType()

QualType SymbolConjured::getType ( ) const
overridevirtual

Implements clang::ento::SymExpr.

Definition at line 315 of file SymbolManager.cpp.

Referenced by clang::ento::SValExplainer::VisitSymbolConjured().

◆ Profile() [1/2]

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

Definition at line 105 of file SymbolManager.h.

◆ Profile() [2/2]

void clang::ento::SymbolConjured::Profile ( llvm::FoldingSetNodeID &  profile)
inlineoverridevirtual

Implements clang::ento::SymExpr.

Definition at line 116 of file SymbolManager.h.

References clang::ento::SymbolRegionValue::Profile().


The documentation for this class was generated from the following files: