[squid-dev] Dereferencing null headClone

[Alex Rousskov]

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,

Alex.