2022-06-27 02:15
ftp://ftp.de.debian.org/debian/pool/main/d/depqbf/depqbf_5.01.orig.tar.gz
cppcheck-options: --library=posix --library=gnu  --showtime=top5 --check-library --inconclusive --enable=style,information --template=daca2 -D__GNUC__ --platform=unix64 -rp=temp -j2
platform: Linux-5.4.0-110-generic-x86_64-with-glibc2.29
python: 3.8.10
client-version: 1.3.24
compiler: g++ (Ubuntu 9.4.0-1ubuntu1~20.04.1) 9.4.0
cppcheck: head 2.8
head-info: 242afc3 (2022-06-25 21:42:55 +0200)
count: 663 663
elapsed-time: 107.5 211.4
head-timing-info:
 Overall time: 0s

old-timing-info:
 Overall time: 0s

head results:
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-api-example.c:75:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-api-example.c:104:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
depqbf-version-5.01/DepQBF4J-0.2/jni/DepQBF4J.c:177:16: warning:inconclusive: Division of result of sizeof() on pointer type. [divideSizeof]
depqbf-version-5.01/DepQBF4J-0.2/jni/DepQBF4J.c:193:16: warning:inconclusive: Division of result of sizeof() on pointer type. [divideSizeof]
depqbf-version-5.01/DepQBF4J-0.2/jni/DepQBF4J.c:235:16: warning:inconclusive: Division of result of sizeof() on pointer type. [divideSizeof]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-api-example3.c:89:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-api-example3.c:118:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-clause-groups-api-example-assumptions.c:132:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-clause-groups-api-example-assumptions.c:134:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-clause-groups-api-example.c:13:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-clause-groups-api-example.c:117:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/examples/basic-clause-groups-api-example.c:119:3: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c:249:13: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c:251:13: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c:263:13: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c:210:7: style: Variable 'col' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_app.c:210:16: style: Variable 'line' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2018:3: warning: Assert statement modifies 'e'. [assignmentInAssert]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2018:3: warning: Assert statement modifies 'en'. [assignmentInAssert]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2020:3: warning: Assert statement modifies 'e'. [assignmentInAssert]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2020:3: warning: Assert statement modifies 'en'. [assignmentInAssert]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4471:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4485:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5683:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5686:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5704:9: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5704:9: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5719:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5719:13: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5725:11: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5725:11: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5727:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5727:13: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5736:17: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5736:17: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5743:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5743:15: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5758:23: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5758:23: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5764:19: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5764:19: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5766:21: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5766:21: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2926:11: warning: Either the condition 'prev' is redundant or there is possible null pointer dereference: s. [nullPointerRedundantCheck]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2923:12: note: Assuming that condition 'prev' is not redundant
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2951:14: note: Assignment to 'prev=s'
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2926:11: note: Null pointer dereference
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2929:15: warning: Either the condition 'prev' is redundant or there is possible null pointer dereference: s. [nullPointerRedundantCheck]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2923:12: note: Assuming that condition 'prev' is not redundant
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2951:14: note: Assignment to 'prev=s'
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2929:15: note: Null pointer dereference
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2930:15: warning: Either the condition 'prev' is redundant or there is possible null pointer dereference: s. [nullPointerRedundantCheck]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2923:12: note: Assuming that condition 'prev' is not redundant
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2951:14: note: Assignment to 'prev=s'
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2930:15: note: Null pointer dereference
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2947:22: warning: Either the condition 'prev' is redundant or there is possible null pointer dereference: s. [nullPointerRedundantCheck]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2923:12: note: Assuming that condition 'prev' is not redundant
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2951:14: note: Assignment to 'prev=s'
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2947:22: note: Null pointer dereference
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1512:34: style: Checking if unsigned expression 'var->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1519:47: style: Checking if unsigned expression 'var_tmp->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1521:42: style: Checking if unsigned expression 'var_tmp->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2041:33: style: Checking if unsigned expression 'var->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2066:60: style: Checking if unsigned expression '(vars+((*rightlit_p)<0?-(*rightlit_p):(*rightlit_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2081:64: style: Checking if unsigned expression '(vars+((*leftlit_p)<0?-(*leftlit_p):(*leftlit_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2093:63: style: Checking if unsigned expression '(vars+((*tmp_p)<0?-(*tmp_p):(*tmp_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2098:68: style: Checking if unsigned expression '(vars+((*rightlit_p)<0?-(*rightlit_p):(*rightlit_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2105:51: style: Checking if unsigned expression 'rep_tmp->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2108:53: style: Checking if unsigned expression 'rep_right->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2139:62: style: Checking if unsigned expression '(vars+((*last_e_p)<0?-(*last_e_p):(*last_e_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2147:51: style: Checking if unsigned expression 'uf_find(vars,(vars)+((*last_e_p)<0?-(*last_e_p):(*last_e_p)),0,type)->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2157:64: style: Checking if unsigned expression '(vars+((*rightlit_p)<0?-(*rightlit_p):(*rightlit_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2165:58: style: Checking if unsigned expression 'uf_find(vars,(vars)+((*rightlit_p)<0?-(*rightlit_p):(*rightlit_p)),0,type)->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2180:67: style: Checking if unsigned expression '(vars+((*tmp_p)<0?-(*tmp_p):(*tmp_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2200:63: style: Checking if unsigned expression '(vars+((*tmp_p)<0?-(*tmp_p):(*tmp_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3013:37: style: Checking if unsigned expression 'd->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3015:32: style: Checking if unsigned expression 'd->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3073:37: style: Checking if unsigned expression 't->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5571:32: style: Checking if unsigned expression 'v->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5614:32: style: Checking if unsigned expression 'v->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1583:57: style:inconclusive: Function 'referenced_by_active_existential_var' argument 2 names different: declaration 'var' definition 'v'. [funcArgNamesDifferent]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1256:68: note: Function 'referenced_by_active_existential_var' argument 2 names different: declaration 'var' definition 'v'.
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1583:57: note: Function 'referenced_by_active_existential_var' argument 2 names different: declaration 'var' definition 'v'.
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3505:54: style:inconclusive: Function 'count_direct_active_refs_by_sedge' argument 2 names different: declaration 'var' definition 'v'. [funcArgNamesDifferent]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1462:74: note: Function 'count_direct_active_refs_by_sedge' argument 2 names different: declaration 'var' definition 'v'.
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3505:54: note: Function 'count_direct_active_refs_by_sedge' argument 2 names different: declaration 'var' definition 'v'.
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1187:14: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1177:8: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1187:14: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1187:18: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1177:12: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1187:18: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1293:16: style: Local variable 's' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1279:13: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1293:16: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1297:18: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1272:10: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1297:18: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1297:23: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1272:14: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1297:23: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2346:31: style: Local variable 'd' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2278:23: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2346:31: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2347:38: style: Local variable 'i' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2262:24: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2347:38: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2347:41: style: Local variable 'end' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2262:27: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2347:41: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2726:25: style: Local variable 's' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2702:10: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2726:25: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3321:23: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3317:14: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3321:23: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4888:13: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4815:10: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4888:13: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4888:18: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4815:14: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4888:18: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5497:12: style: Local variable 'rep' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5477:8: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5497:12: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2030:53: style: Parameter 'lits' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:552:41: error: Uninitialized variables: right.tail_var, right.head_var, right.chain_next, right.pos, right.priority [uninitvar]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:547:31: note: Assuming condition is false
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:552:41: note: Uninitialized variables: right.tail_var, right.head_var, right.chain_next, right.pos, right.priority
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1136:12: style: Variable 'prev' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1338:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1422:3: style: Variable '(forest_succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:1920:15: style: Variable 'old_to' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2405:3: style: Variable '(stack).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2406:3: style: Variable '(marks).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3181:3: style: Variable '(forest_succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3265:3: style: Variable '(forest_succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3399:3: style: Variable '(forest_succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:3989:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4166:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4319:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4414:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4594:16: style: Variable 'qdpll' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4670:3: style: Variable '(marks).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4683:16: style: Variable 'qdpll' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:4744:3: style: Variable '(marks).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5132:30: style: Variable 'type' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5870:30: style: Variable 'type' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:5878:14: style: Unused variable: cidn [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_mem.c:128:3: style: Checking if unsigned expression 'limit' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c:202:36: error: Uninitialized variable: right [uninitvar]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c:194:31: note: Assuming condition is false
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c:202:36: note: Uninitialized variable: right
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_pqueue.c:202:36: error: Uninitialized struct member: right.priority [uninitStructMember]
depqbf-version-5.01/examples/basic-clause-groups-api-example.c:13:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15704:11: warning: Assert statement calls a function which may have desired side effects: 'qdpll_exists_clause_group'. [assertWithSideEffect]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17007:19: warning: Assert statement calls a function which may have desired side effects: 'qdpll_exists_clause_group'. [assertWithSideEffect]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15592:46: style: Condition 'qdpll->state.next_free_internal_var_id==cur_size_vars' is always false [knownConditionTrueFalse]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15586:3: note: Assuming that condition 'qdpll->state.next_free_internal_var_id>qdpll->pcnf.size_vars' is not redundant
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15588:3: note: Assuming condition is false
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15591:29: note: cur_size_vars is assigned 'qdpll->pcnf.size_vars' here.
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15592:46: note: Condition 'qdpll->state.next_free_internal_var_id==cur_size_vars' is always false
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:153:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:182:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:184:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:210:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:230:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:321:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:321:7: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:321:7: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:321:7: warning: %d in format string (no. 6) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:321:7: warning: %d in format string (no. 7) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:341:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:359:11: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5387:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5387:11: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5860:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5860:7: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5860:7: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5860:7: warning: %d in format string (no. 6) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6045:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6405:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6405:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6540:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6549:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6549:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6651:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6755:15: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'ptrdiff_t {aka signed int}'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6838:25: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6910:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6915:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6915:13: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6973:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7001:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7022:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7022:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7576:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7775:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8288:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8288:11: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8444:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8465:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8471:17: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8480:17: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8480:17: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8487:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8522:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8522:9: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8522:9: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8531:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8540:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8860:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8860:9: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8860:9: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8886:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8903:19: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8912:17: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8912:17: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9340:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9427:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9490:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9490:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9490:15: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9613:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9613:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9625:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9625:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9653:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9843:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10548:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10548:5: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10569:11: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10665:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10675:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11334:7: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11339:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11344:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11359:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11359:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11369:19: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11387:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11387:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11685:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11686:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11842:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11859:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11862:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12267:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12288:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12519:33: portability: %ld in format string (no. 3) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12519:33: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12536:33: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12536:33: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12610:37: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12640:21: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12696:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12713:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12777:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13248:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13260:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13309:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13340:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13341:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13342:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13343:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13344:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13354:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13356:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13358:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13360:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13444:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13448:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13457:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13460:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13463:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13464:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13465:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13467:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13535:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13535:9: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13535:9: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13535:9: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13555:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13555:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13739:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13739:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13867:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13867:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13867:5: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13876:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13888:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14259:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14259:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14899:21: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15604:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17159:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17580:29: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17627:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17627:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17693:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17693:3: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17756:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1296:41: warning: Either the condition 'pvar->scope' is redundant or there is possible null pointer dereference: pvar->scope. [nullPointerRedundantCheck]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1307:20: note: Assuming that condition 'pvar->scope' is not redundant
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1296:41: note: Null pointer dereference
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1299:49: warning: Either the condition 'prev_var->scope' is redundant or there is possible null pointer dereference: prev_var->scope. [nullPointerRedundantCheck]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1307:39: note: Assuming that condition 'prev_var->scope' is not redundant
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1299:49: note: Null pointer dereference
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4848:12: warning: Either the condition 'scope' is redundant or there is possible null pointer dereference: scope. [nullPointerRedundantCheck]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4853:32: note: Assuming that condition 'scope' is not redundant
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4848:12: note: Null pointer dereference
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11129:11: warning: Either the condition 'c' is redundant or there is possible null pointer dereference: c. [nullPointerRedundantCheck]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11131:15: note: Assuming that condition 'c' is not redundant
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11129:11: note: Null pointer dereference
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7937:5: style: Label 'DO_RES' is not used. [unusedLabel]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17808:41: style:inconclusive: Function 'qdpll_var_depends' argument 2 names different: declaration 'id1' definition 'x'. [funcArgNamesDifferent]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.h:272:45: note: Function 'qdpll_var_depends' argument 2 names different: declaration 'id1' definition 'x'.
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17808:41: note: Function 'qdpll_var_depends' argument 2 names different: declaration 'id1' definition 'x'.
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17808:50: style:inconclusive: Function 'qdpll_var_depends' argument 3 names different: declaration 'id2' definition 'y'. [funcArgNamesDifferent]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.h:272:56: note: Function 'qdpll_var_depends' argument 3 names different: declaration 'id2' definition 'y'.
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17808:50: note: Function 'qdpll_var_depends' argument 3 names different: declaration 'id2' definition 'y'.
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5050:14: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5015:10: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5050:14: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5050:18: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5015:14: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5050:18: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6802:27: style: Local variable 'c' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6780:19: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6802:27: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6862:39: style: Local variable 'c' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6780:19: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6862:39: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10025:18: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9966:10: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10025:18: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10025:22: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9966:14: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10025:22: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10162:14: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10101:10: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10162:14: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12477:22: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12381:18: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12477:22: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12477:26: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12381:22: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12477:26: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12596:33: style: Local variable 'lit' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12558:21: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12596:33: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12597:32: style: Local variable 'var' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12559:20: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12597:32: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13793:18: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13766:14: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13793:18: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13793:22: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13766:18: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13793:22: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14242:10: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14166:10: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14242:10: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14242:14: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14166:14: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14242:14: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17574:28: style: Local variable 'var' shadows outer variable [shadowVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17501:8: note: Shadowed declaration
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17574:28: note: Shadow variable
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3552:58: style: Parameter 'left' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4283:61: style: Parameter 'left' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4283:32: style: Parameter 'lits' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5918:53: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5919:38: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5931:71: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5972:56: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5973:41: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5986:51: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5986:70: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6297:56: style: Parameter 'univ_var' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8245:86: style: Parameter 'lits_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9070:41: style: Parameter 'end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9927:73: style: Parameter 'end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10852:54: style: Parameter 'var' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11403:41: style: Parameter 'witness' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11952:75: style: Parameter 'c' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15397:63: style: Parameter 'outer' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17962:28: style: Parameter 'qdpll' can be declared as pointer to const [constParameter]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1897:40: error: Uninitialized variable: right_var [uninitvar]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1887:31: note: Assuming condition is false
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1897:40: note: Uninitialized variable: right_var
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:1897:40: error: Uninitialized struct member: right_var.priority [uninitStructMember]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:961:21: style: Variable 'is_cube' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2187:21: style: Variable 'init_watchers' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2193:21: style: Variable 'init_watchers' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2333:21: style: Variable 'init_watchers' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:2339:21: style: Variable 'init_watchers' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3856:19: style: Variable 'mm' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5232:19: style: Unused variable: lit [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5653:13: style: Variable 'lit' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5886:9: style: Variable 'lit' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6238:13: style: Variable 'vars' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7588:20: style: Variable 'del' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7612:26: style: Variable 'wreason_seen_pivot' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7631:34: style: Variable 'wreason_seen_pivot' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7675:30: style: Variable 'wreason_seen_pivot' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7597:9: style: Unused variable: vid1 [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7598:9: style: Unused variable: vid2 [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7599:16: style: Unused variable: nesting1 [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7600:16: style: Unused variable: nesting2 [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:7897:16: style: Variable 'mm' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8740:29: style: Variable 'kept_selector_var' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8741:29: style: Variable 'kept_selector_lit' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9031:22: style: Variable 'v' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9042:14: style: Variable 'v' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10151:31: style: Variable 'qpup_constraint' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10333:27: style: Variable 'offset' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11112:23: style: Variable 'dm' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11490:27: style: Variable 'del_offset' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11898:21: style: Unused variable: satisfying_lit [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12779:3: style: Variable '(blocked_clauses).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12780:3: style: Variable '(maybe_blocking_literals).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:12781:3: style: Variable '(maybe_pure_literals).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:13173:15: style: Unused variable: c [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14056:3: style: Variable '(occ_list_sweep_vars).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14057:3: style: Variable '(clauses_to_be_deleted).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14571:3: style: Variable '(tmp).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14476:27: style: Unused variable: blocked_occs [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:14633:26: style: Variable 'dm' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15746:20: style: Unused variable: ce [unusedVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15765:42: style: Variable 'sat_var' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:16032:7: style: Variable '(stack).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:16042:7: style: Variable '(stack).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17031:3: style: Variable '(clause_group_ids).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_app.c:249:13: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
depqbf-version-5.01/qdpll_app.c:251:13: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
depqbf-version-5.01/qdpll_app.c:263:13: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
depqbf-version-5.01/qdpll_app.c:210:7: style: Variable 'col' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_app.c:210:16: style: Variable 'line' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2018:3: warning: Assert statement modifies 'e'. [assignmentInAssert]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2018:3: warning: Assert statement modifies 'en'. [assignmentInAssert]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2020:3: warning: Assert statement modifies 'e'. [assignmentInAssert]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2020:3: warning: Assert statement modifies 'en'. [assignmentInAssert]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4471:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4485:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5683:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5686:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5704:9: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5704:9: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5719:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5719:13: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5725:11: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5725:11: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5727:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5727:13: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5736:17: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5736:17: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5743:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5743:15: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5758:23: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5758:23: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5764:19: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5764:19: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5766:21: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5766:21: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2926:11: warning: Either the condition 'prev' is redundant or there is possible null pointer dereference: s. [nullPointerRedundantCheck]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2923:12: note: Assuming that condition 'prev' is not redundant
depqbf-version-5.01/qdpll_dep_man_qdag.c:2951:14: note: Assignment to 'prev=s'
depqbf-version-5.01/qdpll_dep_man_qdag.c:2926:11: note: Null pointer dereference
depqbf-version-5.01/qdpll_dep_man_qdag.c:2929:15: warning: Either the condition 'prev' is redundant or there is possible null pointer dereference: s. [nullPointerRedundantCheck]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2923:12: note: Assuming that condition 'prev' is not redundant
depqbf-version-5.01/qdpll_dep_man_qdag.c:2951:14: note: Assignment to 'prev=s'
depqbf-version-5.01/qdpll_dep_man_qdag.c:2929:15: note: Null pointer dereference
depqbf-version-5.01/qdpll_dep_man_qdag.c:2930:15: warning: Either the condition 'prev' is redundant or there is possible null pointer dereference: s. [nullPointerRedundantCheck]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2923:12: note: Assuming that condition 'prev' is not redundant
depqbf-version-5.01/qdpll_dep_man_qdag.c:2951:14: note: Assignment to 'prev=s'
depqbf-version-5.01/qdpll_dep_man_qdag.c:2930:15: note: Null pointer dereference
depqbf-version-5.01/qdpll_dep_man_qdag.c:2947:22: warning: Either the condition 'prev' is redundant or there is possible null pointer dereference: s. [nullPointerRedundantCheck]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2923:12: note: Assuming that condition 'prev' is not redundant
depqbf-version-5.01/qdpll_dep_man_qdag.c:2951:14: note: Assignment to 'prev=s'
depqbf-version-5.01/qdpll_dep_man_qdag.c:2947:22: note: Null pointer dereference
depqbf-version-5.01/qdpll_dep_man_qdag.c:1512:34: style: Checking if unsigned expression 'var->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1519:47: style: Checking if unsigned expression 'var_tmp->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1521:42: style: Checking if unsigned expression 'var_tmp->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2041:33: style: Checking if unsigned expression 'var->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2066:60: style: Checking if unsigned expression '(vars+((*rightlit_p)<0?-(*rightlit_p):(*rightlit_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2081:64: style: Checking if unsigned expression '(vars+((*leftlit_p)<0?-(*leftlit_p):(*leftlit_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2093:63: style: Checking if unsigned expression '(vars+((*tmp_p)<0?-(*tmp_p):(*tmp_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2098:68: style: Checking if unsigned expression '(vars+((*rightlit_p)<0?-(*rightlit_p):(*rightlit_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2105:51: style: Checking if unsigned expression 'rep_tmp->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2108:53: style: Checking if unsigned expression 'rep_right->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2139:62: style: Checking if unsigned expression '(vars+((*last_e_p)<0?-(*last_e_p):(*last_e_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2147:51: style: Checking if unsigned expression 'uf_find(vars,(vars)+((*last_e_p)<0?-(*last_e_p):(*last_e_p)),0,type)->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2157:64: style: Checking if unsigned expression '(vars+((*rightlit_p)<0?-(*rightlit_p):(*rightlit_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2165:58: style: Checking if unsigned expression 'uf_find(vars,(vars)+((*rightlit_p)<0?-(*rightlit_p):(*rightlit_p)),0,type)->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2180:67: style: Checking if unsigned expression '(vars+((*tmp_p)<0?-(*tmp_p):(*tmp_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2200:63: style: Checking if unsigned expression '(vars+((*tmp_p)<0?-(*tmp_p):(*tmp_p)))->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:3013:37: style: Checking if unsigned expression 'd->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:3015:32: style: Checking if unsigned expression 'd->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:3073:37: style: Checking if unsigned expression 't->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5571:32: style: Checking if unsigned expression 'v->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5614:32: style: Checking if unsigned expression 'v->decision_level' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1583:57: style:inconclusive: Function 'referenced_by_active_existential_var' argument 2 names different: declaration 'var' definition 'v'. [funcArgNamesDifferent]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1256:68: note: Function 'referenced_by_active_existential_var' argument 2 names different: declaration 'var' definition 'v'.
depqbf-version-5.01/qdpll_dep_man_qdag.c:1583:57: note: Function 'referenced_by_active_existential_var' argument 2 names different: declaration 'var' definition 'v'.
depqbf-version-5.01/qdpll_dep_man_qdag.c:3505:54: style:inconclusive: Function 'count_direct_active_refs_by_sedge' argument 2 names different: declaration 'var' definition 'v'. [funcArgNamesDifferent]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1462:74: note: Function 'count_direct_active_refs_by_sedge' argument 2 names different: declaration 'var' definition 'v'.
depqbf-version-5.01/qdpll_dep_man_qdag.c:3505:54: note: Function 'count_direct_active_refs_by_sedge' argument 2 names different: declaration 'var' definition 'v'.
depqbf-version-5.01/qdpll_dep_man_qdag.c:1187:14: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1177:8: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:1187:14: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:1187:18: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1177:12: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:1187:18: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:1293:16: style: Local variable 's' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1279:13: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:1293:16: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:1297:18: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1272:10: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:1297:18: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:1297:23: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1272:14: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:1297:23: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:2346:31: style: Local variable 'd' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2278:23: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:2346:31: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:2347:38: style: Local variable 'i' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2262:24: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:2347:38: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:2347:41: style: Local variable 'end' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2262:27: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:2347:41: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:2726:25: style: Local variable 's' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2702:10: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:2726:25: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:3321:23: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:3317:14: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:3321:23: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:4888:13: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4815:10: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:4888:13: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:4888:18: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4815:14: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:4888:18: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:5497:12: style: Local variable 'rep' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5477:8: note: Shadowed declaration
depqbf-version-5.01/qdpll_dep_man_qdag.c:5497:12: note: Shadow variable
depqbf-version-5.01/qdpll_dep_man_qdag.c:2030:53: style: Parameter 'lits' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll_dep_man_qdag.c:552:41: error: Uninitialized variables: right.tail_var, right.head_var, right.chain_next, right.pos, right.priority [uninitvar]
depqbf-version-5.01/qdpll_dep_man_qdag.c:547:31: note: Assuming condition is false
depqbf-version-5.01/qdpll_dep_man_qdag.c:552:41: note: Uninitialized variables: right.tail_var, right.head_var, right.chain_next, right.pos, right.priority
depqbf-version-5.01/qdpll_dep_man_qdag.c:1136:12: style: Variable 'prev' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1338:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1422:3: style: Variable '(forest_succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:1920:15: style: Variable 'old_to' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2405:3: style: Variable '(stack).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:2406:3: style: Variable '(marks).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:3181:3: style: Variable '(forest_succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:3265:3: style: Variable '(forest_succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:3399:3: style: Variable '(forest_succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:3989:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4166:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4319:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4414:3: style: Variable '(succ).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4594:16: style: Variable 'qdpll' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4670:3: style: Variable '(marks).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4683:16: style: Variable 'qdpll' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:4744:3: style: Variable '(marks).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5132:30: style: Variable 'type' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5870:30: style: Variable 'type' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll_dep_man_qdag.c:5878:14: style: Unused variable: cidn [unusedVariable]
depqbf-version-5.01/qdpll_mem.c:128:3: style: Checking if unsigned expression 'limit' is less than zero. [unsignedLessThanZero]
depqbf-version-5.01/qdpll_pqueue.c:202:36: error: Uninitialized variable: right [uninitvar]
depqbf-version-5.01/qdpll_pqueue.c:194:31: note: Assuming condition is false
depqbf-version-5.01/qdpll_pqueue.c:202:36: note: Uninitialized variable: right
depqbf-version-5.01/qdpll_pqueue.c:202:36: error: Uninitialized struct member: right.priority [uninitStructMember]
depqbf-version-5.01/qdpll.c:15704:11: warning: Assert statement calls a function which may have desired side effects: 'qdpll_exists_clause_group'. [assertWithSideEffect]
depqbf-version-5.01/qdpll.c:17007:19: warning: Assert statement calls a function which may have desired side effects: 'qdpll_exists_clause_group'. [assertWithSideEffect]
depqbf-version-5.01/qdpll.c:15592:46: style: Condition 'qdpll->state.next_free_internal_var_id==cur_size_vars' is always false [knownConditionTrueFalse]
depqbf-version-5.01/qdpll.c:15586:3: note: Assuming that condition 'qdpll->state.next_free_internal_var_id>qdpll->pcnf.size_vars' is not redundant
depqbf-version-5.01/qdpll.c:15588:3: note: Assuming condition is false
depqbf-version-5.01/qdpll.c:15591:29: note: cur_size_vars is assigned 'qdpll->pcnf.size_vars' here.
depqbf-version-5.01/qdpll.c:15592:46: note: Condition 'qdpll->state.next_free_internal_var_id==cur_size_vars' is always false
depqbf-version-5.01/qdpll.c:153:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:182:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:184:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:210:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:230:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:321:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:321:7: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:321:7: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:321:7: warning: %d in format string (no. 6) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:321:7: warning: %d in format string (no. 7) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:341:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:359:11: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:5387:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:5387:11: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:5860:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:5860:7: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:5860:7: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:5860:7: warning: %d in format string (no. 6) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6045:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6405:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6405:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6540:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6549:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6549:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6651:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6755:15: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'ptrdiff_t {aka signed int}'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6838:25: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6910:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6915:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6915:13: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:6973:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:7001:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:7022:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:7022:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:7576:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:7775:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8288:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8288:11: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8444:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8465:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8471:17: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8480:17: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8480:17: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8487:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8522:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8522:9: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8522:9: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8531:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8540:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8860:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8860:9: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8860:9: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8886:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8903:19: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8912:17: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:8912:17: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9340:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9427:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9490:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9490:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9490:15: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9613:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9613:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9625:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9625:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9653:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:9843:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:10548:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:10548:5: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:10569:11: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:10665:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:10675:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11334:7: portability: %ld in format string (no. 1) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11339:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11344:7: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11359:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11359:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11369:19: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11387:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11387:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11685:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11686:7: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11842:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11859:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:11862:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12267:11: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12288:15: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12519:33: portability: %ld in format string (no. 3) requires 'long' but the argument type is 'size_t {aka unsigned long}'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12519:33: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12536:33: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12536:33: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12610:37: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12640:21: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12696:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12713:15: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:12777:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13248:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13260:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13309:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13340:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13341:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13342:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13343:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13344:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13354:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13356:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13358:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13360:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13444:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13448:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13457:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13460:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13463:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13464:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13465:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13467:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13535:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13535:9: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13535:9: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13535:9: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13555:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13555:13: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13739:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13739:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13867:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13867:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13867:5: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13876:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:13888:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:14259:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:14259:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:14899:21: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:15604:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:17159:13: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:17580:29: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:17627:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:17627:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:17693:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:17693:3: warning: %d in format string (no. 3) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:17756:9: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint]
depqbf-version-5.01/qdpll.c:1296:41: warning: Either the condition 'pvar->scope' is redundant or there is possible null pointer dereference: pvar->scope. [nullPointerRedundantCheck]
depqbf-version-5.01/qdpll.c:1307:20: note: Assuming that condition 'pvar->scope' is not redundant
depqbf-version-5.01/qdpll.c:1296:41: note: Null pointer dereference
depqbf-version-5.01/qdpll.c:1299:49: warning: Either the condition 'prev_var->scope' is redundant or there is possible null pointer dereference: prev_var->scope. [nullPointerRedundantCheck]
depqbf-version-5.01/qdpll.c:1307:39: note: Assuming that condition 'prev_var->scope' is not redundant
depqbf-version-5.01/qdpll.c:1299:49: note: Null pointer dereference
depqbf-version-5.01/qdpll.c:4848:12: warning: Either the condition 'scope' is redundant or there is possible null pointer dereference: scope. [nullPointerRedundantCheck]
depqbf-version-5.01/qdpll.c:4853:32: note: Assuming that condition 'scope' is not redundant
depqbf-version-5.01/qdpll.c:4848:12: note: Null pointer dereference
depqbf-version-5.01/qdpll.c:11129:11: warning: Either the condition 'c' is redundant or there is possible null pointer dereference: c. [nullPointerRedundantCheck]
depqbf-version-5.01/qdpll.c:11131:15: note: Assuming that condition 'c' is not redundant
depqbf-version-5.01/qdpll.c:11129:11: note: Null pointer dereference
depqbf-version-5.01/qdpll.c:7937:5: style: Label 'DO_RES' is not used. [unusedLabel]
depqbf-version-5.01/qdpll.c:17808:41: style:inconclusive: Function 'qdpll_var_depends' argument 2 names different: declaration 'id1' definition 'x'. [funcArgNamesDifferent]
depqbf-version-5.01/qdpll.h:272:45: note: Function 'qdpll_var_depends' argument 2 names different: declaration 'id1' definition 'x'.
depqbf-version-5.01/qdpll.c:17808:41: note: Function 'qdpll_var_depends' argument 2 names different: declaration 'id1' definition 'x'.
depqbf-version-5.01/qdpll.c:17808:50: style:inconclusive: Function 'qdpll_var_depends' argument 3 names different: declaration 'id2' definition 'y'. [funcArgNamesDifferent]
depqbf-version-5.01/qdpll.h:272:56: note: Function 'qdpll_var_depends' argument 3 names different: declaration 'id2' definition 'y'.
depqbf-version-5.01/qdpll.c:17808:50: note: Function 'qdpll_var_depends' argument 3 names different: declaration 'id2' definition 'y'.
depqbf-version-5.01/qdpll.c:5050:14: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:5015:10: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:5050:14: note: Shadow variable
depqbf-version-5.01/qdpll.c:5050:18: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:5015:14: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:5050:18: note: Shadow variable
depqbf-version-5.01/qdpll.c:6802:27: style: Local variable 'c' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:6780:19: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:6802:27: note: Shadow variable
depqbf-version-5.01/qdpll.c:6862:39: style: Local variable 'c' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:6780:19: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:6862:39: note: Shadow variable
depqbf-version-5.01/qdpll.c:10025:18: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:9966:10: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:10025:18: note: Shadow variable
depqbf-version-5.01/qdpll.c:10025:22: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:9966:14: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:10025:22: note: Shadow variable
depqbf-version-5.01/qdpll.c:10162:14: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:10101:10: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:10162:14: note: Shadow variable
depqbf-version-5.01/qdpll.c:12477:22: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:12381:18: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:12477:22: note: Shadow variable
depqbf-version-5.01/qdpll.c:12477:26: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:12381:22: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:12477:26: note: Shadow variable
depqbf-version-5.01/qdpll.c:12596:33: style: Local variable 'lit' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:12558:21: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:12596:33: note: Shadow variable
depqbf-version-5.01/qdpll.c:12597:32: style: Local variable 'var' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:12559:20: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:12597:32: note: Shadow variable
depqbf-version-5.01/qdpll.c:13793:18: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:13766:14: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:13793:18: note: Shadow variable
depqbf-version-5.01/qdpll.c:13793:22: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:13766:18: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:13793:22: note: Shadow variable
depqbf-version-5.01/qdpll.c:14242:10: style: Local variable 'p' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:14166:10: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:14242:10: note: Shadow variable
depqbf-version-5.01/qdpll.c:14242:14: style: Local variable 'e' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:14166:14: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:14242:14: note: Shadow variable
depqbf-version-5.01/qdpll.c:17574:28: style: Local variable 'var' shadows outer variable [shadowVariable]
depqbf-version-5.01/qdpll.c:17501:8: note: Shadowed declaration
depqbf-version-5.01/qdpll.c:17574:28: note: Shadow variable
depqbf-version-5.01/qdpll.c:3552:58: style: Parameter 'left' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:4283:61: style: Parameter 'left' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:4283:32: style: Parameter 'lits' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:5918:53: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:5919:38: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:5931:71: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:5972:56: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:5973:41: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:5986:51: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:5986:70: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:6297:56: style: Parameter 'univ_var' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:8245:86: style: Parameter 'lits_end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:9070:41: style: Parameter 'end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:9927:73: style: Parameter 'end' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:10852:54: style: Parameter 'var' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:11403:41: style: Parameter 'witness' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:11952:75: style: Parameter 'c' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:15397:63: style: Parameter 'outer' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:17962:28: style: Parameter 'qdpll' can be declared as pointer to const [constParameter]
depqbf-version-5.01/qdpll.c:1897:40: error: Uninitialized variable: right_var [uninitvar]
depqbf-version-5.01/qdpll.c:1887:31: note: Assuming condition is false
depqbf-version-5.01/qdpll.c:1897:40: note: Uninitialized variable: right_var
depqbf-version-5.01/qdpll.c:1897:40: error: Uninitialized struct member: right_var.priority [uninitStructMember]
depqbf-version-5.01/qdpll.c:961:21: style: Variable 'is_cube' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:2187:21: style: Variable 'init_watchers' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:2193:21: style: Variable 'init_watchers' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:2333:21: style: Variable 'init_watchers' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:2339:21: style: Variable 'init_watchers' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:3856:19: style: Variable 'mm' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:5232:19: style: Unused variable: lit [unusedVariable]
depqbf-version-5.01/qdpll.c:5653:13: style: Variable 'lit' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:5886:9: style: Variable 'lit' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:6238:13: style: Variable 'vars' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:7588:20: style: Variable 'del' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:7612:26: style: Variable 'wreason_seen_pivot' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:7631:34: style: Variable 'wreason_seen_pivot' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:7675:30: style: Variable 'wreason_seen_pivot' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:7597:9: style: Unused variable: vid1 [unusedVariable]
depqbf-version-5.01/qdpll.c:7598:9: style: Unused variable: vid2 [unusedVariable]
depqbf-version-5.01/qdpll.c:7599:16: style: Unused variable: nesting1 [unusedVariable]
depqbf-version-5.01/qdpll.c:7600:16: style: Unused variable: nesting2 [unusedVariable]
depqbf-version-5.01/qdpll.c:7897:16: style: Variable 'mm' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:8740:29: style: Variable 'kept_selector_var' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:8741:29: style: Variable 'kept_selector_lit' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:9031:22: style: Variable 'v' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:9042:14: style: Variable 'v' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:10151:31: style: Variable 'qpup_constraint' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:10333:27: style: Variable 'offset' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:11112:23: style: Variable 'dm' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:11490:27: style: Variable 'del_offset' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:11898:21: style: Unused variable: satisfying_lit [unusedVariable]
depqbf-version-5.01/qdpll.c:12779:3: style: Variable '(blocked_clauses).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:12780:3: style: Variable '(maybe_blocking_literals).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:12781:3: style: Variable '(maybe_pure_literals).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:13173:15: style: Unused variable: c [unusedVariable]
depqbf-version-5.01/qdpll.c:14056:3: style: Variable '(occ_list_sweep_vars).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:14057:3: style: Variable '(clauses_to_be_deleted).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:14571:3: style: Variable '(tmp).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:14476:27: style: Unused variable: blocked_occs [unusedVariable]
depqbf-version-5.01/qdpll.c:14633:26: style: Variable 'dm' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:15746:20: style: Unused variable: ce [unusedVariable]
depqbf-version-5.01/qdpll.c:15765:42: style: Variable 'sat_var' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:16032:7: style: Variable '(stack).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:16042:7: style: Variable '(stack).top' is assigned a value that is never used. [unreadVariable]
depqbf-version-5.01/qdpll.c:17031:3: style: Variable '(clause_group_ids).top' is assigned a value that is never used. [unreadVariable]
diff:
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10852:54: style: Parameter 'var' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:10852:54: style: Parameter 'var' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11403:41: style: Parameter 'witness' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11403:41: style: Parameter 'witness' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11952:75: style: Parameter 'c' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:11952:75: style: Parameter 'c' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15397:63: style: Parameter 'outer' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:15397:63: style: Parameter 'outer' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17962:28: style: Parameter 'qdpll' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:17962:28: style: Parameter 'qdpll' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3552:58: style: Parameter 'left' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:3552:58: style: Parameter 'left' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4283:32: style: Parameter 'lits' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4283:32: style: Parameter 'lits' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4283:61: style: Parameter 'left' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:4283:61: style: Parameter 'left' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5918:53: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5918:53: style: Parameter 'lit_start' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5919:38: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5919:38: style: Parameter 'lit_end' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5931:71: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5931:71: style: Parameter 'lit_end' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5972:56: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5972:56: style: Parameter 'lit_start' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5973:41: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5973:41: style: Parameter 'lit_end' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5986:51: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5986:51: style: Parameter 'lit_start' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5986:70: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:5986:70: style: Parameter 'lit_end' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6297:56: style: Parameter 'univ_var' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:6297:56: style: Parameter 'univ_var' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8245:86: style: Parameter 'lits_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:8245:86: style: Parameter 'lits_end' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9070:41: style: Parameter 'end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9070:41: style: Parameter 'end' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9927:73: style: Parameter 'end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll.c:9927:73: style: Parameter 'end' can be declared with const [constParameter]
head depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2030:53: style: Parameter 'lits' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/DepQBF4J-0.2/jni/depqbf/qdpll_dep_man_qdag.c:2030:53: style: Parameter 'lits' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:10852:54: style: Parameter 'var' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:10852:54: style: Parameter 'var' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:11403:41: style: Parameter 'witness' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:11403:41: style: Parameter 'witness' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:11952:75: style: Parameter 'c' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:11952:75: style: Parameter 'c' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:15397:63: style: Parameter 'outer' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:15397:63: style: Parameter 'outer' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:17962:28: style: Parameter 'qdpll' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:17962:28: style: Parameter 'qdpll' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:3552:58: style: Parameter 'left' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:3552:58: style: Parameter 'left' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:4283:32: style: Parameter 'lits' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:4283:32: style: Parameter 'lits' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:4283:61: style: Parameter 'left' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:4283:61: style: Parameter 'left' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:5918:53: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:5918:53: style: Parameter 'lit_start' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:5919:38: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:5919:38: style: Parameter 'lit_end' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:5931:71: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:5931:71: style: Parameter 'lit_end' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:5972:56: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:5972:56: style: Parameter 'lit_start' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:5973:41: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:5973:41: style: Parameter 'lit_end' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:5986:51: style: Parameter 'lit_start' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:5986:51: style: Parameter 'lit_start' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:5986:70: style: Parameter 'lit_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:5986:70: style: Parameter 'lit_end' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:6297:56: style: Parameter 'univ_var' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:6297:56: style: Parameter 'univ_var' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:8245:86: style: Parameter 'lits_end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:8245:86: style: Parameter 'lits_end' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:9070:41: style: Parameter 'end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:9070:41: style: Parameter 'end' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll.c:9927:73: style: Parameter 'end' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll.c:9927:73: style: Parameter 'end' can be declared with const [constParameter]
head depqbf-version-5.01/qdpll_dep_man_qdag.c:2030:53: style: Parameter 'lits' can be declared as pointer to const [constParameter]
2.8 depqbf-version-5.01/qdpll_dep_man_qdag.c:2030:53: style: Parameter 'lits' can be declared with const [constParameter]


DONE