clang::dataflow::StorageLocation Class Reference

Base class for elements of the local variable store and of the heap. More...

#include "clang/Analysis/FlowSensitive/StorageLocation.h"

Inheritance diagram for clang::dataflow::StorageLocation:

Public Types
enum class	Kind { Scalar , Record }

Public Member Functions
	StorageLocation (Kind LocKind, QualType Type)
	StorageLocation (const StorageLocation &)=delete
StorageLocation &	operator= (const StorageLocation &)=delete
virtual	~StorageLocation ()=default
Kind	getKind () const
QualType	getType () const

Detailed Description

Base class for elements of the local variable store and of the heap.

Each storage location holds a value. The mapping from storage locations to values is stored in the environment.

Definition at line 33 of file StorageLocation.h.

Member Enumeration Documentation

Kind

enum class clang::dataflow::StorageLocation::Kind

strong

Enumerator
Scalar
Record

Definition at line 35 of file StorageLocation.h.

Constructor & Destructor Documentation

StorageLocation() [1/2]

clang::dataflow::StorageLocation::StorageLocation ( Kind LocKind, QualType Type )

inline

Definition at line 40 of file StorageLocation.h.

Referenced by clang::dataflow::RecordStorageLocation::addChild(), clang::dataflow::RecordStorageLocation::addSyntheticField(), clang::dataflow::RecordStorageLocation::classof(), clang::dataflow::ScalarStorageLocation::classof(), clang::dataflow::RecordStorageLocation::getChild(), clang::dataflow::RecordStorageLocation::getSyntheticField(), operator=(), clang::dataflow::RecordStorageLocation::RecordStorageLocation(), clang::dataflow::ScalarStorageLocation::ScalarStorageLocation(), clang::dataflow::RecordStorageLocation::setChild(), and StorageLocation().

StorageLocation() [2/2]

clang::dataflow::StorageLocation::StorageLocation ( const StorageLocation & )

delete

References StorageLocation().

~StorageLocation()

virtual clang::dataflow::StorageLocation::~StorageLocation ( )

virtualdefault

Member Function Documentation

getKind()

Kind clang::dataflow::StorageLocation::getKind ( ) const

inline

Definition at line 52 of file StorageLocation.h.

Referenced by clang::dataflow::RecordStorageLocation::classof(), and clang::dataflow::ScalarStorageLocation::classof().

getType()

QualType clang::dataflow::StorageLocation::getType ( ) const

inline

Definition at line 54 of file StorageLocation.h.

Referenced by clang::dataflow::copyRecord(), clang::dataflow::RecordStorageLocation::getChild(), clang::dataflow::Environment::initializeFieldsWithValues(), clang::dataflow::joinLocToVal(), and clang::dataflow::recordsEqual().

operator=()

StorageLocation & clang::dataflow::StorageLocation::operator= ( const StorageLocation & )

delete

References StorageLocation().

---

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

• include/clang/Analysis/FlowSensitive/StorageLocation.h