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

libtiff/tif_zip.c:260:40: <LHS trace>
258. 	    appropriately even before we simplify it */
259. 	do {
260.                 uInt avail_in_before = (uint64)cc <= 0xFFFFFFFFU ? (uInt)cc : 0xFFFFFFFFU;
                                            ^
261.                 sp->stream.avail_in = avail_in_before;
262. 		if (deflate(&sp->stream, Z_NO_FLUSH) != Z_OK) {

libtiff/tif_zip.c:260:40: Assignment
258. 	    appropriately even before we simplify it */
259. 	do {
260.                 uInt avail_in_before = (uint64)cc <= 0xFFFFFFFFU ? (uInt)cc : 0xFFFFFFFFU;
                                            ^
261.                 sp->stream.avail_in = avail_in_before;
262. 		if (deflate(&sp->stream, Z_NO_FLUSH) != Z_OK) {

libtiff/tif_zip.c:260:17: Assignment
258. 	    appropriately even before we simplify it */
259. 	do {
260.                 uInt avail_in_before = (uint64)cc <= 0xFFFFFFFFU ? (uInt)cc : 0xFFFFFFFFU;
                     ^
261.                 sp->stream.avail_in = avail_in_before;
262. 		if (deflate(&sp->stream, Z_NO_FLUSH) != Z_OK) {

libtiff/tif_zip.c:260:40: <RHS trace>
258. 	    appropriately even before we simplify it */
259. 	do {
260.                 uInt avail_in_before = (uint64)cc <= 0xFFFFFFFFU ? (uInt)cc : 0xFFFFFFFFU;
                                            ^
261.                 sp->stream.avail_in = avail_in_before;
262. 		if (deflate(&sp->stream, Z_NO_FLUSH) != Z_OK) {

libtiff/tif_zip.c:260:40: Assignment
258. 	    appropriately even before we simplify it */
259. 	do {
260.                 uInt avail_in_before = (uint64)cc <= 0xFFFFFFFFU ? (uInt)cc : 0xFFFFFFFFU;
                                            ^
261.                 sp->stream.avail_in = avail_in_before;
262. 		if (deflate(&sp->stream, Z_NO_FLUSH) != Z_OK) {

libtiff/tif_zip.c:260:17: Assignment
258. 	    appropriately even before we simplify it */
259. 	do {
260.                 uInt avail_in_before = (uint64)cc <= 0xFFFFFFFFU ? (uInt)cc : 0xFFFFFFFFU;
                     ^
261.                 sp->stream.avail_in = avail_in_before;
262. 		if (deflate(&sp->stream, Z_NO_FLUSH) != Z_OK) {

libtiff/tif_zip.c:261:17: Assignment
259. 	do {
260.                 uInt avail_in_before = (uint64)cc <= 0xFFFFFFFFU ? (uInt)cc : 0xFFFFFFFFU;
261.                 sp->stream.avail_in = avail_in_before;
                     ^
262. 		if (deflate(&sp->stream, Z_NO_FLUSH) != Z_OK) {
263. 			TIFFErrorExt(tif->tif_clientdata, module, 

libtiff/tif_zip.c:274:3: Binary operation: ([min(1, cc), 4294967295] - [min(1, cc), 4294967295]):unsigned32
272. 			sp->stream.avail_out = (uint64)tif->tif_rawdatasize <= 0xFFFFFFFFU ? (uInt)tif->tif_rawdatasize : 0xFFFFFFFFU;
273. 		}
274. 		cc -= (avail_in_before - sp->stream.avail_in);
       ^
275. 	} while (cc > 0);
276. 	return (1);
