clang::ssaf::TypeConstrainedPointersEntitySummary Struct Reference

Per-contributor set of pointer entities that must retain their pointer type. More...

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

Inheritance diagram for clang::ssaf::TypeConstrainedPointersEntitySummary:

Public Member Functions
SummaryName	getSummaryName () const override
bool friend	operator== (const TypeConstrainedPointersEntitySummary &This, const TypeConstrainedPointersEntitySummary &Other)
bool	operator== (const std::set< EntityId > &OtherEntities) const
bool	empty () const
Public Member Functions inherited from clang::ssaf::EntitySummary
virtual	~EntitySummary ()=default

Static Public Member Functions
static SummaryName	summaryName ()

Public Attributes
std::set< EntityId >	Entities

Static Public Attributes
static constexpr llvm::StringLiteral	Name = "TypeConstrainedPointers"

Detailed Description

Per-contributor set of pointer entities that must retain their pointer type.

From operator new / operator delete overloads:

1. The return entity of operator new overloads.
2. The second parameter of operator new(size_t, void*) representing the pointer to the memory area at which to initialize the object.
3. The first parameter of operator delete overloads representing the pointer to the memory block to deallocate (or a null pointer).
4. The second parameter of operator delete(void*, void*) representing the placement pointer matching the corresponding placement new.

From the main function:

1. Pointer-typed parameters of main.

Definition at line 41 of file TypeConstrainedPointers.h.

Member Function Documentation

empty()

bool clang::ssaf::TypeConstrainedPointersEntitySummary::empty ( ) const

inline

Definition at line 57 of file TypeConstrainedPointers.h.

References Entities.

getSummaryName()

SummaryName clang::ssaf::TypeConstrainedPointersEntitySummary::getSummaryName ( ) const

inlineoverridevirtual

Implements clang::ssaf::EntitySummary.

Definition at line 46 of file TypeConstrainedPointers.h.

References summaryName().

operator==() [1/2]

bool clang::ssaf::TypeConstrainedPointersEntitySummary::operator== ( const std::set< EntityId > & OtherEntities ) const

inline

Definition at line 53 of file TypeConstrainedPointers.h.

References Entities.

operator==() [2/2]

bool friend clang::ssaf::TypeConstrainedPointersEntitySummary::operator== ( const TypeConstrainedPointersEntitySummary & This, const TypeConstrainedPointersEntitySummary & Other )

inline

Definition at line 48 of file TypeConstrainedPointers.h.

References clang::Other.

summaryName()

SummaryName clang::ssaf::TypeConstrainedPointersEntitySummary::summaryName ( )

inlinestatic

Definition at line 44 of file TypeConstrainedPointers.h.

References Name.

Referenced by getSummaryName().

Member Data Documentation

Entities

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

Definition at line 59 of file TypeConstrainedPointers.h.

Referenced by empty(), and operator==().

Name

llvm::StringLiteral clang::ssaf::TypeConstrainedPointersEntitySummary::Name = "TypeConstrainedPointers"

staticconstexpr

Definition at line 42 of file TypeConstrainedPointers.h.

Referenced by RegisterTypeConstrainedPointersExtractor(), and summaryName().

---

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

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