--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on December 2016 ---
Installed Silicium-rc1, but I still get the same error message. This is the preprocessed source ext2.mod.i, if you're interested: http://paste.ubuntu.com/23560908/ On Wed, Nov 30, 2016 at 12:58 PM, Gergö Barany <gergo.barany at cea.fr> wrote: > On 29/11/16 21:11, Nima Mohammadi wrote: > >> ../.././arch/x86/include/asm/paravirt.h:407,86:[kernel] failure: >> typeOffset: Field func on a non-compound type 'void *' >> > > This looks strange. You could see if it's a bug in your version of Frama-C > that's fixed in the Silicium/Silicon release snapshot at > https://github.com/Frama-C/Frama-C-snapshot/releases > > If not, it's probably impossible to say much more without the preprocessed > source you are trying to parse. > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss at lists.gforge.inria.fr > http://lists.gforge.inria.fr/mailman/listinfo/frama-c-discuss > -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20161201/0cb657a6/attachment.html>