| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] |
| ID | Project | Category | View Status | Date Submitted | Last Update |
| 0002508 | Frama-C | Kernel | public | 2020-06-10 08:22 | 2020-06-10 08:22 |
|
| Reporter | JoGi | |
| Assigned To | | |
| Priority | low | Severity | minor | Reproducibility | always |
| Status | new | 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. |
|
| Attached Files |  ex_stmt_expr.c [^] (241 bytes) 2020-06-10 08:22 [Show Content] [Hide Content]#include "stdio.h"
int main(int argc, char** args){
int a = 0;
0 ? a-- : a++ ; // doesn't fail
0 ? ({ a++; }): ({ a--; }) ; // fails !
int i = 0 ? ({ a++; }): ({ a--; }) ; // doesn't fail !
return 0;
}
|
|
Relationships 
Relationships