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
Assigned Tovirgile 
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 - 2020 MantisBT Team
Powered by Mantis Bugtracker