[PATCH] Add a dereferencable attribute

[James Molloy]

Hi Hal,

Sorry I'm getting to this late, but I have a comment:

  /// \brief If this argument has the dereferencable attribute on it in its
  /// containing function, return the number of bytes known to be
  /// dereferencable.
  unsigned getDereferencableBytes() const;

You are later on assuming this function returns zero if the dereferencable attribute is not set, but you do not specify this behaviour in the documentation. Could you please add it?

Cheers,

James

http://reviews.llvm.org/D4449