| Anonymous | Login | Signup for a new account | 2018-12-15 23:02 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 | ||||||||
| 0002350 | Frama-C | Plug-in > clang | public | 2018-01-31 17:56 | 2018-02-08 16:57 | ||||||||
| Reporter | jens | ||||||||||||
| Assigned To | virgile | ||||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||||||
| Status | acknowledged | Resolution | open | ||||||||||
| Platform | OS | OS Version | |||||||||||
| Product Version | Frama-C 16-Sulfur | ||||||||||||
| Target Version | Fixed in Version | ||||||||||||
| Summary | 0002350: kernel warns about invalid implicit conversion | ||||||||||||
| 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. | ||||||||||||
| Tags | No tags attached. | ||||||||||||
| Attached Files |  implicit_conversion.cpp [^] (516 bytes) 2018-01-31 17:56 imcCnv2.cpp [^] (192 bytes) 2018-02-08 16:54 | ||||||||||||
 Relationships |
|
 Relationships |
|
Notes |
|
|
(0006523) Jochen (reporter) 2018-02-08 15:47 |
Using the command "frama-c -wp -wp-rte implicit_conversion.cpp | cat -n" reveals that the "implicit conversion" message is written (probably) to stderr, while all other output is writen to stdout. |
|
(0006526) Jochen (reporter) 2018-02-08 16:57 |
I just found and boiled down another example of the same behavior; see file "imcCnv2.cpp". The error message disappears if (1) line 5 is removed, (2) line 7 is removed, or (3) each occurrence of "integer" in the file is changed to "int". |
|
Notes |
|
Issue History |
|||
| Date Modified | Username | Field | Change |
| 2018-01-31 17:56 | jens | New Issue | |
| 2018-01-31 17:56 | jens | Status | new => assigned |
| 2018-01-31 17:56 | jens | Assigned To | => virgile |
| 2018-01-31 17:56 | jens | File Added: implicit_conversion.cpp | |
| 2018-01-31 18:09 | virgile | Status | assigned => acknowledged |
| 2018-02-08 15:47 | Jochen | Note Added: 0006523 | |
| 2018-02-08 16:54 | Jochen | File Added: imcCnv2.cpp | |
| 2018-02-08 16:57 | Jochen | Note Added: 0006526 | |
|
Issue History |
| Copyright © 2000 - 2018 MantisBT Team |
|