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">
12 Node:
<a name=
"Checks">Checks
</a>,
13 Next:
<a rel=
"next" accesskey=
"n" href=
"Support.html#Support">Support
</a>,
14 Previous:
<a rel=
"previous" accesskey=
"p" href=
"Show.html#Show">Show
</a>,
15 Up:
<a rel=
"up" accesskey=
"u" href=
"Languages.html#Languages">Languages
</a>
19 <h3 class=
"section">Type and range checking
</h3>
22 <em>Warning:
</em> In this release, the GDB commands for type and range
23 checking are included, but they do not yet have any effect. This
24 section documents the intended facilities.
27 <p>Some languages are designed to guard you against making seemingly common
28 errors through a series of compile- and run-time checks. These include
29 checking the type of arguments to functions and operators, and making
30 sure mathematical overflows are caught at run time. Checks such as
31 these help to ensure a program's correctness once it has been compiled
32 by eliminating type mismatches, and providing active checks for range
33 errors when your program is running.
35 GDB can check for conditions like the above if you wish.
36 Although GDB does not check the statements in your program, it
37 can check expressions entered directly into GDB for evaluation via
38 the
<code>print
</code> command, for example. As with the working language,
39 GDB can also decide whether or not to check automatically based on
40 your program's source language. See
<a href=
"Support.html#Support">Supported languages
</a>,
41 for the default settings of supported languages.
44 <li><a accesskey=
"1" href=
"Type-Checking.html#Type%20Checking">Type Checking
</a>: An overview of type checking
45 <li><a accesskey=
"2" href=
"Range-Checking.html#Range%20Checking">Range Checking
</a>: An overview of range checking