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/PointerIntPair.h"
#include "llvm/ADT/StringRef.h"
#include "llvm/Support/Casting.h"
#include "llvm/Support/DataTypes.h"
#include <cassert>
#include <optional>
#include <string>
#include <utility>

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::FunctionExitPoint
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::PostAllocatorCall
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 >

Namespaces
namespace	clang
	The JSON file list parser is used to communicate input to InstallAPI.
namespace	llvm
	Diagnostic wrappers for TextAPI types for error reporting.