2020-12-04 23:59 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002367Frama-CPlug-in > clangpublic2018-02-12 16:03
ReporterJochen 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformSulfur-20171101OSOS VersionUbuntu 17.10
Product VersionFrama-C 16-Sulfur 
Target VersionFixed in Version 
Summary0002367: C-function returning a struct causes warning on missing Ctor code/spec when inside 'extern "C" {...}'
DescriptionRunning "frama-c -wp equal_range_cpp.cpp" prints

[kernel] warning: Assuming declared function pair::Ctor can't throw any exception
equal_range_cpp.cpp:6:[kernel] warning: Neither code nor specification for function pair::Ctor, generating default assigns from the prototype

Both messages disappear when the file is renamed to "equal_range_cpp.c" and/or the leading 'extern "C" {' and the trailing '}' are removed.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes

~0006529

Jochen (reporter)

Could be related to 0002356 ?
+Notes

-Issue History
Date Modified Username Field Change
2018-02-12 15:14 Jochen New Issue
2018-02-12 15:14 Jochen Status new => assigned
2018-02-12 15:14 Jochen Assigned To => virgile
2018-02-12 15:14 Jochen File Added: equal_range_cpp.cpp
2018-02-12 16:03 Jochen Note Added: 0006529
+Issue History