clang
9.0.0
|
#include "clang/StaticAnalyzer/Checkers/SValExplainer.h"
Definition at line 25 of file SValExplainer.h.
|
inline |
Definition at line 44 of file SValExplainer.h.
|
inline |
Definition at line 155 of file SValExplainer.h.
References clang::ento::AllocaRegion::getExpr().
|
inline |
Definition at line 159 of file SValExplainer.h.
References clang::ento::CompoundLiteralRegion::getLiteralExpr().
|
inline |
Definition at line 213 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 208 of file SValExplainer.h.
References clang::ento::CXXTempObjectRegion::getExpr().
|
inline |
Definition at line 167 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 203 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 65 of file SValExplainer.h.
References clang::ento::loc::ConcreteInt::getValue(), and clang::ento::OS.
|
inline |
Definition at line 54 of file SValExplainer.h.
References clang::ento::loc::MemRegionVal::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 234 of file SValExplainer.h.
References clang::ento::OS.
|
inline |
Definition at line 77 of file SValExplainer.h.
References clang::ento::nonloc::ConcreteInt::getValue(), and clang::ento::OS.
|
inline |
Definition at line 86 of file SValExplainer.h.
References clang::ento::nonloc::LazyCompoundVal::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 73 of file SValExplainer.h.
References clang::ento::nonloc::SymbolVal::getSymbol(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 198 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 163 of file SValExplainer.h.
References clang::ento::MemRegion::getString().
|
inline |
Definition at line 218 of file SValExplainer.h.
References clang::ento::OS, and V.
|
inline |
Definition at line 99 of file SValExplainer.h.
References clang::QualType::getAsString(), clang::ento::SymbolConjured::getStmt(), and clang::ento::SymbolConjured::getType().
|
inline |
Definition at line 104 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 109 of file SValExplainer.h.
References clang::ento::SymbolExtent::getRegion(), and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 139 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 113 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 90 of file SValExplainer.h.
References clang::ento::SymbolRegionValue::getRegion(), V, and clang::ento::SValVisitor< SValExplainer, std::string >::Visit().
|
inline |
Definition at line 226 of file SValExplainer.h.
References clang::ento::SymExpr::dumpToStream(), and clang::ento::OS.
|
inline |
|
inline |
|
inline |
Definition at line 50 of file SValExplainer.h.
|
inline |
Definition at line 46 of file SValExplainer.h.
|
inline |
Definition at line 181 of file SValExplainer.h.
References clang::ento::VarRegion::getDecl().