clang  7.0.0
Static Public Member Functions | List of all members
clang::ento::ProgramStateTrait< PtrSet > Struct Template Reference
Inheritance diagram for clang::ento::ProgramStateTrait< PtrSet >:
[legend]
Collaboration diagram for clang::ento::ProgramStateTrait< PtrSet >:
[legend]

Static Public Member Functions

static void * GDMIndex ()
 

Detailed Description

template<>
struct clang::ento::ProgramStateTrait< PtrSet >

Definition at line 36 of file InnerPointerChecker.cpp.

Member Function Documentation

◆ GDMIndex()

static void* clang::ento::ProgramStateTrait< PtrSet >::GDMIndex ( )
inlinestatic

Definition at line 37 of file InnerPointerChecker.cpp.


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