[squid-dev] Dereferencing null headClone

Alex Rousskov rousskov at measurement-factory.com
Thu Feb 16 17:53:53 UTC 2017

On 02/16/2017 10:34 AM, scan-admin at coverity.com 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,


More information about the squid-dev mailing list