Frama-C Bug Tracking System - Frama-C | |||||
| View Issue Details | |||||
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0002508 | Frama-C | Kernel | public | 2020-06-10 08:22 | 2020-10-06 09:58 |
| Reporter | JoGi | ||||
|---|---|---|---|---|---|
| Assigned To | AllanBlanchard | ||||
| Priority | low | Severity | minor | Reproducibility | always |
| Status | assigned | Resolution | open | ||
| Platform | Linux | OS | Ubuntu | OS Version | 18.04 LTS |
| Product Version | Frama-C 19-Potassium | ||||
| Target Version | Fixed in Version | ||||
| Summary | 0002508: cabs2cil fails with statements in expression in a question | ||||
| Description | When you have a statement in expression ( https://gcc.gnu.org/onlinedocs/gcc/Statement-Exprs.html ) in a question expression for example « 0 ? ({ printf("1"); }): ({ printf("1"); }); », the type-checker fails. | ||||
| Steps To Reproduce | frama-c ex_stmt_exp.c -kernel-debug 1 Should do the trick. | ||||
| Additional Information | If the question expression is not a statement itself (but, for example, a right-value) then the type checking doesn't fail. | ||||
| Tags | No tags attached. | ||||
| Relationships | |||||
| Attached Files |  ex_stmt_expr.c (241) 2020-06-10 08:22https://bts.frama-c.com/file_download.php?file_id=1350&type=bug | ||||
| There are no notes attached to this issue. |
| Issue History | |||||
| Date Modified | Username | Field | Change | ||
|---|---|---|---|---|---|
| 2020-06-10 08:22 | JoGi | New Issue | |||
| 2020-06-10 08:22 | JoGi | File Added: ex_stmt_expr.c | |||
| 2020-10-06 09:58 | AllanBlanchard | Assigned To | => AllanBlanchard | ||
| 2020-10-06 09:58 | AllanBlanchard | Status | new => assigned | ||