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

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

Reply via email to