Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002171Frama-CKernel > libcpublic2015-09-29 21:302016-01-26 13:39
Reporterkroeckx 
Assigned Tomaroneze 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Sodium 
Target VersionFixed in VersionFrama-C Magnesium 
Summary0002171: redefinition of size_t, time_t, FILE
DescriptionHi,

if I include both <stdio.h> and <builtin.h> 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
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0006047)
yakobowski (manager)
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.

- Issue History
Date Modified Username Field Change
2015-09-29 21:30 kroeckx New Issue
2015-09-29 21:30 kroeckx Status new => assigned
2015-09-29 21:30 kroeckx Assigned To => maroneze
2015-09-29 21:57 yakobowski Note Added: 0006047
2015-09-29 21:57 yakobowski Status assigned => resolved
2015-09-29 21:57 yakobowski Fixed in Version => Frama-C Magnesium
2015-09-29 21:57 yakobowski Resolution open => fixed
2016-01-26 08:43 signoles Status resolved => closed


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker