Anonymous | Login | Signup for a new account | 2019-02-21 12:01 CET | ![]() |
Main | My View | View Issues | Change Log | Roadmap | Repositories |
View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
0002396 | Frama-C | Plug-in > clang | public | 2018-08-24 00:25 | 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 | OS | 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 | |||||||||||||
![]() |
|||
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 |
Copyright © 2000 - 2019 MantisBT Team |