Frama-C Bug Tracking System - Frama-C
View Issue Details
0002171Frama-CKernel > libcpublic2015-09-29 21:302016-01-26 13:39
kroeckx 
maroneze 
normalminoralways
closedfixed 
Frama-C Sodium 
Frama-C Magnesium 
0002171: redefinition of size_t, time_t, FILE
Hi, if I include both and to get things like Frama_C_interval() it will give the following errors: FRAMAC_SHARE/machine.h:67:[kernel] user error: redefinition of 'size_t' in the same scope. Previous declaration was at FRAMAC_SHARE/libc/__fc_define_size_t.h:26 FRAMAC_SHARE/machine.h:70:[kernel] user error: redefinition of 'time_t' in the same scope. Previous declaration was at FRAMAC_SHARE/libc/__fc_define_time_t.h:25 FRAMAC_SHARE/machine.h:88:[kernel] user error: redefinition of 'FILE' in the same scope. Previous declaration was at FRAMAC_SHARE/libc/__fc_define_file.h:39 machine.h has them as typedefs while the other files have them as #defines. Kurt
No tags attached.
Issue History
2015-09-29 21:30kroeckxNew Issue
2015-09-29 21:30kroeckxStatusnew => assigned
2015-09-29 21:30kroeckxAssigned To => maroneze
2015-09-29 21:57yakobowskiNote Added: 0006047
2015-09-29 21:57yakobowskiStatusassigned => resolved
2015-09-29 21:57yakobowskiFixed in Version => Frama-C Magnesium
2015-09-29 21:57yakobowskiResolutionopen => fixed
2016-01-26 08:43signolesStatusresolved => closed

Notes
(0006047)
yakobowski   
2015-09-29 21:57   
machine.h will be removed in Magnesium, as most of the .h and .c files under share/, that were nearly all redundant with something under share/libc/. To include headers for the various builtins, you can use share/libc/__fc_builtin.h.