clang
10.0.0git
|
#include "clang/StaticAnalyzer/Checkers/SValExplainer.h"
Definition at line 26 of file SValExplainer.h.
|
inline |
Definition at line 45 of file SValExplainer.h.
|
inline |
Definition at line 156 of file SValExplainer.h.
References clang::ento::AllocaRegion::getExpr().
|
inline |
Definition at line 160 of file SValExplainer.h.
References clang::ento::CompoundLiteralRegion::getLiteralExpr().
|
inline |
Definition at line 214 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 209 of file SValExplainer.h.
References clang::ento::CXXTempObjectRegion::getExpr().
|
inline |
Definition at line 168 of file SValExplainer.h.
References clang::ento::SVal::getAs(), clang::QualType::getAsString(), clang::ento::ElementRegion::getElementType(), clang::ento::ElementRegion::getIndex(), clang::ento::SubRegion::getSuperRegion(), clang::ento::OS, and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 204 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 clang::ento::OS.
|
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 235 of file SValExplainer.h.
References clang::ento::OS.
|
inline |
Definition at line 78 of file SValExplainer.h.
References clang::ento::nonloc::ConcreteInt::getValue(), and clang::ento::OS.
|
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 199 of file SValExplainer.h.
References clang::ento::ObjCIvarRegion::getDecl(), clang::NamedDecl::getNameAsString(), clang::ento::SubRegion::getSuperRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 164 of file SValExplainer.h.
References clang::ento::MemRegion::getString().
|
inline |
Definition at line 219 of file SValExplainer.h.
References clang::ento::OS, and V.
|
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::Type::getAs(), clang::QualType::getCanonicalType(), clang::ento::MemRegion::getMemorySpace(), clang::ento::SymbolicRegion::getSymbol(), clang::ento::SymExpr::getType(), 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(), V, and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 227 of file SValExplainer.h.
References clang::ento::SymExpr::dumpToStream(), and clang::ento::OS.
|
inline |
|
inline |
|
inline |
Definition at line 51 of file SValExplainer.h.
|
inline |
Definition at line 47 of file SValExplainer.h.
|
inline |
Definition at line 182 of file SValExplainer.h.
References clang::ento::VarRegion::getDecl().