0002396: cast error with reference fields - Frama-C Bug Tracking System

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002396

Frama-C

Plug-in > clang

public

2018-08-24 00:25

Reporter

abhishek.anand.iitg@gmail.com

Assigned To

virgile

Priority

normal

Severity

minor

Reproducibility

always

Status

assigned

Resolution

open

Platform

manjaro

OS Version

8/23/3018

Product Version

Frama-C 17-Chlorine

Target Version

Fixed in Version

Summary

0002396: cast error with reference fields

Description

class B { }; template class A { public: T &x; A(T &y): x(y) {} }; int main() { B b; B & y=b; A a(y); } I get the following error: root@27db7a69b96a:/hostshare# frama-c -print refFieldBug.cpp [kernel] Parsing refFieldBug.cpp (external front-end) Now output intermediate result [kernel] refFieldBug.cpp:8: Failure: castTo struct _Z1B -> struct _Z1B * [kernel] User Error: stopping on file "refFieldBug.cpp" that has errors. [kernel] Frama-C aborted: invalid user inp I don't see what could be the problem because the following succeeds: class A { public: T &x; A(T &y): x(y) {} }; int main() { int x=0; int & y=x; A a(y); }

Tags

No tags attached.

Attached Files

Relationships

Notes
There are no notes attached to this issue.

Issue History
Date Modified	Username	Field	Change
2018-08-24 00:25	abhishek.anand.iitg@gmail.com	New Issue
2018-08-24 00:25	abhishek.anand.iitg@gmail.com	Status	new => assigned
2018-08-24 00:25	abhishek.anand.iitg@gmail.com	Assigned To	=> virgile