You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

99 lines
4.5KB

  1. <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
  2. <html>
  3. <!-- Copyright (C) 1988-2020 Free Software Foundation, Inc.
  4. Permission is granted to copy, distribute and/or modify this document
  5. under the terms of the GNU Free Documentation License, Version 1.3 or
  6. any later version published by the Free Software Foundation; with the
  7. Invariant Sections being "Free Software" and "Free Software Needs
  8. Free Documentation", with the Front-Cover Texts being "A GNU Manual,"
  9. and with the Back-Cover Texts as in (a) below.
  10. (a) The FSF's Back-Cover Text is: "You are free to copy and modify
  11. this GNU Manual. Buying copies from GNU Press supports the FSF in
  12. developing GNU and promoting software freedom." -->
  13. <!-- Created by GNU Texinfo 6.5, http://www.gnu.org/software/texinfo/ -->
  14. <head>
  15. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  16. <title>Checks (Debugging with GDB)</title>
  17. <meta name="description" content="Checks (Debugging with GDB)">
  18. <meta name="keywords" content="Checks (Debugging with GDB)">
  19. <meta name="resource-type" content="document">
  20. <meta name="distribution" content="global">
  21. <meta name="Generator" content="makeinfo">
  22. <link href="index.html#Top" rel="start" title="Top">
  23. <link href="Concept-Index.html#Concept-Index" rel="index" title="Concept Index">
  24. <link href="index.html#SEC_Contents" rel="contents" title="Table of Contents">
  25. <link href="Languages.html#Languages" rel="up" title="Languages">
  26. <link href="Type-Checking.html#Type-Checking" rel="next" title="Type Checking">
  27. <link href="Show.html#Show" rel="prev" title="Show">
  28. <style type="text/css">
  29. <!--
  30. a.summary-letter {text-decoration: none}
  31. blockquote.indentedblock {margin-right: 0em}
  32. blockquote.smallindentedblock {margin-right: 0em; font-size: smaller}
  33. blockquote.smallquotation {font-size: smaller}
  34. div.display {margin-left: 3.2em}
  35. div.example {margin-left: 3.2em}
  36. div.lisp {margin-left: 3.2em}
  37. div.smalldisplay {margin-left: 3.2em}
  38. div.smallexample {margin-left: 3.2em}
  39. div.smalllisp {margin-left: 3.2em}
  40. kbd {font-style: oblique}
  41. pre.display {font-family: inherit}
  42. pre.format {font-family: inherit}
  43. pre.menu-comment {font-family: serif}
  44. pre.menu-preformatted {font-family: serif}
  45. pre.smalldisplay {font-family: inherit; font-size: smaller}
  46. pre.smallexample {font-size: smaller}
  47. pre.smallformat {font-family: inherit; font-size: smaller}
  48. pre.smalllisp {font-size: smaller}
  49. span.nolinebreak {white-space: nowrap}
  50. span.roman {font-family: initial; font-weight: normal}
  51. span.sansserif {font-family: sans-serif; font-weight: normal}
  52. ul.no-bullet {list-style: none}
  53. -->
  54. </style>
  55. </head>
  56. <body lang="en">
  57. <a name="Checks"></a>
  58. <div class="header">
  59. <p>
  60. Next: <a href="Supported-Languages.html#Supported-Languages" accesskey="n" rel="next">Supported Languages</a>, Previous: <a href="Show.html#Show" accesskey="p" rel="prev">Show</a>, Up: <a href="Languages.html#Languages" accesskey="u" rel="up">Languages</a> &nbsp; [<a href="index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Concept-Index.html#Concept-Index" title="Index" rel="index">Index</a>]</p>
  61. </div>
  62. <hr>
  63. <a name="Type-and-Range-Checking"></a>
  64. <h3 class="section">15.3 Type and Range Checking</h3>
  65. <p>Some languages are designed to guard you against making seemingly common
  66. errors through a series of compile- and run-time checks. These include
  67. checking the type of arguments to functions and operators and making
  68. sure mathematical overflows are caught at run time. Checks such as
  69. these help to ensure a program&rsquo;s correctness once it has been compiled
  70. by eliminating type mismatches and providing active checks for range
  71. errors when your program is running.
  72. </p>
  73. <p>By default <small>GDB</small> checks for these errors according to the
  74. rules of the current source language. Although <small>GDB</small> does not check
  75. the statements in your program, it can check expressions entered directly
  76. into <small>GDB</small> for evaluation via the <code>print</code> command, for example.
  77. </p>
  78. <table class="menu" border="0" cellspacing="0">
  79. <tr><td align="left" valign="top">&bull; <a href="Type-Checking.html#Type-Checking" accesskey="1">Type Checking</a>:</td><td>&nbsp;&nbsp;</td><td align="left" valign="top">An overview of type checking
  80. </td></tr>
  81. <tr><td align="left" valign="top">&bull; <a href="Range-Checking.html#Range-Checking" accesskey="2">Range Checking</a>:</td><td>&nbsp;&nbsp;</td><td align="left" valign="top">An overview of range checking
  82. </td></tr>
  83. </table>
  84. <a name="index-type-checking"></a>
  85. <a name="index-checks_002c-type"></a>
  86. </body>
  87. </html>