title: Properties of a pointer to a zero length array
body: <p>Consider</p>
  
  <pre><code>int main()
  {
      auto a = new int[0];
      delete[] a; // So there's no memory leak
  }
  </code></pre>
  
  <p>Between the copy initialisation and deletion, are you allowed to read the pointer at <code>a + 1</code>?</p>
  
  <p>Furthermore, does the language permit the compiler to set <code>a</code> to <code>nullptr</code>?</p>