0002367: C-function returning a struct causes warning on missing Ctor code/spec when inside 'extern "C" {...}'

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002367

Frama-C

Plug-in > clang

public

2018-02-12 15:14

2018-02-12 16:03

Reporter

Jochen

Assigned To

virgile

Priority

normal

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Platform

Sulfur-20171101

OS Version

Ubuntu 17.10

Product Version

Frama-C 16-Sulfur

Target Version

Fixed in Version

Summary

0002367: C-function returning a struct causes warning on missing Ctor code/spec when inside 'extern "C" {...}'

Description

Running "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.

Tags

No tags attached.

Attached Files

equal_range_cpp.cpp (138 bytes) 2018-02-12 15:14

Relationships

Relationships

Notes

~0006529

Jochen (reporter)

2018-02-12 16:03

Could be related to 0002356 ?

Notes

Date Modified	Username	Field	Change
Issue History
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