Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002365Frama-CPlug-in > clangpublic2018-02-12 14:062018-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 Filescpp file icon partial_sort_cpp.cpp [^] (84 bytes) 2018-02-12 14:06

- Relationships

-  Notes
There are no notes attached to this issue.

- 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


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker