kernel warns about invalid implicit conversion
ID0002350: This issue was created automatically from Mantis Issue 2350. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002350 | Frama-C | Plug-in > clang | public | 2018-01-31 | 2018-02-08 |
| Reporter | jens | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C 16-Sulfur | Target Version | - | Fixed in Version | - |
Description :
When processing the attached (C-)code with Fram-Clang the kernels sends a diagnostic as follows
frama-c -wp -wp-rte implicit_conversion.cpp [kernel] Parsing implicit_conversion.cpp (external front-end) implicit_conversion.cpp:16:44: invalid implicit conversion Now output intermediate result
When processed as a ACSL/C file by WP no warning occurs.