integerOverflowCond
ftp://ftp.de.debian.org/debian/pool/main/j/julia/julia_1.5.3+dfsg.orig.tar.xz
julia-1.5.3/src/flisp/cvalues.c:1019:72: warning: Either the condition 'ui32<=((uint32_t)2147483647)+1' is redundant or there is signed integer overflow for expression '-(int32_t)ui32'. [integerOverflowCond]
ftp://ftp.de.debian.org/debian/pool/main/l/logapp/logapp_0.16.orig.tar.gz
logapp-0.16/configuration.c:661:41: warning: Either the condition 'config.maxlogsize>4000000' is redundant or there is signed integer overflow for expression 'config.maxlogsize*1024'. [integerOverflowCond]