0002364: Frama-clang reports overloading ambiguity where Frama-C doesn't

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002364

Frama-C

Plug-in > clang

public

2018-02-12 13:51

Reporter

Jochen

Assigned To

virgile

Priority

none

Severity

feature

Reproducibility

always

Status

assigned

Resolution

open

Platform

Sulfur-20171101

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

reverse_cpp.cpp (165 bytes) 2018-02-12 13:51

Relationships

Relationships

Notes
There are no notes attached to this issue.

Notes

Date Modified	Username	Field	Change
Issue History
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