2021-03-01 23:40 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002365Frama-CPlug-in > clangpublic2018-02-12 14:06
ReporterJochen 
Assigned Tovirgile 
PrioritynormalSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformSulfur-20171101OSOS VersionUbuntu 17.10
Product VersionFrama-C 16-Sulfur 
Target VersionFixed in Version 
Summary0002365: user-defined type not accepted after builtin type in quantifier chain
DescriptionRunning "frama-c -wp partial_sort_cpp.cpp" on the attached program reports "partial_sort_cpp.cpp:4:43: unexpected token 'identifier -> v' after a binders construct". The message disappears when "v" is declared as "int" instead of "value_type", or when "int n" is removed.
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-Issue History
Date Modified Username Field Change
2018-02-12 14:06 Jochen New Issue
2018-02-12 14:06 Jochen Status new => assigned
2018-02-12 14:06 Jochen Assigned To => virgile
2018-02-12 14:06 Jochen File Added: partial_sort_cpp.cpp
+Issue History