I am writing a Generic Data Map (GDM) client, a checker basically.
Comment in ProgramState.h reads:
The typical way that clients generate unique tags are by taking the address of a static variable.
Question: Can one use pointer to Decl as a GDM tag? In other words, are
Decl pointers in a translation unit unique?
Code perusal reveals that Decls belong to an object instance (possibly
AnalysisConsumer). So, in theory they are non-unique and should not be
used as a GDM tag. Is that correct?
Thanks and Regards,