View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0002364 | Frama-C | Plug-in > clang | public | 2018-02-12 13:51 | 2018-02-12 13:51 | ||||||||
Reporter | Jochen | ||||||||||||
Assigned To | virgile | ||||||||||||
Priority | none | Severity | feature | Reproducibility | always | ||||||||
Status | assigned | Resolution | open | ||||||||||
Platform | Sulfur-20171101 | OS | OS Version | Ubuntu 17.10 | |||||||||
Product Version | Frama-C 16-Sulfur | ||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0002364: 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). | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|