libtiff/tif_predict.c:482: error: Integer Overflow L2
  ([0, max(255, `*cp0`)] - [0, max(255, `*cp0`)]):unsigned32.

libtiff/tif_predict.c:462:1: <LHS trace>
460. }
461. 
462. static void
     ^
463. horDiff8(TIFF* tif, uint8* cp0, tmsize_t cc)
464. {

libtiff/tif_predict.c:462:1: Parameter `*cp0`
460. }
461. 
462. static void
     ^
463. horDiff8(TIFF* tif, uint8* cp0, tmsize_t cc)
464. {

libtiff/tif_predict.c:482:5: Assignment
480. 			unsigned  int b2 = cp[2];
481. 			do {
482. 				r1 = cp[3]; cp[3] = (unsigned char)((r1-r2)&0xff); r2 = r1;
         ^
483. 				g1 = cp[4]; cp[4] = (unsigned char)((g1-g2)&0xff); g2 = g1;
484. 				b1 = cp[5]; cp[5] = (unsigned char)((b1-b2)&0xff); b2 = b1;

libtiff/tif_predict.c:462:1: <RHS trace>
460. }
461. 
462. static void
     ^
463. horDiff8(TIFF* tif, uint8* cp0, tmsize_t cc)
464. {

libtiff/tif_predict.c:462:1: Parameter `*cp0`
460. }
461. 
462. static void
     ^
463. horDiff8(TIFF* tif, uint8* cp0, tmsize_t cc)
464. {

libtiff/tif_predict.c:478:4: Assignment
476. 		if (stride == 3) {
477. 			unsigned int r1, g1, b1;
478. 			unsigned int r2 = cp[0];
        ^
479. 			unsigned int g2 = cp[1];
480. 			unsigned  int b2 = cp[2];

libtiff/tif_predict.c:482:17: Binary operation: ([0, max(255, *cp0)] - [0, max(255, *cp0)]):unsigned32
480. 			unsigned  int b2 = cp[2];
481. 			do {
482. 				r1 = cp[3]; cp[3] = (unsigned char)((r1-r2)&0xff); r2 = r1;
                     ^
483. 				g1 = cp[4]; cp[4] = (unsigned char)((g1-g2)&0xff); g2 = g1;
484. 				b1 = cp[5]; cp[5] = (unsigned char)((b1-b2)&0xff); b2 = b1;
