dvbinfo: add coverity hint.

libdvbpsi | branch: master | Jean-Paul Saman <[email protected]> | Wed Dec 24 11:27:04 2014 +0100| [7f8c1519c2be5a49fb5f3096ec8f9414097784ec] | committer: Jean-Paul Saman

dvbinfo: add coverity hint.

> http://git.videolan.org/gitweb.cgi/libdvbpsi.git/?a=commit;h=7f8c1519c2be5a49fb5f3096ec8f9414097784ec
---

 examples/dvbinfo/libdvbpsi.c |    1 +
 1 file changed, 1 insertion(+)

diff --git a/examples/dvbinfo/libdvbpsi.c b/examples/dvbinfo/libdvbpsi.c
index b31a920..fc9a9c7 100644
--- a/examples/dvbinfo/libdvbpsi.c
+++ b/examples/dvbinfo/libdvbpsi.c
@@ -314,6 +314,7 @@ mtime_t mdate(void)
     if (gettimeofday(&tv, NULL) < 0)
     {
         fprintf(stderr, "gettimeofday() error: %s\n", strerror(errno));
+	/* coverity [+kill} */
         abort();
     }
 

_______________________________________________
libdvbpsi-devel mailing list
[email protected]
https://mailman.videolan.org/listinfo/libdvbpsi-devel