Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002367Frama-CPlug-in > clangpublic2018-02-12 15:142018-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 Filescpp file icon equal_range_cpp.cpp [^] (138 bytes) 2018-02-12 15:14

- Relationships

-  Notes
(0006529)
Jochen (reporter)
2018-02-12 16:03

Could be related to 0002356 ?

- 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


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker