[fpc-devel] Data flow analysis (dfa) and "case ... of"

Jonas Maebe jonas at freepascal.org
Mon Jun 5 18:51:53 CEST 2017

On 05/06/17 18:46, Denis Kozlov wrote:
> Result is undefined if caller passes an out of range value.

That would be an error at the time this out-of-range value would be 
converted to TAnchorKind. If range checking is off there or disabled via 
an explicit type cast, then the result is undefined by definition. The 
compiler can and does assume in various cases that a type only holds 
values valid for that type.


More information about the fpc-devel mailing list