tests/syntax/oracle/bool_conversion.res.oracle · 277955656059c510be9715e47b30fc5376faa244 · pub / frama-c

2 years ago

[typing] better handling of casts to boolean · 63f779c5

- 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

63f779c5

History

[typing] better handling of casts to boolean

Virgile Prevosto authored 2 years ago

- 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