reference typedef causes conversion error in contract
ID0001948: **This issue was created automatically from Mantis Issue 1948. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0001948 | Frama-Clang | Plug-in > clang | public | 2014-10-30 | 2015-02-17 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | Jochen | **Assigned To** | virgile | **Resolution** | open | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | frama-c-Neon-20140301+dev-stance | **OS** | xubuntu-cfe13.10 | **OS Version** | - | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### Description : output: 114.cpp:7:37: invalid implicit conversion Now output intermediate result The error disappears if "reference" is changed to "int&" in line 8. ## Attachments - [114.cpp](/uploads/47dd1e60cc1a1a5d2510ce3ad1ed608f/114.cpp)
issue