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

[Frama-c-discuss] headers question



<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>