--- layout: fc_discuss_archives title: Message 40 from Frama-C-discuss on August 2015 ---
<builtin.h> has been superseded by <libc/__fc_builtin.h>, which should also include some extra built-ins. The next release will explicitly warn about this (or remove builtin.h altogether). Andre On 08/21/2015 01:51 AM, Tim Newsham wrote: > There seems to be a conflict when including both > <stdio.h> (or other libc headers) and <builtin.h>. > Is there some trick to including both? > > FRAMAC_SHARE/libc/__fc_define_size_t.h:26:[kernel] user error: > redefinition of 'size_t' in the same scope. Previous declaration was > at FRAMAC_SHARE/machine.h:67 > FRAMAC_SHARE/libc/__fc_define_time_t.h:25:[kernel] user error: > redefinition of 'time_t' in the same scope. Previous declaration was > at FRAMAC_SHARE/machine.h:70 > FRAMAC_SHARE/libc/__fc_define_file.h:39:[kernel] user error: > redefinition of 'FILE' in the same scope. Previous declaration was at > FRAMAC_SHARE/machine.h:88 > [kernel] user error: stopping on file "fin.c" that has errors. Add > '-kernel-msg-key pp' > for preprocessing command. > [kernel] Frama-C aborted: invalid user input. > > > -- > Tim Newsham | www.thenewsh.com/~newsham > <http://www.thenewsh.com/%7Enewsham> | @newshtwit | > thenewsh.blogspot.com <http://thenewsh.blogspot.com> > > > _______________________________________________ > 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/20150821/413cd19b/attachment-0001.html>