-
Virgile Prevosto authored
- Cabs2cil.is_boolean_result returns true if the expression is of type _Bool - use standard result instead of custom expression for cast of a boolean to _Bool
Virgile Prevosto authored- Cabs2cil.is_boolean_result returns true if the expression is of type _Bool - use standard result instead of custom expression for cast of a boolean to _Bool
bool_conversion.res.oracle 388 B
[kernel] Parsing bool_conversion.i (no preprocessing)
/* Generated by Frama-C */
_Bool get_bool(void);
_Bool pass_bool(_Bool b);
_Bool b_flag1;
_Bool b_flag2;
void main(void)
{
int tmp_0;
_Bool tmp;
_Bool tmp_1;
tmp = get_bool();
if (tmp) tmp_0 = 0; else tmp_0 = 1;
b_flag1 = pass_bool((_Bool)(tmp_0 != 0));
tmp_1 = get_bool();
b_flag2 = pass_bool(tmp_1);
return;
}