A storage location that is not subdivided further for the purposes of abstract interpretation. More...
#include "clang/Analysis/FlowSensitive/StorageLocation.h"
Inheritance diagram for clang::dataflow::ScalarStorageLocation:
Public Member Functions | |
| ScalarStorageLocation (QualType Type) | |
 Public Member Functions inherited from clang::dataflow::StorageLocation | |
| StorageLocation (Kind LocKind, QualType Type) | |
| StorageLocation (const StorageLocation &)=delete | |
| StorageLocation & | operator= (const StorageLocation &)=delete |
| virtual | ~StorageLocation ()=default |
| Kind | getKind () const |
| QualType | getType () const |
Static Public Member Functions | |
| static bool | classof (const StorageLocation *Loc) |
Additional Inherited Members | |
| Public Types inherited from clang::dataflow::StorageLocation | |
| enum class | Kind { Scalar , Record } |
Detailed Description
A storage location that is not subdivided further for the purposes of abstract interpretation.
For example: int, int*, int&.
Definition at line 62 of file StorageLocation.h.
Constructor & Destructor Documentation
◆ ScalarStorageLocation()
|
inlineexplicit |
Definition at line 64 of file StorageLocation.h.
Member Function Documentation
◆ classof()
|
inlinestatic |
Definition at line 67 of file StorageLocation.h.
References clang::dataflow::StorageLocation::getKind(), and clang::dataflow::StorageLocation::Scalar.
The documentation for this class was generated from the following file:
- include/clang/Analysis/FlowSensitive/StorageLocation.h
