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

[Jonas Maebe]

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.


Jonas