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

libtiff/tif_predict.c:563:1: <LHS trace>
561. }
562. 
563. TIFF_NOSANITIZE_UNSIGNED_INT_OVERFLOW
     ^
564. static int
565. horDiff16(TIFF* tif, uint8* cp0, tmsize_t cc)

libtiff/tif_predict.c:563:1: Parameter `*cp0`
561. }
562. 
563. TIFF_NOSANITIZE_UNSIGNED_INT_OVERFLOW
     ^
564. static int
565. horDiff16(TIFF* tif, uint8* cp0, tmsize_t cc)

libtiff/tif_predict.c:563:1: <RHS trace>
561. }
562. 
563. TIFF_NOSANITIZE_UNSIGNED_INT_OVERFLOW
     ^
564. static int
565. horDiff16(TIFF* tif, uint8* cp0, tmsize_t cc)

libtiff/tif_predict.c:563:1: Parameter `*cp0`
561. }
562. 
563. TIFF_NOSANITIZE_UNSIGNED_INT_OVERFLOW
     ^
564. static int
565. horDiff16(TIFF* tif, uint8* cp0, tmsize_t cc)

libtiff/tif_predict.c:583:4: Binary operation: ([0, max(65535, *cp0)] - [0, max(65535, *cp0)]):unsigned32
581. 		wp += wc - 1;
582. 		do {
583. 			REPEAT4(stride, wp[stride] = (uint16)(((unsigned int)wp[stride] - (unsigned int)wp[0]) & 0xffff); wp--)
        ^
584. 			wc -= stride;
585. 		} while (wc > 0);
