clang::ento::ProgramStateTrait< PreCallSelfFlags > Struct Template Reference

A call receiving a reference to 'self' invalidates the object that 'self' contains. This keeps the "self flags" assigned to the 'self' object before the call so we can assign them to the new object that 'self' points to after the call. More...

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

Collaboration diagram for clang::ento::ProgramStateTrait< PreCallSelfFlags >:

List of all members.

Static Public Member Functions
static void *	GDMIndex ()

---

Detailed Description

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

A call receiving a reference to 'self' invalidates the object that 'self' contains. This keeps the "self flags" assigned to the 'self' object before the call so we can assign them to the new object that 'self' points to after the call.

Definition at line 124 of file ObjCSelfInitChecker.cpp.

---

Member Function Documentation

static void* clang::ento::ProgramStateTrait< PreCallSelfFlags >::GDMIndex

(

)

[inline, static]

Definition at line 125 of file ObjCSelfInitChecker.cpp.

---

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

• ObjCSelfInitChecker.cpp