shithub: jbig2

Download patch

ref: 7d76ed65a8e97caa596537b949d17458357db6d4
parent: 91de28f18fccd91213fbb647f93e4a8f81b2bd36
author: Julian Smith <jules@op59.net>
date: Wed Nov 20 06:04:43 EST 2019

Coverity 95049: stop coverity taints for jbig2_get_int16() etc.

--- a/jbig2.c
+++ b/jbig2.c
@@ -179,6 +179,8 @@
 #define get_int16(bptr)\
     (((int)get_uint16(bptr) ^ 0x8000) - 0x8000)
 
+/* coverity[ -tainted_data_return ] */
+/* coverity[ -tainted_data_argument : arg-0 ] */
 int16_t
 jbig2_get_int16(const byte *bptr)
 {
@@ -185,6 +187,8 @@
     return get_int16(bptr);
 }
 
+/* coverity[ -tainted_data_return ] */
+/* coverity[ -tainted_data_argument : arg-0 ] */
 uint16_t
 jbig2_get_uint16(const byte *bptr)
 {
@@ -191,7 +195,8 @@
     return get_uint16(bptr);
 }
 
-// coverity[ -tainted_data_return ]
+/* coverity[ -tainted_data_return ] */
+/* coverity[ -tainted_data_argument : arg-0 ] */
 int32_t
 jbig2_get_int32(const byte *bptr)
 {
@@ -198,8 +203,8 @@
     return ((int32_t) get_int16(bptr) << 16) | get_uint16(bptr + 2);
 }
 
-// coverity[ -tainted_data_return ]
-// coverity[ -tainted_data_argument : arg-0 ]
+/* coverity[ -tainted_data_return ] */
+/* coverity[ -tainted_data_argument : arg-0 ] */
 uint32_t
 jbig2_get_uint32(const byte *bptr)
 {