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

Done, I think.

Amos

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

Reply via email to