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

[Frama-c-discuss] Using results of one plugin in another plugin



On Thu, 2012-02-16 at 12:00 +0100, Julien Signoles wrote:
> > method vfunc _ = begin
> >    let new_kf = Cil.get_kernel_function (Cil.copy_visit ()) (Extlib.the
> > self#current_kf) in
> >    Kernel_function.set_spec new_kf (fun s ->  s);
> >    Cil.SkipChildren
> > end

> Using (Cil.copy_visit ()) instead of your own visitor behavior 
> (something like your_visitor#behavior) is a bit strange. Not sure yet 
> your issue comes from here.

As it turned out in the kf thread, this code is wrong for a copy
visitor. I guess that's why it didn't work with Jessie.
-- 
Best regards,
Boris