2021-03-01 23:09 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002364Frama-CPlug-in > clangpublic2018-02-12 13:51
Assigned Tovirgile 
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 Files


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
+Issue History