libtiff/tif_zip.c:169: error: Integer Overflow L2
  ([min(1, `occ`), 4294967295] - [min(1, `occ`), 4294967295]):unsigned32.

libtiff/tif_zip.c:164:41: <LHS trace>
162.                 int state;
163.                 uInt avail_in_before = (uint64)tif->tif_rawcc <= 0xFFFFFFFFU ? (uInt)tif->tif_rawcc : 0xFFFFFFFFU;
164.                 uInt avail_out_before = (uint64)occ < 0xFFFFFFFFU ? (uInt) occ : 0xFFFFFFFFU;
                                             ^
165.                 sp->stream.avail_in = avail_in_before;
166.                 sp->stream.avail_out = avail_out_before;

libtiff/tif_zip.c:164:41: Assignment
162.                 int state;
163.                 uInt avail_in_before = (uint64)tif->tif_rawcc <= 0xFFFFFFFFU ? (uInt)tif->tif_rawcc : 0xFFFFFFFFU;
164.                 uInt avail_out_before = (uint64)occ < 0xFFFFFFFFU ? (uInt) occ : 0xFFFFFFFFU;
                                             ^
165.                 sp->stream.avail_in = avail_in_before;
166.                 sp->stream.avail_out = avail_out_before;

libtiff/tif_zip.c:164:17: Assignment
162.                 int state;
163.                 uInt avail_in_before = (uint64)tif->tif_rawcc <= 0xFFFFFFFFU ? (uInt)tif->tif_rawcc : 0xFFFFFFFFU;
164.                 uInt avail_out_before = (uint64)occ < 0xFFFFFFFFU ? (uInt) occ : 0xFFFFFFFFU;
                     ^
165.                 sp->stream.avail_in = avail_in_before;
166.                 sp->stream.avail_out = avail_out_before;

libtiff/tif_zip.c:164:41: <RHS trace>
162.                 int state;
163.                 uInt avail_in_before = (uint64)tif->tif_rawcc <= 0xFFFFFFFFU ? (uInt)tif->tif_rawcc : 0xFFFFFFFFU;
164.                 uInt avail_out_before = (uint64)occ < 0xFFFFFFFFU ? (uInt) occ : 0xFFFFFFFFU;
                                             ^
165.                 sp->stream.avail_in = avail_in_before;
166.                 sp->stream.avail_out = avail_out_before;

libtiff/tif_zip.c:164:41: Assignment
162.                 int state;
163.                 uInt avail_in_before = (uint64)tif->tif_rawcc <= 0xFFFFFFFFU ? (uInt)tif->tif_rawcc : 0xFFFFFFFFU;
164.                 uInt avail_out_before = (uint64)occ < 0xFFFFFFFFU ? (uInt) occ : 0xFFFFFFFFU;
                                             ^
165.                 sp->stream.avail_in = avail_in_before;
166.                 sp->stream.avail_out = avail_out_before;

libtiff/tif_zip.c:164:17: Assignment
162.                 int state;
163.                 uInt avail_in_before = (uint64)tif->tif_rawcc <= 0xFFFFFFFFU ? (uInt)tif->tif_rawcc : 0xFFFFFFFFU;
164.                 uInt avail_out_before = (uint64)occ < 0xFFFFFFFFU ? (uInt) occ : 0xFFFFFFFFU;
                     ^
165.                 sp->stream.avail_in = avail_in_before;
166.                 sp->stream.avail_out = avail_out_before;

libtiff/tif_zip.c:166:17: Assignment
164.                 uInt avail_out_before = (uint64)occ < 0xFFFFFFFFU ? (uInt) occ : 0xFFFFFFFFU;
165.                 sp->stream.avail_in = avail_in_before;
166.                 sp->stream.avail_out = avail_out_before;
                     ^
167. 		state = inflate(&sp->stream, Z_PARTIAL_FLUSH);
168. 		tif->tif_rawcc -= (avail_in_before - sp->stream.avail_in);

libtiff/tif_zip.c:169:17: Binary operation: ([min(1, occ), 4294967295] - [min(1, occ), 4294967295]):unsigned32
167. 		state = inflate(&sp->stream, Z_PARTIAL_FLUSH);
168. 		tif->tif_rawcc -= (avail_in_before - sp->stream.avail_in);
169.                 occ -= (avail_out_before - sp->stream.avail_out);
                     ^
170. 		if (state == Z_STREAM_END)
171. 			break;
