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

libtiff/tif_predict.c:502:1: <LHS trace>
500. }
501. 
502. static int
     ^
503. horDiff8(TIFF* tif, uint8* cp0, tmsize_t cc)
504. {

libtiff/tif_predict.c:502:1: Parameter `*cp0`
500. }
501. 
502. static int
     ^
503. horDiff8(TIFF* tif, uint8* cp0, tmsize_t cc)
504. {

libtiff/tif_predict.c:527:5: Assignment
525. 			unsigned  int b2 = cp[2];
526. 			do {
527. 				r1 = cp[3]; cp[3] = (unsigned char)((r1-r2)&0xff); r2 = r1;
         ^
528. 				g1 = cp[4]; cp[4] = (unsigned char)((g1-g2)&0xff); g2 = g1;
529. 				b1 = cp[5]; cp[5] = (unsigned char)((b1-b2)&0xff); b2 = b1;

libtiff/tif_predict.c:502:1: <RHS trace>
500. }
501. 
502. static int
     ^
503. horDiff8(TIFF* tif, uint8* cp0, tmsize_t cc)
504. {

libtiff/tif_predict.c:502:1: Parameter `*cp0`
500. }
501. 
502. static int
     ^
503. horDiff8(TIFF* tif, uint8* cp0, tmsize_t cc)
504. {

libtiff/tif_predict.c:523:4: Assignment
521. 		if (stride == 3) {
522. 			unsigned int r1, g1, b1;
523. 			unsigned int r2 = cp[0];
        ^
524. 			unsigned int g2 = cp[1];
525. 			unsigned  int b2 = cp[2];

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