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

#include "clang/StaticAnalyzer/Checkers/SValExplainer.h"

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

Public Member Functions

 SValExplainer (ASTContext &Ctx)
 
std::string VisitUnknownVal (UnknownVal V)
 
std::string VisitUndefinedVal (UndefinedVal V)
 
std::string VisitLocMemRegionVal (loc::MemRegionVal V)
 
std::string VisitLocConcreteInt (loc::ConcreteInt V)
 
std::string VisitNonLocSymbolVal (nonloc::SymbolVal V)
 
std::string VisitNonLocConcreteInt (nonloc::ConcreteInt V)
 
std::string VisitNonLocLazyCompoundVal (nonloc::LazyCompoundVal V)
 
std::string VisitSymbolRegionValue (const SymbolRegionValue *S)
 
std::string VisitSymbolConjured (const SymbolConjured *S)
 
std::string VisitSymbolDerived (const SymbolDerived *S)
 
std::string VisitSymbolExtent (const SymbolExtent *S)
 
std::string VisitSymbolMetadata (const SymbolMetadata *S)
 
std::string VisitSymIntExpr (const SymIntExpr *S)
 
std::string VisitSymSymExpr (const SymSymExpr *S)
 
std::string VisitSymbolicRegion (const SymbolicRegion *R)
 
std::string VisitAllocaRegion (const AllocaRegion *R)
 
std::string VisitCompoundLiteralRegion (const CompoundLiteralRegion *R)
 
std::string VisitStringRegion (const StringRegion *R)
 
std::string VisitElementRegion (const ElementRegion *R)
 
std::string VisitVarRegion (const VarRegion *R)
 
std::string VisitObjCIvarRegion (const ObjCIvarRegion *R)
 
std::string VisitFieldRegion (const FieldRegion *R)
 
std::string VisitCXXTempObjectRegion (const CXXTempObjectRegion *R)
 
std::string VisitCXXBaseObjectRegion (const CXXBaseObjectRegion *R)
 
std::string VisitSVal (SVal V)
 
std::string VisitSymExpr (SymbolRef S)
 
std::string VisitMemRegion (const MemRegion *R)
 
- Public Member Functions inherited from clang::ento::SValVisitor< SValExplainer, std::string >
std::string Visit (SVal V)
 
std::string VisitSVal (SVal V)
 
- Public Member Functions inherited from clang::ento::SymExprVisitor< SValExplainer, std::string >
std::string Visit (SymbolRef S)
 
std::string VisitSymExpr (SymbolRef S)
 
- Public Member Functions inherited from clang::ento::MemRegionVisitor< SValExplainer, std::string >
std::string Visit (const MemRegion *R)
 
std::string VisitMemRegion (const MemRegion *R)
 

Detailed Description

Definition at line 26 of file SValExplainer.h.

Constructor & Destructor Documentation

◆ SValExplainer()

clang::ento::SValExplainer::SValExplainer ( ASTContext Ctx)
inline

Definition at line 45 of file SValExplainer.h.

Member Function Documentation

◆ VisitAllocaRegion()

std::string clang::ento::SValExplainer::VisitAllocaRegion ( const AllocaRegion R)
inline

Definition at line 156 of file SValExplainer.h.

References clang::ento::AllocaRegion::getExpr().

◆ VisitCompoundLiteralRegion()

std::string clang::ento::SValExplainer::VisitCompoundLiteralRegion ( const CompoundLiteralRegion R)
inline

◆ VisitCXXBaseObjectRegion()

std::string clang::ento::SValExplainer::VisitCXXBaseObjectRegion ( const CXXBaseObjectRegion R)
inline

◆ VisitCXXTempObjectRegion()

std::string clang::ento::SValExplainer::VisitCXXTempObjectRegion ( const CXXTempObjectRegion R)
inline

Definition at line 209 of file SValExplainer.h.

References clang::ento::CXXTempObjectRegion::getExpr().

◆ VisitElementRegion()

std::string clang::ento::SValExplainer::VisitElementRegion ( const ElementRegion R)
inline

◆ VisitFieldRegion()

std::string clang::ento::SValExplainer::VisitFieldRegion ( const FieldRegion R)
inline

◆ VisitLocConcreteInt()

std::string clang::ento::SValExplainer::VisitLocConcreteInt ( loc::ConcreteInt  V)
inline

Definition at line 66 of file SValExplainer.h.

◆ VisitLocMemRegionVal()

std::string clang::ento::SValExplainer::VisitLocMemRegionVal ( loc::MemRegionVal  V)
inline

◆ VisitMemRegion()

std::string clang::ento::SValExplainer::VisitMemRegion ( const MemRegion R)
inline

Definition at line 235 of file SValExplainer.h.

◆ VisitNonLocConcreteInt()

std::string clang::ento::SValExplainer::VisitNonLocConcreteInt ( nonloc::ConcreteInt  V)
inline

Definition at line 78 of file SValExplainer.h.

◆ VisitNonLocLazyCompoundVal()

std::string clang::ento::SValExplainer::VisitNonLocLazyCompoundVal ( nonloc::LazyCompoundVal  V)
inline

◆ VisitNonLocSymbolVal()

std::string clang::ento::SValExplainer::VisitNonLocSymbolVal ( nonloc::SymbolVal  V)
inline

◆ VisitObjCIvarRegion()

std::string clang::ento::SValExplainer::VisitObjCIvarRegion ( const ObjCIvarRegion R)
inline

◆ VisitStringRegion()

std::string clang::ento::SValExplainer::VisitStringRegion ( const StringRegion R)
inline

Definition at line 164 of file SValExplainer.h.

References clang::ento::MemRegion::getString().

◆ VisitSVal()

std::string clang::ento::SValExplainer::VisitSVal ( SVal  V)
inline

Definition at line 219 of file SValExplainer.h.

◆ VisitSymbolConjured()

std::string clang::ento::SValExplainer::VisitSymbolConjured ( const SymbolConjured S)
inline

◆ VisitSymbolDerived()

std::string clang::ento::SValExplainer::VisitSymbolDerived ( const SymbolDerived S)
inline

◆ VisitSymbolExtent()

std::string clang::ento::SValExplainer::VisitSymbolExtent ( const SymbolExtent S)
inline

◆ VisitSymbolicRegion()

std::string clang::ento::SValExplainer::VisitSymbolicRegion ( const SymbolicRegion R)
inline

◆ VisitSymbolMetadata()

std::string clang::ento::SValExplainer::VisitSymbolMetadata ( const SymbolMetadata S)
inline

◆ VisitSymbolRegionValue()

std::string clang::ento::SValExplainer::VisitSymbolRegionValue ( const SymbolRegionValue S)
inline

◆ VisitSymExpr()

std::string clang::ento::SValExplainer::VisitSymExpr ( SymbolRef  S)
inline

Definition at line 227 of file SValExplainer.h.

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

◆ VisitSymIntExpr()

std::string clang::ento::SValExplainer::VisitSymIntExpr ( const SymIntExpr S)
inline

◆ VisitSymSymExpr()

std::string clang::ento::SValExplainer::VisitSymSymExpr ( const SymSymExpr S)
inline

◆ VisitUndefinedVal()

std::string clang::ento::SValExplainer::VisitUndefinedVal ( UndefinedVal  V)
inline

Definition at line 51 of file SValExplainer.h.

◆ VisitUnknownVal()

std::string clang::ento::SValExplainer::VisitUnknownVal ( UnknownVal  V)
inline

Definition at line 47 of file SValExplainer.h.

◆ VisitVarRegion()

std::string clang::ento::SValExplainer::VisitVarRegion ( const VarRegion R)
inline

Definition at line 182 of file SValExplainer.h.

References clang::ento::VarRegion::getDecl().


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