mingw/info/gdb/M2-Checks.html

   1 <html lang="en">
   2 <head>
   3 <title>Debugging with GDB</title>
   4 <meta http-equiv="Content-Type" content="text/html">
   5 <meta name="description" content="Debugging with GDB">
   6 <meta name="generator" content="makeinfo 4.3">
   7 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home">
   8 </head>
   9 <body>
  10 <div class="node">
  11 <p>
  12 Node:<a name="M2%20Checks">M2 Checks</a>,
  13 Next:<a rel="next" accesskey="n" href="M2-Scope.html#M2%20Scope">M2 Scope</a>,
  14 Previous:<a rel="previous" accesskey="p" href="Deviations.html#Deviations">Deviations</a>,
  15 Up:<a rel="up" accesskey="u" href="Modula-2.html#Modula-2">Modula-2</a>
  16 <hr><br>
  17 </div>
  18
  19 <h5 class="subsubsection">Modula-2 type and range checks</h5>
  20
  21    <blockquote>
  22 <em>Warning:</em> in this release, GDB does not yet perform type or
  23 range checking.
  24 </blockquote>
  25
  26    GDB considers two Modula-2 variables type equivalent if:
  27
  28      <ul>
  29 <li>They are of types that have been declared equivalent via a <code>TYPE
  30 </code><var>t1</var><code> = </code><var>t2</var><code></code> statement
  31
  32      <li>They have been declared on the same line.  (Note:  This is true of the
  33 <small>GNU</small> Modula-2 compiler, but it may not be true of other compilers.)
  34 </ul>
  35
  36    <p>As long as type checking is enabled, any attempt to combine variables
  37 whose types are not equivalent is an error.
  38
  39    <p>Range checking is done on all mathematical operations, assignment, array
  40 index bounds, and all built-in functions and procedures.
  41
  42    </body></html>
  43