diff --git a/ANNOUNCE b/ANNOUNCE index 5f4fc5477..58f92846c 100644 --- a/ANNOUNCE +++ b/ANNOUNCE @@ -900,6 +900,7 @@ Version 1.7.0beta66 [September 20, 2015] correction introduced significant errors if the app subsequently did further corrections, only shown by using files with gAMA 1/1.52 in pngstest (John Bowler). + Suppressed bogus Coverity issues in pngrutil.c and pngwutil.c. Send comments/corrections/commendations to png-mng-implement at lists.sf.net (subscription required; visit diff --git a/CHANGES b/CHANGES index 15179c8a3..8f5123e7f 100644 --- a/CHANGES +++ b/CHANGES @@ -5199,6 +5199,7 @@ Version 1.7.0beta66 [September 20, 2015] correction introduced significant errors if the app subsequently did further corrections, only shown by using files with gAMA 1/1.52 in pngstest (John Bowler). + Suppressed bogus Coverity issues in pngrutil.c and pngwutil.c. Send comments/corrections/commendations to png-mng-implement at lists.sf.net (subscription required; visit diff --git a/pngrutil.c b/pngrutil.c index 83e98ddf3..1063db319 100644 --- a/pngrutil.c +++ b/pngrutil.c @@ -4159,8 +4159,10 @@ png_read_process_IDAT(png_structrp png_ptr) /* This can be temporary; it verifies the invariants on how * png_inflate_IDAT updates the {next,avail}_out fields: */ +#ifndef __COVERITY__ /* Suppress bogus Coverity complaint */ debug(png_ptr->zstream.avail_out == 1-cb && png_ptr->zstream.next_out == cb + &png_ptr->next_filter); +#endif /* next_out points into png_struct, for security do this: */ png_ptr->zstream.next_out = NULL; diff --git a/pngwutil.c b/pngwutil.c index 3a05c4e37..2404905a3 100644 --- a/pngwutil.c +++ b/pngwutil.c @@ -1140,7 +1140,12 @@ png_save_int_31(png_structrp png_ptr, png_bytep buf, png_int_32 i) * actually makes this error impossible, but this is safe. */ { +#ifndef __COVERITY__ if (i >= 0 && i <= 0x7FFFFFFF) +#else + /* Supress bogus Coverity complaint */ + if (i >= 0) +#endif { png_save_uint_32(buf, (png_uint_32)/*SAFE*/i); return 1;