Anonymous | Login | Signup for a new account | 2019-02-21 12:06 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 | ||||
0002400 | Frama-C | Plug-in > clang | public | 2018-09-21 15:25 | 2018-09-21 21:13 | ||||
Reporter | richardlford | ||||||||
Assigned To | virgile | ||||||||
Priority | normal | Severity | major | Reproducibility | always | ||||
Status | closed | Resolution | fixed | ||||||
Platform | x86_64 | OS | Ubuntu via WSL | OS Version | 16 | ||||
Product Version | Frama-C 17-Chlorine | ||||||||
Target Version | Fixed in Version | Frama-C 17-Chlorine | |||||||
Summary | 0002400: Missing __END_DECLS in ./share/libc/__fc_alloc_axiomatic.h | ||||||||
Description | In file ./share/libc/__fc_alloc_axiomatic.h there is a __BEGIN_DECLS but no matching __END_DECLS. When __BEGIN_DECLS expands to 'extern "C" {' and __END_DECLS expands to '}' this results in miss-matched braces and the following code appears to be under and extern "C". This leads to errors, e.g. when template definitions are encountered. | ||||||||
Steps To Reproduce | Install Frama-C Chlorine and frama-clang-0.0.6. use the command "frama-c version.cpp" where version.cpp has this content: // 'Hello World!' program #include <iostream> int main() { std::cout << "Hello World, version is "<< __cplusplus << "!" << std::endl; return 0; } | ||||||||
Additional Information | Adding in the missing __END_DECLS removes this problem. | ||||||||
Tags | No tags attached. | ||||||||
Attached Files | ![]() | ||||||||
![]() |
|
(0006647) virgile (developer) 2018-09-21 15:30 |
Thanks for your report. Are you sure that you have the latest Chlorine version installed, i.e. 20180502? There was indeed an issue with 20180501, with the exact symptoms you described, and a bugfix release of Frama-C was made for this very reason. |
(0006648) richardlford (reporter) 2018-09-21 20:14 |
Sorry, I didn't realize there was more than one version of Chlorine. I indeed had the 20180501 version, not the 20180502 version. I see the new version has fixed my problem. |
(0006649) virgile (developer) 2018-09-21 21:12 |
No problem. I have to admit that it is indeed a bit unfortunate that we didn't spot the issue before the release of 20180501 🙄 |
![]() |
|||
Date Modified | Username | Field | Change |
2018-09-21 15:25 | richardlford | New Issue | |
2018-09-21 15:25 | richardlford | Status | new => assigned |
2018-09-21 15:25 | richardlford | Assigned To | => virgile |
2018-09-21 15:25 | richardlford | File Added: version.cpp | |
2018-09-21 15:30 | virgile | Note Added: 0006647 | |
2018-09-21 20:14 | richardlford | Note Added: 0006648 | |
2018-09-21 21:12 | virgile | Note Added: 0006649 | |
2018-09-21 21:13 | virgile | Status | assigned => closed |
2018-09-21 21:13 | virgile | Resolution | open => fixed |
2018-09-21 21:13 | virgile | Fixed in Version | => Frama-C 17-Chlorine |
Copyright © 2000 - 2019 MantisBT Team |