clang  6.0.0svn
Classes | Namespaces | Macros | Enumerations | Functions
SVals.h File Reference
#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"
Include dependency graph for SVals.h:
This graph shows which files directly or indirectly include this file:

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
 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)
 

Macro Definition Documentation

◆ ABSTRACT_SVAL_WITH_KIND

#define ABSTRACT_SVAL_WITH_KIND (   Id,
  Parent 
)    Id ## Kind,

Definition at line 68 of file SVals.h.

◆ BASIC_SVAL

#define BASIC_SVAL (   Id,
  Parent 
)    Id ## Kind,

Definition at line 67 of file SVals.h.

◆ LOC_SVAL

#define LOC_SVAL (   Id,
  Parent 
)    Id ## Kind,

Definition at line 55 of file SVals.h.

◆ NONLOC_SVAL

#define NONLOC_SVAL (   Id,
  Parent 
)    Id ## Kind,

Definition at line 47 of file SVals.h.