Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002346Frama-CPlug-in > clangpublic2018-01-19 17:272018-01-19 17:28
Reporterjens 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in Version 
Summary0002346: C++11 delegating constructor not supported
DescriptionThe attached two examples for with g++ in C++11 mode.
The first example is pure C++03. Fram-Clang can handle it.
The second version uses a delegation constructor.
Frama-Clang fails on this one with the error message:

frama-c -val object_construction2.cpp
[kernel] Parsing object_construction2.cpp (external front-end)
Unsupported constructor initializer:SomeType
Aborting
[kernel] user error: Failed to parse C++ file. See Clang messages for more information
[kernel] user error: stopping on file "object_construction2.cpp" that has errors.
[kernel] Frama-C aborted: invalid user input.
Additional Informationframa-clang 0.0.4
TagsNo tags attached.
Attached Filescpp file icon object_construction1.cpp [^] (484 bytes) 2018-01-19 17:27
cpp file icon object_construction2.cpp [^] (365 bytes) 2018-01-19 17:28

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2018-01-19 17:27 jens New Issue
2018-01-19 17:27 jens Status new => assigned
2018-01-19 17:27 jens Assigned To => virgile
2018-01-19 17:27 jens File Added: object_construction1.cpp
2018-01-19 17:28 jens File Added: object_construction2.cpp


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker