On 9 January 2015 at 16:07, Bill Fischofer <[email protected]>
wrote:

> Looks like Coverity doesn't understand that CU_FAIL() is NORETURN.  Config
> file issue?
>

I think you need CU_FAIL_FATAL to make it no return - agree it should be
easy fix


> On Fri, Jan 9, 2015 at 1:16 PM, <[email protected]> wrote:
>
>>
>> Hi,
>>
>> Please find the latest report on new defect(s) introduced to ODP found
>> with Coverity Scan.
>>
>> 1 new defect(s) introduced to ODP found with Coverity Scan.
>>
>>
>> New defect(s) Reported-by: Coverity Scan
>> Showing 1 of 1 defect(s)
>>
>>
>> ** CID 85397:  Dereference after null check  (FORWARD_NULL)
>> /test/validation/odp_timer.c: 68 in handle_tmo()
>>
>>
>>
>> ________________________________________________________________________________________________________
>> *** CID 85397:  Dereference after null check  (FORWARD_NULL)
>> /test/validation/odp_timer.c: 68 in handle_tmo()
>> 62
>> 63      if (tim == ODP_TIMER_INVALID)
>> 64              CU_FAIL("odp_timeout_timer() invalid timer");
>> 65      if (ttp == NULL)
>> 66              CU_FAIL("odp_timeout_user_ptr() null user ptr");
>> 67
>> >>>     CID 85397:  Dereference after null check  (FORWARD_NULL)
>> >>>     Dereferencing null pointer "ttp".
>> 68      if (ttp->buf2 != buf)
>> 69              CU_FAIL("odp_timeout_user_ptr() wrong user ptr");
>> 70      if (ttp->tim != tim)
>> 71              CU_FAIL("odp_timeout_timer() wrong timer");
>> 72      if (stale) {
>> 73              if (odp_timeout_fresh(tmo))
>>
>>
>>
>> ________________________________________________________________________________________________________
>> To view the defects in Coverity Scan visit,
>> http://scan.coverity.com/projects/2925?tab=overview
>>
>> To manage Coverity Scan email notifications for "[email protected]",
>> click
>> http://scan.coverity.com/subscriptions/edit?email=lng-odp%40lists.linaro.org&token=e54a60bd6fe9c6955bcaee6dcb2e2bf2
>> .
>>
>>
>> _______________________________________________
>> lng-odp mailing list
>> [email protected]
>> http://lists.linaro.org/mailman/listinfo/lng-odp
>>
>
>
> _______________________________________________
> lng-odp mailing list
> [email protected]
> http://lists.linaro.org/mailman/listinfo/lng-odp
>
>


-- 
*Mike Holmes*
Linaro  Sr Technical Manager
LNG - ODP
_______________________________________________
lng-odp mailing list
[email protected]
http://lists.linaro.org/mailman/listinfo/lng-odp

Reply via email to