clang 20.0.0git
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/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.