--- layout: fc_discuss_archives title: Message 3 from Frama-C-discuss on April 2014 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Question about get varinfo from vid



Hi all!
I have some question when using a Frama-c program in old version. It used
the function varinfo_from_vid () to get varinfo.
In the change log I saw that it has been removed and can use maps or hash
tables indexed by varinfo to get it.
I am not quite understand since I am new to cil and frama-c. Does it mean
that I need to keep a (vid,varinfo) hashtable by myself and pass it to
every function that has used variunfo_from_vid()? Or there are other ways
to do that. If some one has example or advice, I would be really
appreciated.
Thank you so much!!

-- 
Kind regards,
Qi Alfred Chen
PhD Student,
Department of Electrical Engineering and Computer Science,
University of Michigan - Ann Arbor, 48105
Tel: 1-734-834-2916
Alt. Email: adios737 at gmail.com
Homepage: www.eecs.umich.edu/~alfchen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20140403/43fa6710/attachment.html>