Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002364Frama-CPlug-in > clangpublic2018-02-12 13:512018-02-12 13:51
ReporterJochen 
Assigned Tovirgile 
PrioritynoneSeverityfeatureReproducibilityalways
StatusassignedResolutionopen 
PlatformSulfur-20171101OSOS VersionUbuntu 17.10
Product VersionFrama-C 16 Sulfur 
Target VersionFixed in Version 
Summary0002364: Frama-clang reports overloading ambiguity where Frama-C doesn't
Description(Not sure this is a bug. The reported behavior may be unavoidable due to C++'s more complicated overloading rules?)

Running "frama-c -wp reverse_cpp.cpp" reports "reverse_cpp.cpp:9:33: Ambiguity when choosing overloaded function Rev". When the file is renamed to "reverse_cpp.c", this message disappears, and the version in line 5 is chosen (as the verification rate 0/1 indicates).
TagsNo tags attached.
Attached Filescpp file icon reverse_cpp.cpp [^] (165 bytes) 2018-02-12 13:51

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2018-02-12 13:51 Jochen New Issue
2018-02-12 13:51 Jochen Status new => assigned
2018-02-12 13:51 Jochen Assigned To => virgile
2018-02-12 13:51 Jochen File Added: reverse_cpp.cpp


Copyright © 2000 - 2018 MantisBT Team
Powered by Mantis Bugtracker