--- layout: fc_discuss_archives title: Message 26 from Frama-C-discuss on July 2011 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] unbound value when calling "Annotations.get_annotations"



What I mean for "Is it allowed to add a new field to Cil_type.stmt" is that
can I extend it just like Registering a New Internal State.
Of course I can add the field directly to Cil_type.stmt which is a very very
bad method because it changes Frama-C kernel. Maybe the best way is to use
hash tables to store the extra information.

Sorry for not posting my own magic answer after resolving it.

Best Wishes.


Henry Liu.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20110720/a5ad4db0/attachment.htm>