15.4.7.7 Modula-2 Type and Range Checks

Warning: in this release, gdb does not yet perform type or range checking.

gdb considers two Modula-2 variables type equivalent if:

• They are of types that have been declared equivalent via a TYPE t1 = t2 statement
• They have been declared on the same line. (Note: This is true of the gnu Modula-2 compiler, but it may not be true of other compilers.)

As long as type checking is enabled, any attempt to combine variables whose types are not equivalent is an error.

Range checking is done on all mathematical operations, assignment, array index bounds, and all built-in functions and procedures.