gdb.info: M2 Checks
Go forward to M2 Scope
Go backward to Deviations
Go up to Modula-2
Go to the top op gdb
Modula-2 type and range checks
_Warning:_ in this release, GDB does not yet perform type or range
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
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.
Created Mon Nov 8 17:42:38 2004 on tillpc with info_to_html version 0.9.6.