[cfe-dev] [Patch] Generate a warning if a message is sent to a nil receiver with return type larger than void* (PR 2718)

[Nikita Zhuk]

Sorry, I had the wrong From-account selected in Mail.app when sending  
the patch, that's why the wrong From-name.

- Nikita Zhuk



On 7.4.2009, at 21.23, Valeri Zhuk wrote:

> The attached patch generates warnings of cases where an ObjC message  
> is sent to a nil object and the size of return type of that message  
> is larger than the size of void pointer. This may result in  
> undefined return values as described in PR 2718 [1]. The patch also  
> includes test cases.
>
> Warnings are currently generated only in those cases where we know  
> for sure that an object pointer is nil. Enabling this warning in all  
> possible nil cases would probably produce too many false positives.
>
>
>
> <clang-nil-checker.patch>
>
>
>
>
> [1] http://llvm.org/bugs/show_bug.cgi?id=2718
>
> _______________________________________________
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev