compareBoolExpressionWithInt
ftp://ftp.de.debian.org/debian/pool/main/b/blastem/blastem_0.6.3.4.orig.tar.gz
blastem-0.6.3.4/jagcpu.c:221:42: warning: Comparison of a boolean expression with an integer other than 0 or 1. [compareBoolExpressionWithInt]
ftp://ftp.de.debian.org/debian/pool/main/b/bpfcc/bpfcc_0.22.0+ds.orig.tar.xz
bcc-0.22.0/libbpf-tools/runqlen.c:92:25: warning: Comparison of a boolean expression with an integer. [compareBoolExpressionWithInt]
ftp://ftp.de.debian.org/debian/pool/main/c/casync/casync_2+20201210.orig.tar.gz
src/copy.c:48:18: warning: Comparison of a boolean expression with an integer other than 0 or 1. [compareBoolExpressionWithInt]
ftp://ftp.de.debian.org/debian/pool/main/c/cbmc/cbmc_5.12.orig.tar.gz
cbmc-cbmc-5.12/regression/array-refinement-with-incr/Array_UF6/main.c:14:36: warning: Comparison of a boolean expression with an integer other than 0 or 1. [compareBoolExpressionWithInt]
cbmc-cbmc-5.12/regression/array-refinement-with-incr/Array_UF6/main.c:15:36: warning: Comparison of a boolean expression with an integer other than 0 or 1. [compareBoolExpressionWithInt]
cbmc-cbmc-5.12/regression/array-refinement/Array_UF6/main.c:14:36: warning: Comparison of a boolean expression with an integer other than 0 or 1. [compareBoolExpressionWithInt]
cbmc-cbmc-5.12/regression/array-refinement/Array_UF6/main.c:15:36: warning: Comparison of a boolean expression with an integer other than 0 or 1. [compareBoolExpressionWithInt]
cbmc-cbmc-5.12/regression/cbmc-cover/mcdc9/main.c:7:9: warning: Comparison of a boolean expression with an integer other than 0 or 1. [compareBoolExpressionWithInt]
cbmc-cbmc-5.12/regression/cbmc-cover/mcdc9/main.c:8:9: warning: Comparison of a boolean expression with an integer other than 0 or 1. [compareBoolExpressionWithInt]
ftp://ftp.de.debian.org/debian/pool/main/c/cgoban/cgoban_1.9.14.orig.tar.gz
cgoban-1.9.14/src/gmp/play.c:875:24: warning: Comparison of a boolean expression with an integer other than 0 or 1. [compareBoolExpressionWithInt]