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