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