Frama-C Bug Tracking System - Frama-C
View Issue Details
0002364Frama-CPlug-in > clangpublic2018-02-12 13:512018-02-12 13:51
Jochen 
virgile 
nonefeaturealways
assignedopen 
Sulfur-20171101Ubuntu 17.10
Frama-C 16-Sulfur 
 
0002364: Frama-clang reports overloading ambiguity where Frama-C doesn't
(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).
No tags attached.
cpp reverse_cpp.cpp (165) 2018-02-12 13:51
https://bts.frama-c.com/file_download.php?file_id=1252&type=bug
Issue History
2018-02-12 13:51JochenNew Issue
2018-02-12 13:51JochenStatusnew => assigned
2018-02-12 13:51JochenAssigned To => virgile
2018-02-12 13:51JochenFile Added: reverse_cpp.cpp

There are no notes attached to this issue.