title: XCode 4.6 clang analyzer worried over null C++ pointers than can't be null
body: <p>Running the analyzer for XCode 4.6 and the new clang compiler, I seelots of warnings</p>
  
  <blockquote>
    <p>Called C++ object pointer is null</p>
  </blockquote>
  
  <p>even for guarded expressions like</p>
  
  <pre><code>- (BOOL) validate: (Node*) node
  {
      if (!self.hypertext) return YES;
      return self.hypertext-&gt;HasNode(node);
  }
  </code></pre>
  
  <p>1) How can I convince the static analyzer that this is properly guarded?
  2) In some situations, I might want to <strong>assert</strong> that a pointer won't be null. How?</p>