.
But you are warned that your code is not ISO compliant and that a
compiler might do anything it wants with it (including terminating the
program).
Some corner cases of undefined behaviours are not yet handled by Frama-C.
Hope this helps,
--
| Benjamin Monate | mailto:ben
fined and
therefore Cil is correct whatever it does.
The original example is just another example of the same undefinedness.
See the answer of John Regher to have the normative reference.
Cheers,
--
| Benjamin Monate | mailto:benjamin.mon...@cea.
Hi,
Le 02/09/2011 10:32, Pavel Shved a écrit :
> Do not try to approach them as "field-to-union" casts
Could you provide a small test case to reproduce the issue you have fixed?
Cheers,
--
Benjamin Monate
-
