subtractPointers
ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20220511-manganese.orig.tar.gz
2.21.0 frama-c-25.0-beta-Manganese/tests/value/arith_pointer.c:30:12: error: Subtracting pointers that point to different objects [subtractPointers]
head frama-c-25.0-beta-Manganese/tests/value/arith_pointer.c:30:12: error: Subtracting pointers that point to different objects [subtractPointers]
ftp://ftp.de.debian.org/debian/pool/main/g/gnugo/gnugo_3.9.1.orig.tar.gz
2.21.0 gnugo-3.9.1/patterns/mkpat.c:2275:40: error: Subtracting pointers that point to different objects [subtractPointers]
ftp://ftp.de.debian.org/debian/pool/main/i/iw/iw_6.17.orig.tar.xz
head iw-6.17/iw.c:207:3: error: Subtracting pointers that point to different objects [subtractPointers]
2.21.0 iw-6.17/iw.c:207:3: error: Subtracting pointers that point to different objects [subtractPointers]
ftp://ftp.de.debian.org/debian/pool/main/m/micropython/micropython_1.26.1+ds.orig.tar.xz
2.21.0 micropython-1.26.1/ports/renesas-ra/main.c:302:41: error: Subtracting pointers that point to different objects [subtractPointers]
2.21.0 micropython-1.26.1/ports/stm32/main.c:562:56: error: Subtracting pointers that point to different objects [subtractPointers]
ftp://ftp.de.debian.org/debian/pool/main/s/safeclib/safeclib_3.9.1.orig.tar.gz
head safeclib-3.9.1/tests/test_sprintf_s.c:491:14: error: Subtracting pointers that point to different objects [subtractPointers]
2.21.0 safeclib-3.9.1/tests/test_sprintf_s.c:491:14: error: Subtracting pointers that point to different objects [subtractPointers]
head safeclib-3.9.1/tests/test_sprintf_s.c:500:42: error: Subtracting pointers that point to different objects [subtractPointers]
2.21.0 safeclib-3.9.1/tests/test_sprintf_s.c:500:42: error: Subtracting pointers that point to different objects [subtractPointers]
ftp://ftp.de.debian.org/debian/pool/main/s/scamp/scamp_2.15.0.orig.tar.gz
head astromatic-scamp-29b4ac6/src/catout.c:125:42: error: Subtracting pointers that point to different objects [subtractPointers]
head astromatic-scamp-29b4ac6/src/catout.c:404:42: error: Subtracting pointers that point to different objects [subtractPointers]