clang
7.0.0
|
#include "clang/AST/Expr.h"
#include "clang/AST/Type.h"
#include "clang/Basic/LLVM.h"
#include "clang/StaticAnalyzer/Core/PathSensitive/SymExpr.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/ImmutableList.h"
#include "llvm/ADT/None.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/PointerUnion.h"
#include "llvm/Support/Casting.h"
#include <cassert>
#include <cstdint>
#include <utility>
#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 that isn't a location. 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 | |
Dataflow Directional Tag Classes. | |
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 | |
raw_ostream & | clang::ento::operator<< (raw_ostream &os, clang::ento::SVal V) |