[squid-dev] Dereferencing null headClone

[Amos Jeffries]

On 17/02/2017 6:53 a.m., Alex Rousskov wrote:
> 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?
> 

Done, I think.

Amos