3 ms·
Re undefined behaviour: I could be wrong there, actually. The rules are complex: http://www.adaic.org/resources/add_content/standards/95lrm/ARM_HTML/RM-1-1-5.ht
by david-given 10y ago
Re undefined behaviour: I could be wrong there, actually. The rules are complex: http://www.adaic.org/resources/add_content/standards/95lrm/ARM_HTML/RM-1-1-5.html http://www.adaic.org/resources/add_content/standards/95lrm/A... But if you have an undefined variable with a limited range, e.g. an enumeration, then it's possible the contents of the memory location might correspond to an invalid value for that type. So, accessing that variable in any way other than assigning to it is erroneous behaviour (of some variety). But I forget whether the compiler is required to check and error out or whether it merely can check and error out if it likes.
Adacore's Gnat distribution (at least the last time I looked at it) had the standard library GPL licensed, not LGPL licensed... thus making any binaries built with their toolchain undistributable unless they're GPL'd.