clang
8.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/ProgramState.h"
Public Types | |
typedef T::data_type | data_type |
Static Public Member Functions | |
static void * | MakeVoidPtr (data_type D) |
static data_type | MakeData (void *const *P) |
Definition at line 55 of file ProgramState.h.
typedef T::data_type clang::ento::ProgramStateTrait< T >::data_type |
Definition at line 56 of file ProgramState.h.
|
inlinestatic |
Definition at line 58 of file ProgramState.h.
|
inlinestatic |
Definition at line 57 of file ProgramState.h.