Hello, I wish to pass some statement-level annotations (by this I mean, some information associated with each source statement, say a string) to the backend for my analysis. If I try to attach labels, CIL seems to remove them in the code it generates. The CIL paper (CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs) says that CIL extends the GNU C notation for pragmas and attributes for the purpose of communicating extra information to the analysis. Has anyone used this mechanism? Could someone tell me how to do this / point me to an example where this is done?
Thanks and regards, Anirudh -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean. ------------------------------------------------------------------------------ Benefiting from Server Virtualization: Beyond Initial Workload Consolidation -- Increasing the use of server virtualization is a top priority.Virtualization can reduce costs, simplify management, and improve application availability and disaster protection. Learn more about boosting the value of server virtualization. http://p.sf.net/sfu/vmware-sfdev2dev _______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
