src/plugins/variadic/tests/known/oracle/wchar.res.oracle · 35be8cd279ffac9f4a7049343ad354edf2567cb0 · pub / frama-c

3 years ago

[kernel] Fix decision whether to introduce an implicit cast or not · 35be8cd2

attributes that are completely internal to Frama-C and do not have any impact
on the semantics of the underlying value should not lead to a cast node.

35be8cd2

History

[kernel] Fix decision whether to introduce an implicit cast or not

Virgile Prevosto authored 3 years ago

attributes that are completely internal to Frama-C and do not have any impact
on the semantics of the underlying value should not lead to a cast node.