Home | History | Annotate | Download | only in PathSensitive

Lines Matching refs:GDMIndex

385 GDMIndex()));
391 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
422 void *const* d = FindGDM(ProgramStateTrait<T>::GDMIndex());
586 return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
596 return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
604 return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
613 return addGDM(st, ProgramStateTrait<T>::GDMIndex(),
619 return removeGDM(st, ProgramStateTrait<T>::GDMIndex());
628 void *p = FindGDMContext(ProgramStateTrait<T>::GDMIndex(),