clang
3.9.0
|
#include <SValExplainer.h>
Definition at line 26 of file SValExplainer.h.
|
inline |
Definition at line 45 of file SValExplainer.h.
|
inline |
Definition at line 148 of file SValExplainer.h.
References clang::ento::AllocaRegion::getExpr().
|
inline |
Definition at line 152 of file SValExplainer.h.
References clang::ento::CompoundLiteralRegion::getLiteralExpr().
|
inline |
Definition at line 199 of file SValExplainer.h.
References clang::ento::CXXBaseObjectRegion::getDecl(), clang::NamedDecl::getQualifiedNameAsString(), clang::ento::SubRegion::getSuperRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 194 of file SValExplainer.h.
References clang::ento::CXXTempObjectRegion::getExpr().
|
inline |
Definition at line 160 of file SValExplainer.h.
References clang::ento::SVal::getAs(), clang::QualType::getAsString(), clang::ento::ElementRegion::getElementType(), clang::ento::ElementRegion::getIndex(), clang::ento::SubRegion::getSuperRegion(), I, and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 189 of file SValExplainer.h.
References clang::ento::FieldRegion::getDecl(), clang::NamedDecl::getNameAsString(), clang::ento::SubRegion::getSuperRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 66 of file SValExplainer.h.
References clang::ento::loc::ConcreteInt::getValue(), and I.
|
inline |
Definition at line 55 of file SValExplainer.h.
References clang::ento::loc::MemRegionVal::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 220 of file SValExplainer.h.
|
inline |
Definition at line 78 of file SValExplainer.h.
References clang::ento::nonloc::ConcreteInt::getValue(), and I.
|
inline |
Definition at line 87 of file SValExplainer.h.
References clang::ento::nonloc::LazyCompoundVal::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 74 of file SValExplainer.h.
References clang::ento::nonloc::SymbolVal::getSymbol(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 156 of file SValExplainer.h.
References clang::ento::MemRegion::getString().
|
inline |
Definition at line 204 of file SValExplainer.h.
|
inline |
Definition at line 100 of file SValExplainer.h.
References clang::QualType::getAsString(), clang::ento::SymbolConjured::getStmt(), and clang::ento::SymbolConjured::getType().
|
inline |
Definition at line 105 of file SValExplainer.h.
References clang::ento::SymbolDerived::getParentSymbol(), clang::ento::SymbolDerived::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 110 of file SValExplainer.h.
References clang::ento::SymbolExtent::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 140 of file SValExplainer.h.
References clang::ento::SymbolicRegion::getSymbol(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 114 of file SValExplainer.h.
References clang::QualType::getAsString(), clang::ento::SymbolMetadata::getRegion(), clang::ento::SymbolMetadata::getType(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 91 of file SValExplainer.h.
References clang::ento::SymbolRegionValue::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 212 of file SValExplainer.h.
References clang::ento::SymExpr::dumpToStream().
|
inline |
|
inline |
|
inline |
Definition at line 51 of file SValExplainer.h.
|
inline |
Definition at line 47 of file SValExplainer.h.
|
inline |
Definition at line 174 of file SValExplainer.h.
References clang::ento::VarRegion::getDecl(), clang::NamedDecl::getQualifiedNameAsString(), clang::VarDecl::hasGlobalStorage(), clang::VarDecl::hasLocalStorage(), clang::VarDecl::isStaticLocal(), and clang::Name.