Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
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 file icon ex_stmt_expr.c [^] (241 bytes) 2020-06-10 08:22 [Show Content]

- Relationships

-  Notes
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


Copyright © 2000 - 2020 MantisBT Team
Powered by Mantis Bugtracker