title: Clarification of [[pure]] in C++
body: <p>Reading the most recent proposal for a standard C++ attribute <a href="http://www.open-std.org/JTC1/sc22/WG21/docs/papers/2013/n3744.pdf" rel="nofollow">[[pure]]</a> I was left with a number of questions:</p>
  
  <ol>
  <li>Could a [[pure]] function read const globals?</li>
  <li>Could a [[pure]] function read static const variables?</li>
  <li>Could a [[pure]] function write but not read pointer or reference variables (and still return void possibly)?</li>
  </ol>