| 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 |
| ||||||||||||
 Relationships |
|
 Relationships |
| Notes |
|
| There are no notes attached to this issue. |
| Notes |
| 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 |
| Issue History |