Contents

" Using undefined values"

When this option is enabled, your program checks each time a value, from a variable, or returned by a function call, is accessed, to make sure that the value is not undefined. NOTE: Not all values can be checked, checks are only made for values of the following types:

• enumerated types (including boolean)
• subranges of enumerated types
• subranges of integer that do not include -1
• file types
• list types
• object types
• pointer types
• real
• set types (array representation)

Accesses to values of types: char, integer, record types and set types (Bit set representation) are not checked.

Contents