Arrays-and-pointers-implementation.html 5.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121
  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-2017 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 "Funding Free Software", the Front-Cover
  8. Texts being (a) (see below), and with the Back-Cover Texts being (b)
  9. (see below). A copy of the license is included in the section entitled
  10. "GNU Free Documentation License".
  11. (a) The FSF's Front-Cover Text is:
  12. A GNU Manual
  13. (b) The FSF's Back-Cover Text is:
  14. You have freedom to copy and modify this GNU Manual, like GNU
  15. software. Copies published by the Free Software Foundation raise
  16. funds for GNU development. -->
  17. <!-- Created by GNU Texinfo 5.2, http://www.gnu.org/software/texinfo/ -->
  18. <head>
  19. <title>Using the GNU Compiler Collection (GCC): Arrays and pointers implementation</title>
  20. <meta name="description" content="Using the GNU Compiler Collection (GCC): Arrays and pointers implementation">
  21. <meta name="keywords" content="Using the GNU Compiler Collection (GCC): Arrays and pointers implementation">
  22. <meta name="resource-type" content="document">
  23. <meta name="distribution" content="global">
  24. <meta name="Generator" content="makeinfo">
  25. <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
  26. <link href="index.html#Top" rel="start" title="Top">
  27. <link href="Option-Index.html#Option-Index" rel="index" title="Option Index">
  28. <link href="index.html#SEC_Contents" rel="contents" title="Table of Contents">
  29. <link href="C-Implementation.html#C-Implementation" rel="up" title="C Implementation">
  30. <link href="Hints-implementation.html#Hints-implementation" rel="next" title="Hints implementation">
  31. <link href="Floating-point-implementation.html#Floating-point-implementation" rel="prev" title="Floating point implementation">
  32. <style type="text/css">
  33. <!--
  34. a.summary-letter {text-decoration: none}
  35. blockquote.smallquotation {font-size: smaller}
  36. div.display {margin-left: 3.2em}
  37. div.example {margin-left: 3.2em}
  38. div.indentedblock {margin-left: 3.2em}
  39. div.lisp {margin-left: 3.2em}
  40. div.smalldisplay {margin-left: 3.2em}
  41. div.smallexample {margin-left: 3.2em}
  42. div.smallindentedblock {margin-left: 3.2em; font-size: smaller}
  43. div.smalllisp {margin-left: 3.2em}
  44. kbd {font-style:oblique}
  45. pre.display {font-family: inherit}
  46. pre.format {font-family: inherit}
  47. pre.menu-comment {font-family: serif}
  48. pre.menu-preformatted {font-family: serif}
  49. pre.smalldisplay {font-family: inherit; font-size: smaller}
  50. pre.smallexample {font-size: smaller}
  51. pre.smallformat {font-family: inherit; font-size: smaller}
  52. pre.smalllisp {font-size: smaller}
  53. span.nocodebreak {white-space:nowrap}
  54. span.nolinebreak {white-space:nowrap}
  55. span.roman {font-family:serif; font-weight:normal}
  56. span.sansserif {font-family:sans-serif; font-weight:normal}
  57. ul.no-bullet {list-style: none}
  58. -->
  59. </style>
  60. </head>
  61. <body lang="en" bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
  62. <a name="Arrays-and-pointers-implementation"></a>
  63. <div class="header">
  64. <p>
  65. Next: <a href="Hints-implementation.html#Hints-implementation" accesskey="n" rel="next">Hints implementation</a>, Previous: <a href="Floating-point-implementation.html#Floating-point-implementation" accesskey="p" rel="prev">Floating point implementation</a>, Up: <a href="C-Implementation.html#C-Implementation" accesskey="u" rel="up">C Implementation</a> &nbsp; [<a href="index.html#SEC_Contents" title="Table of contents" rel="contents">Contents</a>][<a href="Option-Index.html#Option-Index" title="Index" rel="index">Index</a>]</p>
  66. </div>
  67. <hr>
  68. <a name="Arrays-and-Pointers"></a>
  69. <h3 class="section">4.7 Arrays and Pointers</h3>
  70. <ul>
  71. <li> <cite>The result of converting a pointer to an integer or
  72. vice versa (C90 6.3.4, C99 and C11 6.3.2.3).</cite>
  73. <p>A cast from pointer to integer discards most-significant bits if the
  74. pointer representation is larger than the integer type,
  75. sign-extends<a name="DOCF2" href="#FOOT2"><sup>2</sup></a>
  76. if the pointer representation is smaller than the integer type, otherwise
  77. the bits are unchanged.
  78. </p>
  79. <p>A cast from integer to pointer discards most-significant bits if the
  80. pointer representation is smaller than the integer type, extends according
  81. to the signedness of the integer type if the pointer representation
  82. is larger than the integer type, otherwise the bits are unchanged.
  83. </p>
  84. <p>When casting from pointer to integer and back again, the resulting
  85. pointer must reference the same object as the original pointer, otherwise
  86. the behavior is undefined. That is, one may not use integer arithmetic to
  87. avoid the undefined behavior of pointer arithmetic as proscribed in
  88. C99 and C11 6.5.6/8.
  89. </p>
  90. </li><li> <cite>The size of the result of subtracting two pointers to elements
  91. of the same array (C90 6.3.6, C99 and C11 6.5.6).</cite>
  92. <p>The value is as specified in the standard and the type is determined
  93. by the ABI.
  94. </p>
  95. </li></ul>
  96. <div class="footnote">
  97. <hr>
  98. <h4 class="footnotes-heading">Footnotes</h4>
  99. <h3><a name="FOOT2" href="#DOCF2">(2)</a></h3>
  100. <p>Future versions of GCC may zero-extend, or use
  101. a target-defined <code>ptr_extend</code> pattern. Do not rely on sign extension.</p>
  102. </div>
  103. </body>
  104. </html>