Anonymous | Login | Signup for a new account | 2019-12-13 01:12 CET | ![]() |
Main | My View | View Issues | Change Log | Roadmap | Repositories |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||
0002161 | Frama-C | Kernel | public | 2015-09-15 16:41 | 2016-02-03 11:25 | ||||
Reporter | jens | ||||||||
Assigned To | yakobowski | ||||||||
Priority | normal | Severity | minor | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | OS | OS Version | |||||||
Product Version | Frama-C Sodium | ||||||||
Target Version | Fixed in Version | Frama-C Magnesium | |||||||
Summary | 0002161: redefinition of __STDC_VERSION__ | ||||||||
Description | I have installed Frama-C Sodium on xubuntu-15.10 (beta).
When I run Frama-C on a simple program then I receive the following warning:
$ frama-c foo.c
[kernel] Parsing FRAMAC_SHARE/libc/__fc_builtin_for_normalization.i (no preprocessing)
[kernel] Parsing foo.c (with preprocessing)
/tmp/ppannotcb181c.c:1:0: warning: "__STDC_VERSION__" redefined
#define __STDC_VERSION__ 201112L
^
| ||||||||
Steps To Reproduce | run 'frama-c foo.c' on the attached file | ||||||||
Additional Information | The problem does NOT occur under xubuntu-15.04 | ||||||||
Tags | No tags attached. | ||||||||
Attached Files | ![]() | ||||||||
![]() |
|
(0006038) yakobowski (manager) 2015-09-15 17:20 |
This is due to GCC's shift from C99 to C11. Magnesium will handle this issue fine. Alternatively, it may help to add '-cpp-extra-args="-std=C99"' to your command-line. (Not sure this is actually sufficient, though.) |
(0006147) jens (reporter) 2016-02-02 22:03 |
In one of my xubuntu-15.10 installations Magnesium still complains.
Even when I add '-cpp-extra-args="-std=c99"', then it prints
/tmp/ppannot16f3ff.c:1:0: warning: "__STDC_VERSION__" redefined
#define __STDC_VERSION__ 199901L
^
|
(0006148) virgile (developer) 2016-02-03 09:27 |
I'm not able to reproduce the issue here with a fresh Magnesium installation. Can you provide an example file, together with the output of frama-c -help and gcc -version? |
(0006149) jens (reporter) 2016-02-03 11:21 |
I observed it yesterday. Afterwards I reinstalled a patched version of Magnesium to deal with #2205 and then the issue disappeared. Somewhat weird. I think this issue can be closed again. Sorry. |
(0006150) virgile (developer) 2016-02-03 11:25 |
No problem, this happens to everyone now and then. |
![]() |
|||
Date Modified | Username | Field | Change |
2015-09-15 16:41 | jens | New Issue | |
2015-09-15 16:41 | jens | File Added: foo.c | |
2015-09-15 17:20 | yakobowski | Note Added: 0006038 | |
2015-10-22 13:15 | yakobowski | Status | new => resolved |
2015-10-22 13:15 | yakobowski | Fixed in Version | => Frama-C Magnesium |
2015-10-22 13:15 | yakobowski | Resolution | open => fixed |
2015-10-22 13:15 | yakobowski | Assigned To | => yakobowski |
2016-01-26 08:43 | signoles | Status | resolved => closed |
2016-02-02 22:03 | jens | Note Added: 0006147 | |
2016-02-02 22:03 | jens | Status | closed => feedback |
2016-02-02 22:03 | jens | Resolution | fixed => reopened |
2016-02-03 09:27 | virgile | Note Added: 0006148 | |
2016-02-03 11:21 | jens | Note Added: 0006149 | |
2016-02-03 11:21 | jens | Status | feedback => assigned |
2016-02-03 11:25 | virgile | Note Added: 0006150 | |
2016-02-03 11:25 | virgile | Status | assigned => closed |
2016-02-03 11:25 | virgile | Resolution | reopened => fixed |
Copyright © 2000 - 2019 MantisBT Team |