tests/syntax/oracle/compile_constant.res.oracle · acef103f995588f6c26850a924bd04c1e9e6fc8d · pub / frama-c

5 years ago

[typing] fix long-standing bug in evaluation of conditional in constant expr · acef103f

Actually we can't completely avoid typing the branch that won't be evaluated:
we need its type in order to convert the value of the other branch if needed.

acef103f

History

[typing] fix long-standing bug in evaluation of conditional in constant expr

Virgile Prevosto authored 5 years ago

Actually we can't completely avoid typing the branch that won't be evaluated:
we need its type in order to convert the value of the other branch if needed.