--- layout: fc_discuss_archives title: Message 31 from Frama-C-discuss on August 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] headers question



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 | @newshtwit | thenewsh.blogspot.com
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150820/4d640dc5/attachment.html>