Frama-C Bug Tracking System - Frama-C
View Issue Details
0002508Frama-CKernelpublic2020-06-10 08:222020-10-06 09:58
LinuxUbuntu18.04 LTS
Frama-C 19-Potassium 
0002508: cabs2cil fails with statements in expression in a question
When you have a statement in expression ( ) in a question expression for example « 0 ? ({ printf("1"); }): ({ printf("1"); }); », the type-checker fails.
frama-c ex_stmt_exp.c -kernel-debug 1 Should do the trick.
If the question expression is not a statement itself (but, for example, a right-value) then the type checking doesn't fail.
No tags attached.
c ex_stmt_expr.c (241) 2020-06-10 08:22
Issue History
2020-06-10 08:22JoGiNew Issue
2020-06-10 08:22JoGiFile Added: ex_stmt_expr.c
2020-10-06 09:58AllanBlanchardAssigned To => AllanBlanchard
2020-10-06 09:58AllanBlanchardStatusnew => assigned

There are no notes attached to this issue.