2021-02-27 10:57 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002400Frama-CPlug-in > clangpublic2018-09-21 21:13
Assigned Tovirgile 
Platformx86_64OSUbuntu via WSLOS Version16
Product VersionFrama-C 17-Chlorine 
Target VersionFixed in VersionFrama-C 17-Chlorine 
Summary0002400: Missing __END_DECLS in ./share/libc/__fc_alloc_axiomatic.h
DescriptionIn 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 ReproduceInstall 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 InformationAdding in the missing __END_DECLS removes this problem.
TagsNo tags attached.
Attached Files




virgile (developer)

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.


richardlford (reporter)

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.


virgile (developer)

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 🙄

-Issue History
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
+Issue History