Frama-C Bug Tracking System - Frama-C
View Issue Details
0002400Frama-CPlug-in > clangpublic2018-09-21 15:252018-09-21 21:13
x86_64Ubuntu via WSL16
Frama-C 17-Chlorine 
Frama-C 17-Chlorine 
0002400: Missing __END_DECLS in ./share/libc/__fc_alloc_axiomatic.h
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.
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 int main() { std::cout << "Hello World, version is "<< __cplusplus << "!" << std::endl; return 0; }
Adding in the missing __END_DECLS removes this problem.
No tags attached.
cpp version.cpp (163) 2018-09-21 15:25
Issue History
2018-09-21 15:25richardlfordNew Issue
2018-09-21 15:25richardlfordStatusnew => assigned
2018-09-21 15:25richardlfordAssigned To => virgile
2018-09-21 15:25richardlfordFile Added: version.cpp
2018-09-21 15:30virgileNote Added: 0006647
2018-09-21 20:14richardlfordNote Added: 0006648
2018-09-21 21:12virgileNote Added: 0006649
2018-09-21 21:13virgileStatusassigned => closed
2018-09-21 21:13virgileResolutionopen => fixed
2018-09-21 21:13virgileFixed in Version => Frama-C 17-Chlorine

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