[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

[Jordy Rose]

On Aug 21, 2011, at 13:54, Ted Kremenek wrote:

> 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.

Well, I know that's true in real life, but for analysis purposes it might be valid. I can't think of any sane use where it would help, though. I'll delete the FIXME.