[fpc-pascal] Enum range check error

[Jonas Maebe]

On 21/10/2020 22:34, Ryan Joseph via fpc-pascal wrote:
> 
> 
>> On Oct 21, 2020, at 2:08 PM, Jonas Maebe via fpc-pascal <fpc-pascal at lists.freepascal.org> wrote:
>>
>> See https://bugs.freepascal.org/view.php?id=34972 for some comments
>> about Default. So this is a bug in the usage of Default, since Default
>> cannot be guaranteed to return a valid value for a type.
> 
> I thought default would just return the first value in the enum but I guess it's just zeros. Maybe we need a better default for objfpc mode.

I tried to explain in the rest of my message why that cannot be done. It
might be possible in some cases, but that would just create a false
sense of security and unpredictable results (because no compile-time
range checking is possible for variant records).


Jonas