<?xml version="1.0"?>
<clause number="25.5" title="Pointers in expressions">
  <paragraph>In an unsafe context, an expression may yield a result of a pointer type, but outside an unsafe context it is a compile-time error for an expression to be of a pointer type. In precise terms, outside an unsafe context a compile-time error occurs if any <non_terminal where="14.5.2">simple-name</non_terminal> (<hyperlink>14.5.2</hyperlink>), <non_terminal where="14.5.4">member-access</non_terminal> (<hyperlink>14.5.4</hyperlink>), <non_terminal where="14.5.5">invocation-expression</non_terminal> (<hyperlink>14.5.5</hyperlink>), or <non_terminal where="14.5.6">element-access</non_terminal> (<hyperlink>14.5.6</hyperlink>) is of a pointer type. </paragraph>
  <paragraph>In an unsafe context, the <non_terminal where="14.5">primary-no-array-creation-expression</non_terminal> (<hyperlink>14.5</hyperlink>) and <non_terminal where="14.6">unary-expression</non_terminal> (<hyperlink>14.6</hyperlink>) productions permit the following additional constructs: <grammar_production><name><non_terminal where="14.5">primary-no-array-creation-expression</non_terminal></name> : <rhs><terminal>...</terminal></rhs><rhs><non_terminal where="25.5.2">pointer-member-access</non_terminal></rhs><rhs><non_terminal where="25.5.3">pointer-element-access</non_terminal></rhs><rhs><non_terminal where="25.5.8">sizeof-expression</non_terminal></rhs></grammar_production><grammar_production><name><non_terminal where="14.6">unary-expression</non_terminal></name> : <rhs><terminal>...</terminal></rhs><rhs><non_terminal where="25.5.1">pointer-indirection-expression</non_terminal></rhs><rhs><non_terminal where="25.5.4">addressof-expression</non_terminal></rhs><rhs>These constructs are described in the following sections. </rhs><rhs><terminal>[Note:</terminal><terminal>The</terminal><terminal>precedence</terminal><terminal>and</terminal><terminal>associativity</terminal><terminal>of</terminal><terminal>the</terminal><keyword>unsafe</keyword><terminal>operators</terminal><keyword>is</keyword><terminal>implied</terminal><terminal>by</terminal><terminal>the</terminal><terminal>grammar.</terminal><terminal>end</terminal><terminal>note]</terminal></rhs></grammar_production></paragraph>
</clause>
