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 | ![]() https://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 |