Hi all,I have been experimenting with cil for a while and I would like your opinion on what is the best way to have source code annotations. What I need is to attach annotations to particular program statements, in particular the Loop statement.
I know that you can use #pragma at the top level and __attribute__ for variables, types and functions.
What I can to achieve is to have an invariant annotation attached to each loop that is not affected by the builtin code transformations.
For now I am encoding it as a function call with a specific name (_invariant) but the code transformations affect the construct in two ways: 1) code due to the transformations of the while loop boolean expression appears between the loop and the invariant annotations and 2) the parameters to the invariant function call area also transformed.
I would like to avoid those two things if possible. Any suggestions? All the best, Roberto Lublinerman
------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/
_______________________________________________ CIL-users mailing list CIL-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/cil-users
