range based for loop from C++11 not supported

ID0002345: This issue was created automatically from Mantis Issue 2345. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0002345	Frama-C	Plug-in > clang	public	2018-01-19	2018-01-19

Reporter	jens	Assigned To	virgile	Resolution	open
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C GIT, precise the release id	Target Version	-	Fixed in Version	-

Description :

The 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.

Attachments

• range_based_for_loop.cpp