clang 22.0.0git
|
Public Types | |
typedef iterator::IteratorRegionMap::data_type | data_type |
Static Public Member Functions | |
static void * | GDMIndex () |
static void * | MakeVoidPtr (data_type D) |
static data_type | MakeData (void *const *P) |
Definition at line 130 of file Iterator.h.
typedef iterator::IteratorRegionMap::data_type clang::ento::ProgramStateTrait< iterator::IteratorRegionMap >::data_type |
Definition at line 52 of file ProgramState.h.
|
inlinestatic |
Definition at line 132 of file Iterator.h.
|
inlinestatic |
Definition at line 54 of file ProgramState.h.
|
inlinestatic |
Definition at line 53 of file ProgramState.h.