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

[Frama-c-discuss] Provide information to the value analysis



Hi Boris,

Le 14/04/2012 14:32, Boris Yakobowski a ?crit :
> Your first mail went just fine, but the number of technical
> discussions on the list is on the rise, and it is not always easy to
> cope. Sorry for that, but complicated questions require complicated
> answers, and in this case a fair amount of musings on my part.

Sorry, I didn't want to complain about not having an answer !
It is just that I didn't receive the question on the list myself...

> This now does what you want. There is also no need to split after the
> call to fptr, as the 'if' will do the disjunction implicitly.

Thank you very much for your long answer. Things are a lot clearer, now.

> Now, for the bad news. The way reduction on pointers proceeds has
> changed in Oxygen, and this code will no longer work, nor actually any
> other. There were good reasons for the change, so it is not clear what
> will be in the final version of Oxygen.

Ok. We'll see that when Oxygen will come out...
(Do you have an idea of when that will be ?)

Thanks again,
-- 
Anne.