Frama-C Bug Tracking System - Frama-C
View Issue Details
0002346Frama-CPlug-in > clangpublic2018-01-19 17:272018-01-19 17:28
jens 
virgile 
normalminoralways
assignedopen 
Frama-C GIT, precise the release id 
 
0002346: C++11 delegating constructor not supported
The 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.
frama-clang 0.0.4
No tags attached.
cpp object_construction1.cpp (484) 2018-01-19 17:27
https://bts.frama-c.com/file_download.php?file_id=1225&type=bug
cpp object_construction2.cpp (365) 2018-01-19 17:28
https://bts.frama-c.com/file_download.php?file_id=1226&type=bug
Issue History
2018-01-19 17:27jensNew Issue
2018-01-19 17:27jensStatusnew => assigned
2018-01-19 17:27jensAssigned To => virgile
2018-01-19 17:27jensFile Added: object_construction1.cpp
2018-01-19 17:28jensFile Added: object_construction2.cpp

There are no notes attached to this issue.