Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002358Frama-CPlug-in > clangpublic2018-02-08 17:192018-02-08 17:19
ReporterJochen 
Assigned Tovirgile 
PrioritynormalSeverityfeatureReproducibilityalways
StatusassignedResolutionopen 
PlatformSulfur-20171101OSOS VersionUbuntu 17.10
Product VersionFrama-C 16-Sulfur 
Target VersionFixed in Version 
Summary0002358: predicate argument type "struct S" accepted by Frama-C, but not by Frama-clang
DescriptionRunning "frama-c stack_init_cpp.cpp" in the attached file results in an error message "keyword 'keyword -> struct' encountered when parsing a type" for line 6 (C++/C subroutine), but not for line 4 (Acsl predicate). When the file is renamed to "frama-c stack_init_cpp.c" , the error message disappears.
TagsNo tags attached.
Attached Filescpp file icon stack_init_cpp.cpp [^] (112 bytes) 2018-02-08 17:19

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2018-02-08 17:19 Jochen New Issue
2018-02-08 17:19 Jochen Status new => assigned
2018-02-08 17:19 Jochen Assigned To => virgile
2018-02-08 17:19 Jochen File Added: stack_init_cpp.cpp


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker