[cfe-commits] r138220 - in /cfe/trunk: include/clang/StaticAnalyzer/Core/PathSensitive/ExprEngine.h lib/StaticAnalyzer/Core/CFRefCount.cpp lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp lib/StaticAnalyzer/Core/ExprEngineObjC.cpp

[Ted Kremenek]

On Aug 21, 2011, at 12:41 PM, Jordy Rose wrote:

> +  case OMF_self: {
> +    // These methods return their receivers.
> +    // FIXME: Should OMF_init be included here?

-init is *not* guaranteed to return the original object, so it definitely should not be included.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20110821/37782b8d/attachment.html>