Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002345Frama-CPlug-in > clangpublic2018-01-19 16:512018-01-19 16:51
Reporterjens 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product VersionFrama-C GIT, precise the release id 
Target VersionFixed in Version 
Summary0002345: range based for loop from C++11 not supported
DescriptionThe attached example compiles without waring in C++11 mode

    g++ --std=c++11 -Wall -c -o range_based_for_loop.o range_based_for_loop.cpp

but it fails with

    frama-c -val range_based_for_loop.cpp

Error message says:

[kernel] user error: Failed to parse C++ file. See Clang messages for more information
[kernel] user error: stopping on file "range_based_for_loop.cpp" that has errors.
[kernel] Frama-C aborted: invalid user input.


TagsNo tags attached.
Attached Filescpp file icon range_based_for_loop.cpp [^] (374 bytes) 2018-01-19 16:51

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2018-01-19 16:51 jens New Issue
2018-01-19 16:51 jens Status new => assigned
2018-01-19 16:51 jens Assigned To => virgile
2018-01-19 16:51 jens File Added: range_based_for_loop.cpp


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker