Info Catalog gdb: Deviations gdb: Modula-2 gdb: M2 Scope

gdb: M2 Checks

 
 15.4.9.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.
 

Info Catalog gdb: Deviations gdb: Modula-2 gdb: M2 Scope