Coverity doing scans of Wine codebase!

Tomas Carnecky tom at dbservice.com
Fri Apr 7 02:31:03 CDT 2006


Mike McCormack wrote:
> 
> Tomas Carnecky wrote:
> 
>>> * Another (missing NULL ptr check in LoadTypeLibEx) is right, but, I
>>> don't
>>>  think we want to add lots of missing NULL arg checks in the public
>>> API  implementations. An application will never pass NULL to this
>>> function  directly as otherwise it'd not work at all, so, a crash
>>> with a NULL arg
>>>  here probably is revealing some other bug.
>>>
>>>  I'd rather it crashed cleanly in a debuggable way than silently return
>>>  error code and continue, in other words ...
> 
>> Is there a way to tell the code checker to skip the NULL check? Maybe
>> there are flags like '__user' in the kernel source -- '__notnull'.
> 
> It's complaining because there is already a NULL check further down in
> the code, but we use the pointer without checking for NULL first.
> 
> If the function never checks that parameter for NULL, the checker won't
> complain about it.
> 

Ah.. I didn't know that.

tom



More information about the wine-devel mailing list