--- layout: fc_discuss_archives title: Message 48 from Frama-C-discuss on April 2012 ---
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.