clang::ssaf::TypeConstrainedPointersAnalysisResult Struct Reference

Whole-program set of pointer entities that must retain their pointer type. More...

#include "clang/ScalableStaticAnalysis/Analyses/TypeConstrainedPointers/TypeConstrainedPointers.h"

Inheritance diagram for clang::ssaf::TypeConstrainedPointersAnalysisResult:

Public Member Functions
bool	contains (const EntityId &Id) const
Public Member Functions inherited from clang::ssaf::AnalysisResult
virtual	~AnalysisResult ()=default

Static Public Member Functions
static AnalysisName	analysisName ()

Public Attributes
std::set< EntityId >	Entities

Static Public Attributes
static constexpr llvm::StringLiteral	Name

Detailed Description

Whole-program set of pointer entities that must retain their pointer type.

Definition at line 63 of file TypeConstrainedPointers.h.

Member Function Documentation

analysisName()

AnalysisName clang::ssaf::TypeConstrainedPointersAnalysisResult::analysisName ( )

inlinestatic

Definition at line 67 of file TypeConstrainedPointers.h.

References Name.

contains()

bool clang::ssaf::TypeConstrainedPointersAnalysisResult::contains ( const EntityId & Id ) const

inline

Definition at line 71 of file TypeConstrainedPointers.h.

References Entities.

Member Data Documentation

Entities

std::set<EntityId> clang::ssaf::TypeConstrainedPointersAnalysisResult::Entities

Definition at line 69 of file TypeConstrainedPointers.h.

Referenced by contains().

Name

llvm::StringLiteral clang::ssaf::TypeConstrainedPointersAnalysisResult::Name

staticconstexpr

Initial value:

=
      "TypeConstrainedPointersAnalysisResult"

Definition at line 64 of file TypeConstrainedPointers.h.

Referenced by analysisName().

---

The documentation for this struct was generated from the following file:

• include/clang/ScalableStaticAnalysis/Analyses/TypeConstrainedPointers/TypeConstrainedPointers.h