---
layout: fc_discuss_archives
title: Message 27 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"
- Subject: [Frama-c-discuss] unbound value when calling "Annotations.get_annotations"
- From: Julien.Signoles at cea.fr (Julien Signoles)
- Date: Wed, 20 Jul 2011 10:20:46 +0200
- In-reply-to: <CALiiei7k2=U37WyB0r+8xNgrqXvE+TcPBdkbHaYbGs1wzdcvSA@mail.gmail.com>
- References: <CALiiei4qQo5T2Xd2G3jBa+5CAwmG0zxHWOpTsLdZYH_HCJLEtA@mail.gmail.com> <CALiiei79wZVZWh9mRLzRjsOZmGp3=BfpTOHv_Bn=o9LLmwNC8Q@mail.gmail.com> <CALiiei7k2=U37WyB0r+8xNgrqXvE+TcPBdkbHaYbGs1wzdcvSA@mail.gmail.com>
Le 20/07/2011 09:59, ??? a ?crit :
Maybe the best way is
> to use hash tables to store the extra information.
If you want that such hash tables properly work in a multi-project
context, then you have to "projecty" it. For this purpose, the simplest
solution is to apply the functor Cil_state_builder.Stmt_hashtbl.
--
Julien