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 <typename T>
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<int> 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