pointerAdditionResultNotNull
ftp://ftp.de.debian.org/debian/pool/main/a/adios/adios_1.13.1.orig.tar.xz
adios-1.13.1/src/core/strutil.c:338:30: warning: Comparison is wrong. Result of 'delim+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/a/alsoft-conf/alsoft-conf_1.4.3.orig.tar.gz
alsoft-conf-1.4.3/src/new_parser.cpp:212:26: warning: Comparison is wrong. Result of 'line+iter+tmp' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
alsoft-conf-1.4.3/src/new_parser.cpp:216:25: warning: Comparison is wrong. Result of 'line+iter+tmp' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/a/apertium/apertium_3.7.2.orig.tar.xz
apertium-3.7.2/apertium/win32/libgen.c:13:16: warning: Comparison is wrong. Result of 'pos+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/a/asymptote/asymptote_2.75+ds.orig.tar.gz
asymptote-2.75/cudareflect/tinyexr/examples/exrview/ThirdPartyLibs/Glew/glew.c:254:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
asymptote-2.75/cudareflect/tinyexr/examples/exrview/ThirdPartyLibs/Glew/glew.c:254:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
asymptote-2.75/cudareflect/tinyexr/examples/exrview/ThirdPartyLibs/Glew/glew.c:270:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
asymptote-2.75/cudareflect/tinyexr/examples/exrview/ThirdPartyLibs/Glew/glew.c:270:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
asymptote-2.75/cudareflect/tinyexr/examples/exrview/ThirdPartyLibs/Glew/glew.c:286:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
asymptote-2.75/cudareflect/tinyexr/examples/exrview/ThirdPartyLibs/Glew/glew.c:286:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/c/corosync/corosync_3.1.6.orig.tar.gz
corosync-3.1.6/exec/totempg.c:554:51: warning: Comparison is wrong. Result of '(char*)iovec->iov_base+adjust_iovec%4' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/d/ddnet/ddnet_15.8.1.orig.tar.xz
DDNet-15.8.1/src/engine/external/glew/glew.c:256:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DDNet-15.8.1/src/engine/external/glew/glew.c:256:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DDNet-15.8.1/src/engine/external/glew/glew.c:272:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DDNet-15.8.1/src/engine/external/glew/glew.c:272:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DDNet-15.8.1/src/engine/external/glew/glew.c:288:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DDNet-15.8.1/src/engine/external/glew/glew.c:288:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/d/diamond-aligner/diamond-aligner_2.0.14.orig.tar.xz
diamond-2.0.14/src/lib/ips4o/classifier.hpp:90:9: warning: Comparison is wrong. Result of 'getSortedSplitters()+num_splitters' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
diamond-2.0.14/src/lib/ips4o/sampling.hpp:96:13: warning: Comparison is wrong. Result of 'sorted_splitters+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
diamond-2.0.14/src/lib/ips4o/sampling.hpp:110:9: warning: Comparison is wrong. Result of 'sorted_splitters+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/d/dleyna-renderer/dleyna-renderer_0.6.0.orig.tar.gz
dleyna-renderer-0.6.0/libdleyna/renderer/device.c:1199:24: warning: Comparison is wrong. Result of 'pos+4' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/d/dustrac/dustrac_2.1.1.orig.tar.gz
DustRacing2D-2.1.1/src/game/MiniCore/src/Graphics/contrib/glew/glew.c:217:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DustRacing2D-2.1.1/src/game/MiniCore/src/Graphics/contrib/glew/glew.c:217:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DustRacing2D-2.1.1/src/game/MiniCore/src/Graphics/contrib/glew/glew.c:233:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DustRacing2D-2.1.1/src/game/MiniCore/src/Graphics/contrib/glew/glew.c:233:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DustRacing2D-2.1.1/src/game/MiniCore/src/Graphics/contrib/glew/glew.c:249:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
DustRacing2D-2.1.1/src/game/MiniCore/src/Graphics/contrib/glew/glew.c:249:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/e/eclipse-titan/eclipse-titan_8.1.1.orig.tar.gz
titan.core-8.1.1/regression_test/XML/XmlWorkflow/src/external.cc:26:19: warning: Comparison is wrong. Result of 'pos+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/e/ekg2/ekg2_0.4~pre+20120506.1.orig.tar.gz
ekg2-0.4~pre+20120506.1/plugins/logs/main.c:536:48: warning: Comparison is wrong. Result of 'logs_path+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ekg2-0.4~pre+20120506.1/plugins/logsqlite/logsqlite.c:339:36: warning: Comparison is wrong. Result of 'tmp+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/e/ettercap/ettercap_0.8.3.1.orig.tar.gz
ettercap-0.8.3.1/src/dissectors/ec_ospf.c:170:22: warning: Comparison is wrong. Result of 'ptr+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ettercap-0.8.3.1/src/dissectors/ec_ospf.c:177:22: warning: Comparison is wrong. Result of 'ptr+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/f/frama-c/frama-c_20201209+titanium.orig.tar.gz
frama-c-22.0-Titanium/tests/builtins/malloc-size-zero.c:24:12: warning: Comparison is wrong. Result of 'p1+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
frama-c-22.0-Titanium/tests/value/pointer_comp.c:25:14: warning: Comparison is wrong. Result of '&s1+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
frama-c-22.0-Titanium/tests/value/pointer_comp.c:47:14: warning: Comparison is wrong. Result of '&s1+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/g/gem/gem_0.94.orig.tar.bz2
Gem-v0.94/src/Gem/glew.c:260:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
Gem-v0.94/src/Gem/glew.c:260:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
Gem-v0.94/src/Gem/glew.c:276:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
Gem-v0.94/src/Gem/glew.c:276:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
Gem-v0.94/src/Gem/glew.c:292:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
Gem-v0.94/src/Gem/glew.c:292:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/g/glhack/glhack_1.2.orig.tar.gz
glhack-1.2/tools/edtile/w_tlinfo.cpp:106:7: warning: Comparison is wrong. Result of 'pixel_buf+16384' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/g/goxel/goxel_0.10.6.orig.tar.gz
goxel-0.10.6/ext_src/glew/glew.c:256:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
goxel-0.10.6/ext_src/glew/glew.c:256:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
goxel-0.10.6/ext_src/glew/glew.c:272:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
goxel-0.10.6/ext_src/glew/glew.c:272:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
goxel-0.10.6/ext_src/glew/glew.c:288:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
goxel-0.10.6/ext_src/glew/glew.c:288:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/libo/liboggplay/liboggplay_0.2.1~git20091227.orig.tar.gz
liboggplay-0.2.0/src/liboggplay/oggplay_buffer.c:113:23: warning: Comparison is wrong. Result of 'ti+j' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
liboggplay-0.2.0/src/liboggplay/oggplay_buffer.c:227:22: warning: Comparison is wrong. Result of 'ti+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/l/lttoolbox/lttoolbox_3.5.4.orig.tar.xz
lttoolbox-3.5.4/lttoolbox/win32/libgen.c:13:16: warning: Comparison is wrong. Result of 'pos+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/n/nagios3/nagios3_3.5.1.dfsg.orig.tar.gz
nagios/contrib/convertcfg.c:634:20: warning: Comparison is wrong. Result of 'temp_ptr+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
nagios/contrib/convertcfg.c:681:20: warning: Comparison is wrong. Result of 'temp_ptr+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/n/nagios4/nagios4_4.4.6.orig.tar.gz
nagios-4.4.6/contrib/convertcfg.c:632:20: warning: Comparison is wrong. Result of 'temp_ptr+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
nagios-4.4.6/contrib/convertcfg.c:679:20: warning: Comparison is wrong. Result of 'temp_ptr+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/n/ncview/ncview_2.1.8+ds.orig.tar.gz
ncview-2.1.8/src/interface/x_interface.c:2447:29: warning: Comparison is wrong. Result of 'varlist_widget+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/n/nexus/nexus_4.4.3.orig.tar.gz
code-4.4.3/applications/NXtranslate/xml_util.cpp:23:22: warning: Comparison is wrong. Result of 'char_array+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/o/openjdk-11-jre-dcevm/openjdk-11-jre-dcevm_11.0.12+7.orig.tar.xz
openjdk-11-jre-dcevm-11.0.12/src/java.base/share/native/libjli/java.c:1698:35: warning: Comparison is wrong. Result of 'arg+2' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/o/openmama/openmama_2.2.2.1.orig.tar.bz2
openmama-src-2.2.2.1/mamda/c_cpp/src/cpp/MamdaMultiParticipantManager.cpp:370:27: warning: Comparison is wrong. Result of 'lastDot+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
openmama-src-2.2.2.1/mamda/c_cpp/src/cpp/MamdaUtils.cpp:65:31: warning: Comparison is wrong. Result of 'lastDot+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
openmama-src-2.2.2.1/mamda/c_cpp/src/cpp/orderbooks/MamdaBookAtomicListener.cpp:537:35: warning: Comparison is wrong. Result of 'lastDot+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/p/p4est/p4est_2.2.orig.tar.xz
p4est-2.2/src/p6est.c:161:24: warning: Comparison is wrong. Result of 'p4est_connectivity_memory_used(conn->conn4)+conn->top_vertices' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/p/picosat/picosat_965.orig.tar.gz
picosat-965/picosat.c:1943:23: warning: Comparison is wrong. Result of 'ps->lits+2*(v-ps->vars)' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/p/pilot-link/pilot-link_0.12.5-dfsg.orig.tar.gz
pilot-link-0.12.5-dfsg/libpisock/location.c:463:10: warning: Comparison is wrong. Result of 'data+localPosition' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/p/psychtoolbox-3/psychtoolbox-3_3.0.17.12.dfsg1.orig.tar.gz
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Screen/glew.c:256:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Screen/glew.c:256:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Screen/glew.c:272:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Screen/glew.c:272:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Screen/glew.c:288:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/PsychSourceGL/Source/Common/Screen/glew.c:288:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/Psychtoolbox/PsychOpenGL/MOGL/source/glew.c:256:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/Psychtoolbox/PsychOpenGL/MOGL/source/glew.c:256:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/Psychtoolbox/PsychOpenGL/MOGL/source/glew.c:272:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/Psychtoolbox/PsychOpenGL/MOGL/source/glew.c:272:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/Psychtoolbox/PsychOpenGL/MOGL/source/glew.c:288:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
psychtoolbox-3-3.0.17.12.dfsg1/Psychtoolbox/PsychOpenGL/MOGL/source/glew.c:288:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/r/r-cran-boolnet/r-cran-boolnet_2.1.5.orig.tar.gz
BoolNet/src/picosat.c:1948:23: warning: Comparison is wrong. Result of 'ps->lits+2*(v-ps->vars)' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/r/r-cran-data.table/r-cran-data.table_1.14.2+dfsg.orig.tar.xz
data.table/src/fread.c:1278:38: warning: Comparison is wrong. Result of 'nastr+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/r/rdist/rdist_6.1.5.orig.tar.bz2
rdist-6.1.5/src/client.c:1222:15: warning: Comparison is wrong. Result of 'rname+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/r/reiser4progs/reiser4progs_2.0.5.orig.tar.gz
reiser4progs-2.0.5/libmisc/profile.c:32:13: warning: Comparison is wrong. Result of 'c+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/s/silverjuke/silverjuke_18.2.1.orig.tar.gz
silverjuke-18.2.1/src/prjm/glew/glew.c:256:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
silverjuke-18.2.1/src/prjm/glew/glew.c:256:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
silverjuke-18.2.1/src/prjm/glew/glew.c:272:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
silverjuke-18.2.1/src/prjm/glew/glew.c:272:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
silverjuke-18.2.1/src/prjm/glew/glew.c:288:29: warning: Comparison is wrong. Result of '(*a)+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
silverjuke-18.2.1/src/prjm/glew/glew.c:288:44: warning: Comparison is wrong. Result of 'b+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/s/smalt/smalt_0.7.6.orig.tar.gz
smalt-0.7.6/src/diffstr.c:978:22: warning: Comparison is wrong. Result of 'diffstrp+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/s/smlnj/smlnj_110.79.orig.tar.gz
smlnj-110.79/ckit/regression/output/a20.c:19:9: warning: Comparison is wrong. Result of 'z_p197+(1*12)' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
smlnj-110.79/ckit/regression/valid-programs/a20.c:17:5: warning: Comparison is wrong. Result of 'z+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/t/transcode/transcode_1.1.7.orig.tar.bz2
transcode-1.1.7/import/probe_mplayer.c:51:32: warning: Comparison is wrong. Result of 'pc+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
transcode-1.1.7/import/probe_mplayer.c:60:32: warning: Comparison is wrong. Result of 'pc+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/u/uim/uim_1.8.8.orig.tar.gz
uim-1.8.8/uim/uim-ipc.c:205:36: warning: Comparison is wrong. Result of 'cmd_name+1' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/u/undertaker/undertaker_1.6.1.orig.tar.xz
undertaker-1.6.1/picosat/picosat.c:1997:23: warning: Comparison is wrong. Result of 'lits+2*(v-vars)' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/v/vg/vg_1.30.0+ds.orig.tar.xz
vg-v1.30.0/deps/vowpal_wabbit/vowpalwabbit/v_array.h:68:46: warning: Comparison is wrong. Result of '_begin+old_len' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/v/vowpal-wabbit/vowpal-wabbit_8.6.1.dfsg1.orig.tar.gz
vowpal-wabbit-8.6.1.dfsg1/vowpalwabbit/v_array.h:67:46: warning: Comparison is wrong. Result of '_begin+old_len' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/w/wmail/wmail_2.3.orig.tar.gz
wmail-2.3/src/config.c:486:15: warning: Comparison is wrong. Result of 'c+i' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]
ftp://ftp.de.debian.org/debian/pool/main/x/xsystem35/xsystem35_1.7.3-pre5.orig.tar.gz
xsystem35-1.7.3-pre5/src/cmd2F60.c:47:17: warning: Comparison is wrong. Result of 'nact->ain.dll+type' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull]