Frama-clang reports overloading ambiguity where Frama-C doesn't
ID0002364: This issue was created automatically from Mantis Issue 2364. Further discussion may take place here.
|ID0002364||Frama-C||Plug-in > clang||public||2018-02-12||2018-02-12|
|Platform||Sulfur-20171101||OS||-||OS Version||Ubuntu 17.10|
|Product Version||Frama-C 16-Sulfur||Target Version||-||Fixed in Version||-|
(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).