Frama-C Bug Tracking System - Frama-C
View Issue Details
0002508Frama-CKernelpublic2020-06-10 08:222020-10-06 09:58
ReporterJoGi 
Assigned ToAllanBlanchard 
PrioritylowSeverityminorReproducibilityalways
StatusassignedResolutionopen 
PlatformLinuxOSUbuntuOS Version18.04 LTS
Product VersionFrama-C 19-Potassium 
Target VersionFixed in Version 
Summary0002508: cabs2cil fails with statements in expression in a question
DescriptionWhen 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 Reproduceframa-c ex_stmt_exp.c -kernel-debug 1
Should do the trick.
Additional InformationIf the question expression is not a statement itself (but, for example, a right-value) then the type checking doesn't fail.
TagsNo tags attached.
Attached Filesc ex_stmt_expr.c (241) 2020-06-10 08:22
https://bts.frama-c.com/file_download.php?file_id=1350&type=bug

There are no notes attached to this issue.

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