On Sun, Mar 31, 2013 at 01:37:33PM +0530, son...@iitk.ac.in wrote:
> If i have wrapped varinfos in record type as below:
>
> type type = {
> mutable one : varinfo;
> mutable two : varinfo;
> }
>
> how can i use this varinfo values?
> Also how can i make use of varinfo returned from findOrCreateFunc?
You should probably explain what you are trying to do. You can use these values
to do many things (check the equality of some varinfo with another, build a new
varinfo, etc.), it's just impossible to list every possibility.
In case you are just wondering about the syntax, something like this for
instance (but again, remember this is only an example):
let env = { one = findOrCreateFunc ... ; two = findOrCreateFunc ... } in
let call = Call(Lval (Var env.one, NoOffset), ...) in
...
Best regards,
--
Gabriel
------------------------------------------------------------------------------
Own the Future-Intel(R) Level Up Game Demo Contest 2013
Rise to greatness in Intel's independent game demo contest. Compete
for recognition, cash, and the chance to get your game on Steam.
$5K grand prize plus 10 genre and skill prizes. Submit your demo
by 6/6/13. http://altfarm.mediaplex.com/ad/ck/12124-176961-30367-2
_______________________________________________
CIL-users mailing list
CIL-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/cil-users
