clang  6.0.0svn
Classes | Namespaces
ProgramPoint.h File Reference
#include "clang/Analysis/AnalysisDeclContext.h"
#include "clang/Analysis/CFG.h"
#include "llvm/ADT/DenseMap.h"
#include "llvm/ADT/FoldingSet.h"
#include "llvm/ADT/Optional.h"
#include "llvm/ADT/PointerIntPair.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/DataTypes.h"
#include <cassert>
#include <string>
#include <utility>
Include dependency graph for ProgramPoint.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  clang::ProgramPointTag
 ProgramPoints can be "tagged" as representing points specific to a given analysis entity. More...
 
class  clang::SimpleProgramPointTag
 
class  clang::ProgramPoint
 
class  clang::BlockEntrance
 
class  clang::BlockExit
 
class  clang::StmtPoint
 
class  clang::PreStmt
 
class  clang::PostStmt
 
class  clang::PostCondition
 
class  clang::LocationCheck
 
class  clang::PreLoad
 
class  clang::PreStore
 
class  clang::PostLoad
 
class  clang::PostStore
 Represents a program point after a store evaluation. More...
 
class  clang::PostLValue
 
class  clang::PreStmtPurgeDeadSymbols
 Represents a point after we ran remove dead bindings BEFORE processing the given statement. More...
 
class  clang::PostStmtPurgeDeadSymbols
 Represents a point after we ran remove dead bindings AFTER processing the given statement. More...
 
class  clang::BlockEdge
 
class  clang::PostInitializer
 
class  clang::ImplicitCallPoint
 Represents an implicit call event. More...
 
class  clang::PreImplicitCall
 Represents a program point just before an implicit call event. More...
 
class  clang::PostImplicitCall
 Represents a program point just after an implicit call event. More...
 
class  clang::CallEnter
 Represents a point when we begin processing an inlined call. More...
 
class  clang::CallExitBegin
 Represents a point when we start the call exit sequence (for inlined call). More...
 
class  clang::CallExitEnd
 Represents a point when we finish the call exit sequence (for inlined call). More...
 
class  clang::LoopExit
 Represents a point when we exit a loop. More...
 
class  clang::EpsilonPoint
 This is a meta program point, which should be skipped by all the diagnostic reasoning etc. More...
 
struct  llvm::DenseMapInfo< clang::ProgramPoint >
 
struct  llvm::isPodLike< clang::ProgramPoint >
 

Namespaces

 clang
 Dataflow Directional Tag Classes.
 
 llvm
 DominatorTree GraphTraits specialization so the DominatorTree can be iterable by generic graph iterators.