[gs-commits] ghostpdl branch, master, updated. jbig2dec-0.14-1896-gf804ebf

The ghostpdl branch, master has been updated
       via  f804ebfa526bd36a808319225488fe9de416f350 (commit)
      from  7ff87e872888da0f5cfd392b3f8b90fa7ad0e27c (commit)

----------------------------------------------------------------------
commit f804ebfa526bd36a808319225488fe9de416f350
Author: Julian Smith <[email protected]>
Date:   Tue Nov 19 13:06:48 2019 +0000

    Coverity: add additional annotation to jbig2_get_uint32().
    
    Coverity thinks that jbig2_get_uint32() taints the buffer that it is passed,
    which causes coverity issues in calling code.
    
    So this commit adds an addional coverity annotation to ensure the buffer is not
    tainted.
    
    Am not 100% sure how to specify multiple annotations, but apparently doing
    things like '// coverity[ foo, bar ]' does not work, so we put the new
    annotation in a separate comment.

diff --git a/jbig2dec/jbig2.c b/jbig2dec/jbig2.c
index 28d3203..326d8cb 100644
--- a/jbig2dec/jbig2.c
+++ b/jbig2dec/jbig2.c
@@ -199,6 +199,7 @@ jbig2_get_int32(const byte *bptr)
 }
 
 // coverity[ -tainted_data_return ]
+// coverity[ -tainted_data_argument : arg-0 ]
 uint32_t
 jbig2_get_uint32(const byte *bptr)
 {


Summary of changes:
 jbig2dec/jbig2.c | 1 +
 1 file changed, 1 insertion(+)