[fpc-devel] Data flow analysis (dfa) and "case ... of"
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