On 02/16/2017 10:34 AM, [email protected] wrote:

> 1607         Must(headClone != NULL);
>>>>     CID 1400650:  Null pointer dereferences  (FORWARD_NULL)
>>>>     Passing null pointer "headClone" to "inheritProperties", which 
>>>> dereferences it.
> 1608         headClone->inheritProperties(head);

Can somebody please configure Coverity so that it treats Must(x) as
assert(x) as far as truthfulness of x after the check is concerned?


Thank you,

Alex.

_______________________________________________
squid-dev mailing list
[email protected]
http://lists.squid-cache.org/listinfo/squid-dev

Reply via email to