|
clang
5.0.0
|
#include "clang/AST/Expr.h"#include "clang/Basic/LLVM.h"#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState_Fwd.h"#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"#include "llvm/ADT/FoldingSet.h"#include "llvm/ADT/ImmutableList.h"#include "clang/StaticAnalyzer/Core/PathSensitive/SVals.def"Go to the source code of this file.
Classes | |
| class | clang::ento::SVal |
| SVal - This represents a symbolic expression, which can be either an L-value or an R-value. More... | |
| class | clang::ento::UndefinedVal |
| class | clang::ento::DefinedOrUnknownSVal |
| class | clang::ento::UnknownVal |
| class | clang::ento::DefinedSVal |
| class | clang::ento::KnownSVal |
| Represents an SVal that is guaranteed to not be UnknownVal. More... | |
| class | clang::ento::NonLoc |
| class | clang::ento::Loc |
| class | clang::ento::nonloc::SymbolVal |
| Represents symbolic expression. More... | |
| class | clang::ento::nonloc::ConcreteInt |
| Value representing integer constant. More... | |
| class | clang::ento::nonloc::LocAsInteger |
| class | clang::ento::nonloc::CompoundVal |
| class | clang::ento::nonloc::LazyCompoundVal |
| class | clang::ento::nonloc::PointerToMember |
| Value representing pointer-to-member. More... | |
| class | clang::ento::loc::GotoLabel |
| class | clang::ento::loc::MemRegionVal |
| class | clang::ento::loc::ConcreteInt |
| struct | llvm::isPodLike< typename > |
| struct | llvm::isPodLike< clang::ento::SVal > |
Namespaces | |
| clang | |
| /file This file defines classes for searching and anlyzing source code clones. | |
| clang::ento | |
| clang::ento::nonloc | |
| clang::ento::loc | |
| llvm | |
| DominatorTree GraphTraits specialization so the DominatorTree can be iterable by generic graph iterators. | |
Macros | |
| #define | NONLOC_SVAL(Id, Parent) Id ## Kind, |
| #define | LOC_SVAL(Id, Parent) Id ## Kind, |
| #define | BASIC_SVAL(Id, Parent) Id ## Kind, |
| #define | ABSTRACT_SVAL_WITH_KIND(Id, Parent) Id ## Kind, |
Enumerations | |
| enum | clang::ento::nonloc::Kind |
| Sub-kinds for NonLoc values. More... | |
| enum | clang::ento::loc::Kind |
| Sub-kinds for Loc values. More... | |
Functions | |
| static raw_ostream & | llvm::operator<< (raw_ostream &os, clang::ento::SVal V) |
1.8.6