clang::ento::ProgramStateTrait< ReplayWithoutInlining > Struct Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h"

Inheritance diagram for clang::ento::ProgramStateTrait< ReplayWithoutInlining >:

Public Types
typedef ReplayWithoutInlining::data_type	data_type

Static Public Member Functions
static void *	GDMIndex ()
static void *	MakeVoidPtr (data_type D)
static data_type	MakeData (void *const *P)

Detailed Description

Definition at line 1028 of file ExprEngine.h.

Member Typedef Documentation

data_type

typedef ReplayWithoutInlining::data_type clang::ento::ProgramStateTrait< ReplayWithoutInlining >::data_type

Definition at line 52 of file ProgramState.h.

Member Function Documentation

GDMIndex()

void * clang::ento::ProgramStateTrait< ReplayWithoutInlining >::GDMIndex ( )

static

MakeData()

data_type clang::ento::ProgramStateTrait< ReplayWithoutInlining >::MakeData ( void *const * P )

inlinestatic

Definition at line 54 of file ProgramState.h.

MakeVoidPtr()

void * clang::ento::ProgramStateTrait< ReplayWithoutInlining >::MakeVoidPtr ( data_type D )

inlinestatic

Definition at line 53 of file ProgramState.h.

---

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

• include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h