2025-06-28 07:25
ftp://ftp.de.debian.org/debian/pool/main/k/kissat/kissat_4.0.2.orig.tar.gz
cppcheck-options: --library=posix --library=gnu --library=bsd  --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1
platform: Linux-6.8.0-62-generic-x86_64-with-glibc2.39
python: 3.12.3
client-version: 1.3.67
compiler: g++ (Ubuntu 14.2.0-4ubuntu2~24.04) 14.2.0
cppcheck: head 2.17.0
head-info: b6dd286 (2025-06-27 13:53:34 +0200)
count: 1360 1310
elapsed-time: 345.1 237.3
head-timing-info:

old-timing-info:

head results:
kissat-rel-4.0.2/src/extend.h:19:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/allocate.c:70:17: error: Returning pointer to local variable 'res' that will be invalid when returning. [returnDanglingLifetime]
kissat-rel-4.0.2/src/allocate.c:70:18: note: Passed to 'strcpy'.
kissat-rel-4.0.2/src/allocate.c:69:9: note: Variable created here.
kissat-rel-4.0.2/src/allocate.c:70:17: note: Returning pointer to local variable 'res' that will be invalid when returning.
kissat-rel-4.0.2/src/allocate.c:142:7: style: Condition 'new_bytes' is always true [knownConditionTrueFalse]
kissat-rel-4.0.2/src/allocate.c:125:7: note: Assuming that condition '!new_bytes' is not redundant
kissat-rel-4.0.2/src/allocate.c:142:7: note: Condition 'new_bytes' is always true
kissat-rel-4.0.2/src/allocate.c:121:55: style:inconclusive: Function 'kissat_realloc' argument 3 names different: declaration 'old' definition 'old_bytes'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/allocate.h:18:55: note: Function 'kissat_realloc' argument 3 names different: declaration 'old' definition 'old_bytes'.
kissat-rel-4.0.2/src/allocate.c:121:55: note: Function 'kissat_realloc' argument 3 names different: declaration 'old' definition 'old_bytes'.
kissat-rel-4.0.2/src/allocate.c:122:30: style:inconclusive: Function 'kissat_realloc' argument 4 names different: declaration 'bytes' definition 'new_bytes'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/allocate.h:18:67: note: Function 'kissat_realloc' argument 4 names different: declaration 'bytes' definition 'new_bytes'.
kissat-rel-4.0.2/src/allocate.c:122:30: note: Function 'kissat_realloc' argument 4 names different: declaration 'bytes' definition 'new_bytes'.
kissat-rel-4.0.2/src/internal.h:261:49: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inline.h:34:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/inline.h:72:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable raw [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/inline.h:79:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable raw [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/inline.h:130:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable raw [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/inline.h:139:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable raw [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/inline.h:182:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/analyze.c:159:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/analyze.c:187:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/analyze.c:302:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/analyze.c:317:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/analyze.c:329:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/analyze.c:346:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/analyze.c:410:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/inline.h:205:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/analyze.c:34:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/analyze.c:188:26: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/analyze.c:349:43: warning: Assert statement modifies 'not_removable'. [assignmentInAssert]
kissat-rel-4.0.2/src/analyze.c:469:26: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/analyze.c:270:24: style: Local variable 'p' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/analyze.c:238:19: note: Shadowed declaration
kissat-rel-4.0.2/src/analyze.c:270:24: note: Shadow variable
kissat-rel-4.0.2/src/analyze.c:277:20: style: Local variable 'pos' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/analyze.c:235:12: note: Shadowed declaration
kissat-rel-4.0.2/src/analyze.c:277:20: note: Shadow variable
kissat-rel-4.0.2/src/analyze.c:156:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/analyze.c:390:61: style: Parameter 'conflict' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/analyze.c:419:15: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/analyze.c:430:15: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/analyze.c:455:17: style: Variable 'b' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/analyze.c:467:15: style: Variable 'reason' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/analyze.c:482:19: style: Variable 'b' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/analyze.c:533:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/analyze.c:577:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/inline.h:177:59: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inline.h:191:65: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inline.h:311:44: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inlinevector.h:7:54: style: Parameter 'vector' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inlinevector.h:16:68: style: Parameter 'vector' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inlinevector.h:68:49: style: Parameter 'vector' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inlinevector.h:87:61: style: Parameter 'vector' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inline.h:71:15: style: Variable 'watch' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/inline.h:78:15: style: Variable 'watch' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/inline.h:129:15: style: Variable 'watch' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/inline.h:137:15: style: Variable 'watch' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/analyze.c:194:15: style: Variable 'arena' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/analyze.c:366:27: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/analyze.c:366:18: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/ands.c:26:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/ands.c:25:11: style: Variable 'base' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/ands.c:46:19: style: Variable 'mark' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/file.h:94:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/file.h:108:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/application.c:266:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable line [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/application.c:635:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/application.c:787:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/application.c:248:64: style: Parameter 'arg' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/application.c:847:11: style: Variable 'file' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/file.h:72:54: style: Parameter 'ptr' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/application.c:451:14: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/application.c:850:12: style: Variable 'file' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/arena.c:9:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable old_begin [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/inlineassign.h:84:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/assign.c:33:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/inlineassign.h:87:31: warning: Found suspicious operator ',', result is not used. [constStatement]
kissat-rel-4.0.2/src/assign.c:36:20: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/assign.c:50:13: style: Variable 'assigned' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/inlineassign.h:19:12: style: Variable 'w' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/inlineassign.h:81:34: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inlineassign.h:82:48: style: Parameter 'reason' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inlineassign.h:89:22: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/assign.c:50:22: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/assign.c:50:13: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/backbone.c:75:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/backbone.c:307:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/backbone.c:362:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/backbone.c:577:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/backbone.c:520:20: style: Same expression on both sides of '<='. [duplicateExpression]
kissat-rel-4.0.2/src/backbone.c:188:29: style: Local variable 'watch' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/backbone.c:171:17: note: Shadowed declaration
kissat-rel-4.0.2/src/backbone.c:188:29: note: Shadow variable
kissat-rel-4.0.2/src/backbone.c:46:21: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/backbone.c:136:45: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/backbone.c:244:13: style: Variable 'end_trail' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/backbone.c:402:28: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/backbone.c:582:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/backbone.c:597:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/inlinequeue.h:66:8: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/inlinequeue.h:98:21: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/backtrack.c:21:66: style: Parameter 'links' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/backtrack.c:88:13: style: Variable 'old_end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/backtrack.c:114:12: style: Variable 'links' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/backtrack.c:168:13: style: Variable 'conflict' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/inlineheap.h:136:62: style: Parameter 'heap' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/inlinequeue.h:76:19: style: Variable 'l' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/inlinequeue.h:91:10: style: Variable 'queue' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/backtrack.c:114:18: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/backtrack.c:114:12: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/build.c:8:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSION [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/build.c:10:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ID [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/build.c:12:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable COMPILER [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/build.c:21:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VERSION [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/build.c:37:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/build.c:58:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/build.c:36:32: style:inconclusive: Function 'kissat_build' argument 1 names different: declaration 'line_prefix' definition 'prefix'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/kissat.h:28:32: note: Function 'kissat_build' argument 1 names different: declaration 'line_prefix' definition 'prefix'.
kissat-rel-4.0.2/src/build.c:36:32: note: Function 'kissat_build' argument 1 names different: declaration 'line_prefix' definition 'prefix'.
kissat-rel-4.0.2/src/build.c:57:33: style:inconclusive: Function 'kissat_banner' argument 1 names different: declaration 'line_prefix' definition 'prefix'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/kissat.h:29:33: note: Function 'kissat_banner' argument 1 names different: declaration 'line_prefix' definition 'prefix'.
kissat-rel-4.0.2/src/build.c:57:33: note: Function 'kissat_banner' argument 1 names different: declaration 'line_prefix' definition 'prefix'.
kissat-rel-4.0.2/src/build.c:57:53: style:inconclusive: Function 'kissat_banner' argument 2 names different: declaration 'name_of_app' definition 'name'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/kissat.h:29:58: note: Function 'kissat_banner' argument 2 names different: declaration 'name_of_app' definition 'name'.
kissat-rel-4.0.2/src/build.c:57:53: note: Function 'kissat_banner' argument 2 names different: declaration 'name_of_app' definition 'name'.
kissat-rel-4.0.2/src/bump.c:74:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/bump.c:84:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/bump.c:118:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/bump.c:72:10: style: Variable 'flags' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/bump.c:93:10: style: Variable 'flags' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/bump.c:104:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/bump.c:111:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:234:39: debug: Function::addArguments found argument 'hash' with varid 0. [varid0]
kissat-rel-4.0.2/src/check.c:266:35: debug: Function::addArguments found argument 'hash' with varid 0. [varid0]
kissat-rel-4.0.2/src/check.c:475:39: debug: Function::addArguments found argument 'hash' with varid 0. [varid0]
kissat-rel-4.0.2/src/check.c:506:67: debug: Function::addArguments found argument 'hash' with varid 0. [varid0]
kissat-rel-4.0.2/src/check.c:24:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable q [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:128:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:159:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:200:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:238:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable hash [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:253:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:270:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable hash [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:294:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vars [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:305:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vars [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:366:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:373:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:467:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:510:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable hash [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:612:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:688:65: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable p [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:777:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vars [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:822:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:842:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:954:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ilit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:1014:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/check.c:914:59: style:inconclusive: Function 'kissat_check_and_add_clause' argument 2 names different: declaration 'c' definition 'clause'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/check.h:27:67: note: Function 'kissat_check_and_add_clause' argument 2 names different: declaration 'c' definition 'clause'.
kissat-rel-4.0.2/src/check.c:914:59: note: Function 'kissat_check_and_add_clause' argument 2 names different: declaration 'c' definition 'clause'.
kissat-rel-4.0.2/src/check.c:978:60: style:inconclusive: Function 'kissat_remove_checker_clause' argument 2 names different: declaration 'c' definition 'clause'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/check.h:37:68: note: Function 'kissat_remove_checker_clause' argument 2 names different: declaration 'c' definition 'clause'.
kissat-rel-4.0.2/src/check.c:978:60: note: Function 'kissat_remove_checker_clause' argument 2 names different: declaration 'c' definition 'clause'.
kissat-rel-4.0.2/src/check.c:199:12: style: Variable 'checker' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:265:51: style: Parameter 'checker' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:304:43: style: Parameter 'checker' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:327:35: style: Parameter 'bucket' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:506:34: style: Parameter 'checker' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:507:33: style: Parameter 'bucket' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:568:51: style: Parameter 'checker' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:583:44: style: Parameter 'checker' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:609:11: style: Variable 'bucket' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:652:70: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:677:16: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:773:13: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:789:16: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:799:13: style: Variable 'bucket' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:839:16: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:895:47: style: Parameter 'lits' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:906:12: style: Variable 'checker' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:916:12: style: Variable 'checker' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:933:12: style: Variable 'checker' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:941:12: style: Variable 'checker' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:971:12: style: Variable 'checker' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:980:12: style: Variable 'checker' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:997:12: style: Variable 'checker' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:1005:12: style: Variable 'checker' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:1010:25: style: Parameter 'bucket' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/check.c:585:42: warning: Expression '(ilit&1)?-1:1' can have a negative value. That is converted to an unsigned value and used in an unsigned calculation. [signConversion]
kissat-rel-4.0.2/src/check.c:499:23: style: Variable 'hash' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:499:18: style: Variable 'hash' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:594:23: style: Variable 'hash' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:594:18: style: Variable 'hash' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:906:20: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:906:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:916:20: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:916:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:933:20: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:933:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:941:20: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:941:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:971:20: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:971:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:980:20: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:980:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:997:20: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:997:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:1005:20: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/check.c:1005:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/classify.c:6:15: style: Variable 's' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/clause.c:68:20: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/clause.c:31:19: style: Comparing expression of type 'unsigned int' against value 4294967295. Condition is always true. [compareValueOutOfTypeRangeError]
kissat-rel-4.0.2/src/collect.c:134:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/collect.c:340:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable searched [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/collect.c:686:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable searched [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sort.c:22:19: style: Condition 'u' is always true [knownConditionTrueFalse]
kissat-rel-4.0.2/src/sort.c:37:27: style: Condition 'v' is always true [knownConditionTrueFalse]
kissat-rel-4.0.2/src/collect.c:183:61: style:inconclusive: Function 'kissat_update_first_reducible' argument 2 names different: declaration 'first_reducible' definition 'reducible'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/collect.h:31:55: note: Function 'kissat_update_first_reducible' argument 2 names different: declaration 'first_reducible' definition 'reducible'.
kissat-rel-4.0.2/src/collect.c:183:61: note: Function 'kissat_update_first_reducible' argument 2 names different: declaration 'first_reducible' definition 'reducible'.
kissat-rel-4.0.2/src/collect.c:198:62: style:inconclusive: Function 'kissat_update_last_irredundant' argument 2 names different: declaration 'last_irredundant' definition 'irredundant'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/collect.h:30:56: note: Function 'kissat_update_last_irredundant' argument 2 names different: declaration 'last_irredundant' definition 'irredundant'.
kissat-rel-4.0.2/src/collect.c:198:62: note: Function 'kissat_update_last_irredundant' argument 2 names different: declaration 'last_irredundant' definition 'irredundant'.
kissat-rel-4.0.2/src/sort.c:25:19: style: Local variable 'i' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/sort.c:21:20: note: Shadowed declaration
kissat-rel-4.0.2/src/sort.c:25:19: note: Shadow variable
kissat-rel-4.0.2/src/collect.c:154:45: style: Parameter 'first_reducible' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/collect.c:169:46: style: Parameter 'last_irredundant' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/collect.c:194:11: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/collect.c:209:11: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/collect.c:232:13: style: Variable 'assigned' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/collect.c:308:11: style: Variable 'first_redundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/collect.c:588:11: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/collect.c:610:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/collect.c:630:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/collect.c:731:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/collect.c:737:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/collect.c:232:22: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/collect.c:232:13: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/collect.c:584:34: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/collect.c:584:25: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/compact.c:197:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/compact.c:278:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable elit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/compact.c:362:64: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watches [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/compact.c:81:21: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/compact.c:100:22: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/compact.c:260:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/compact.c:340:12: style: Variable 'flags' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:254:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:413:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:553:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:611:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:634:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:657:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:976:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:1010:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:1037:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:1048:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:1197:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:1447:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:1915:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:2108:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:2258:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable d_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:2538:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:2762:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:2837:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:3021:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pair_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:3129:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:3263:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:3368:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:3389:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:3876:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:3917:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ref_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:3957:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4012:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4039:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4090:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4153:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4166:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable g_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4215:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4252:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4293:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4322:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable begin [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4372:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4458:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:4591:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/congruence.c:2389:5: portability: Returning an integer in a function with pointer return type is not portable. [CastIntegerToAddressAtReturn]
kissat-rel-4.0.2/src/congruence.c:319:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:320:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:324:22: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:325:22: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:326:22: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:658:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:1199:16: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:1739:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:1776:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:1812:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:1901:25: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:2080:25: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:2121:25: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:2122:25: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:2123:25: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:2129:26: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:2933:13: warning: Assert statement modifies 'lit'. [assignmentInAssert]
kissat-rel-4.0.2/src/congruence.c:3459:22: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:3476:16: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:3516:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:3633:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:3644:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:4364:22: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/congruence.c:378:54: style: Return value '~(n&(n-1))' is always true [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:915:7: style: Condition '!lit_value' is always true [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:894:7: note: Assuming that condition 'lit_value' is not redundant
kissat-rel-4.0.2/src/congruence.c:915:7: note: Condition '!lit_value' is always true
kissat-rel-4.0.2/src/congruence.c:1890:16: style: Redundant assignment of 'rhs[0]' to itself. [selfAssignment]
kissat-rel-4.0.2/src/congruence.c:1891:16: style: Redundant assignment of 'rhs[1]' to itself. [selfAssignment]
kissat-rel-4.0.2/src/congruence.c:1964:22: style: The comparison 'rhs[1] == then_lit' is always true because 'rhs[1]' and 'then_lit' represent the same value. [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:1939:32: note: 'then_lit' is assigned value 'rhs[1]' here.
kissat-rel-4.0.2/src/congruence.c:1964:22: note: The comparison 'rhs[1] == then_lit' is always true because 'rhs[1]' and 'then_lit' represent the same value.
kissat-rel-4.0.2/src/congruence.c:1970:22: style: The comparison 'rhs[1] == then_lit' is always true because 'rhs[1]' and 'then_lit' represent the same value. [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:1939:32: note: 'then_lit' is assigned value 'rhs[1]' here.
kissat-rel-4.0.2/src/congruence.c:1970:22: note: The comparison 'rhs[1] == then_lit' is always true because 'rhs[1]' and 'then_lit' represent the same value.
kissat-rel-4.0.2/src/congruence.c:2013:22: style: The comparison 'rhs[0] == cond' is always true because 'rhs[0]' and 'cond' represent the same value. [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:1938:28: note: 'cond' is assigned value 'rhs[0]' here.
kissat-rel-4.0.2/src/congruence.c:2013:22: note: The comparison 'rhs[0] == cond' is always true because 'rhs[0]' and 'cond' represent the same value.
kissat-rel-4.0.2/src/congruence.c:2025:22: style: The comparison 'rhs[0] == cond' is always true because 'rhs[0]' and 'cond' represent the same value. [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:1938:28: note: 'cond' is assigned value 'rhs[0]' here.
kissat-rel-4.0.2/src/congruence.c:2025:22: note: The comparison 'rhs[0] == cond' is always true because 'rhs[0]' and 'cond' represent the same value.
kissat-rel-4.0.2/src/congruence.c:2026:22: style: The comparison 'rhs[1] == then_lit' is always true because 'rhs[1]' and 'then_lit' represent the same value. [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:1939:32: note: 'then_lit' is assigned value 'rhs[1]' here.
kissat-rel-4.0.2/src/congruence.c:2026:22: note: The comparison 'rhs[1] == then_lit' is always true because 'rhs[1]' and 'then_lit' represent the same value.
kissat-rel-4.0.2/src/congruence.c:2034:22: style: The comparison 'rhs[0] == cond' is always true because 'rhs[0]' and 'cond' represent the same value. [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:1938:28: note: 'cond' is assigned value 'rhs[0]' here.
kissat-rel-4.0.2/src/congruence.c:2034:22: note: The comparison 'rhs[0] == cond' is always true because 'rhs[0]' and 'cond' represent the same value.
kissat-rel-4.0.2/src/congruence.c:2050:22: style: The comparison 'rhs[0] == cond' is always true because 'rhs[0]' and 'cond' represent the same value. [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:1938:28: note: 'cond' is assigned value 'rhs[0]' here.
kissat-rel-4.0.2/src/congruence.c:2050:22: note: The comparison 'rhs[0] == cond' is always true because 'rhs[0]' and 'cond' represent the same value.
kissat-rel-4.0.2/src/congruence.c:2051:22: style: The comparison 'rhs[1] == then_lit' is always true because 'rhs[1]' and 'then_lit' represent the same value. [knownConditionTrueFalse]
kissat-rel-4.0.2/src/congruence.c:1939:32: note: 'then_lit' is assigned value 'rhs[1]' here.
kissat-rel-4.0.2/src/congruence.c:2051:22: note: The comparison 'rhs[1] == then_lit' is always true because 'rhs[1]' and 'then_lit' represent the same value.
kissat-rel-4.0.2/src/congruence.c:3891:54: style: Same expression on both sides of '-' because 's->congruent_matched_ands' and 'matched_before' represent the same value. [duplicateExpression]
kissat-rel-4.0.2/src/congruence.c:3871:36: note: 'matched_before' is assigned value 's->congruent_matched_ands' here.
kissat-rel-4.0.2/src/congruence.c:3891:54: note: Same expression on both sides of '-' because 's->congruent_matched_ands' and 'matched_before' represent the same value.
kissat-rel-4.0.2/src/congruence.c:3892:54: style: Same expression on both sides of '-' because 's->congruent_gates_ands' and 'gates_before' represent the same value. [duplicateExpression]
kissat-rel-4.0.2/src/congruence.c:3872:34: note: 'gates_before' is assigned value 's->congruent_gates_ands' here.
kissat-rel-4.0.2/src/congruence.c:3892:54: note: Same expression on both sides of '-' because 's->congruent_gates_ands' and 'gates_before' represent the same value.
kissat-rel-4.0.2/src/congruence.c:4020:32: style: Same expression on both sides of '-' because 'after' and 'before' represent the same value. [duplicateExpression]
kissat-rel-4.0.2/src/congruence.c:4019:45: note: 'after' is assigned value 's->congruent_gates+s->congruent_matched' here.
kissat-rel-4.0.2/src/congruence.c:4006:46: note: 'before' is assigned value 's->congruent_gates+s->congruent_matched' here.
kissat-rel-4.0.2/src/congruence.c:4020:32: note: Same expression on both sides of '-' because 'after' and 'before' represent the same value.
kissat-rel-4.0.2/src/congruence.c:182:42: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:317:48: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:344:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:395:50: style: Parameter 'closure' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:403:31: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:487:66: style: Parameter 'except' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:537:40: style: Variable 'h' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:551:38: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:561:31: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:563:13: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:626:61: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:646:61: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:689:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:708:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:732:44: style: Parameter 'closure' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:810:11: style: Variable 'conflict' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:867:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1093:20: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1224:67: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:1268:72: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:1274:14: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1300:41: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:1434:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1446:34: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:1455:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1464:40: style: Parameter 'new_end_rhs' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:1468:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1502:11: style: Variable 'h' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1526:19: style: Variable 'end_of_rhs' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1565:19: style: Variable 'end_of_rhs' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1620:34: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:1686:40: style: Parameter 'new_end_rhs' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:1710:11: style: Variable 'h' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1735:32: style: Variable 'end_of_rhs' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1769:26: style: Variable 'end_of_rhs' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:1820:34: style: Parameter 'g' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/congruence.c:1905:13: style: Variable 'h' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2082:13: style: Variable 'h' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2230:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2235:14: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2246:9: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2248:9: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2254:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2302:14: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2308:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2333:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2477:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2531:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2777:10: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2914:15: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2942:11: style: Variable 'g' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3125:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3176:48: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3179:15: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3257:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3387:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3499:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3632:11: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3662:11: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3868:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3875:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3900:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3907:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3939:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3946:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:3986:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4002:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4025:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4212:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4213:18: style: Variable 'schedule' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4228:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4332:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4371:11: style: Variable 'subsuming' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4447:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4485:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4574:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4595:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:4632:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/congruence.c:2249:7: warning: Uninitialized variables: offsetsize.offset, offsetsize.size [uninitvar]
kissat-rel-4.0.2/src/congruence.c:88:12: style: struct member 'hash_ref::hash' is never used. [unusedStructMember]
kissat-rel-4.0.2/src/congruence.c:847:21: style: Variable 'litpair' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/congruence.c:847:13: style: Variable 'litpair' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/congruence.c:1093:27: style: Variable 'clause' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/congruence.c:1274:21: style: Variable 'clause' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/congruence.c:2232:15: style: Variable 'offsetsize' is not assigned a value. [unassignedVariable]
kissat-rel-4.0.2/src/congruence.c:4243:19: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/congruence.c:4243:13: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/congruence.c:4321:9: style: Unused variable: gates [unusedVariable]
kissat-rel-4.0.2/src/congruence.c:4538:21: style: Variable 'refsize' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/congruence.c:4538:13: style: Variable 'refsize' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/decide.c:117:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/decide.c:237:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/decide.c:108:13: style: Variable 'limits' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/decide.c:158:10: style: Variable 'target' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/decide.c:168:10: style: Variable 'saved' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/decide.c:210:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/decide.c:232:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/inlineframes.h:11:18: style: Variable 'frame.decision' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/inlineframes.h:12:17: style: Variable 'frame.promote' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/inlineframes.h:13:15: style: Variable 'frame.trail' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/inlineframes.h:14:14: style: Variable 'frame.used' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/promote.h:13:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/deduce.c:86:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/promote.h:14:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/deduce.c:41:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/deduce.c:87:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/deduce.c:161:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/deduce.c:71:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/deduce.c:85:10: style: Variable 'frames' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/deduce.c:102:13: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/deduce.c:139:5: style: Variable 'END_REMOVE_STACK' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/deduce.c:155:7: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/deduce.c:166:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/promote.h:8:71: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/deduce.c:85:17: style: Variable 'frames' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/deduce.c:85:10: style: Variable 'frames' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/definition.c:111:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/definition.c:79:12: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress]
kissat-rel-4.0.2/src/definition.c:78:31: style: Local variable 'size' shadows outer argument [shadowArgument]
kissat-rel-4.0.2/src/definition.c:54:51: note: Shadowed declaration
kissat-rel-4.0.2/src/definition.c:78:31: note: Shadow variable
kissat-rel-4.0.2/src/definition.c:210:25: style: Local variable 'extractor' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/definition.c:99:24: note: Shadowed declaration
kissat-rel-4.0.2/src/definition.c:210:25: note: Shadow variable
kissat-rel-4.0.2/src/definition.c:70:15: style: Variable 'extended' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/definition.c:94:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/definition.c:95:18: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/definition.c:118:17: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/definition.c:228:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/definition.c:95:18: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/dense.c:83:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dense.c:119:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable litpair_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dense.c:153:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dense.c:123:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/dense.c:124:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/dense.c:99:57: style:inconclusive: Function 'kissat_enter_dense_mode' argument 2 names different: declaration 'saved_irredundant_binary_clauses' definition 'irredundant'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/dense.h:7:41: note: Function 'kissat_enter_dense_mode' argument 2 names different: declaration 'saved_irredundant_binary_clauses' definition 'irredundant'.
kissat-rel-4.0.2/src/dense.c:99:57: note: Function 'kissat_enter_dense_mode' argument 2 names different: declaration 'saved_irredundant_binary_clauses' definition 'irredundant'.
kissat-rel-4.0.2/src/dense.c:59:30: style: Local variable 'other' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/dense.c:44:24: note: Shadowed declaration
kissat-rel-4.0.2/src/dense.c:59:30: note: Shadow variable
kissat-rel-4.0.2/src/dense.c:221:11: style: Variable 'conflict' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/dense.c:47:27: style: Variable 'mark' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/dense.c:61:39: style: Variable 'litpair' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/dense.c:47:22: style: Variable 'mark' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/dense.c:61:31: style: Variable 'litpair' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/dense.c:150:25: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/dump.c:12:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:20:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:34:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:66:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:157:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:183:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:197:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable q [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:211:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:233:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:247:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:280:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/dump.c:134:5: warning: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
kissat-rel-4.0.2/src/dump.c:25:50: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/dump.c:70:17: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/dump.c:171:13: style: Variable 'import' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/dump.c:10:19: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/dump.c:10:13: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/dump.c:179:19: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/dump.c:179:13: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/eliminate.c:90:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/eliminate.c:114:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/eliminate.c:214:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/eliminate.c:265:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/eliminate.c:396:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable eliminate [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/eliminate.c:470:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/eliminate.c:584:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/eliminate.c:466:14: style: Local variable 'last_round_eliminated' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/eliminate.c:426:12: note: Shadowed declaration
kissat-rel-4.0.2/src/eliminate.c:466:14: note: Shadow variable
kissat-rel-4.0.2/src/eliminate.c:544:16: style: Local variable 'complete' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/eliminate.c:430:8: note: Shadowed declaration
kissat-rel-4.0.2/src/eliminate.c:544:16: note: Shadow variable
kissat-rel-4.0.2/src/eliminate.c:24:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/eliminate.c:30:11: style: Variable 'limits' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/eliminate.c:100:10: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/eliminate.c:141:12: style: Variable 'flags' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/eliminate.c:351:19: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/eliminate.c:374:45: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/eliminate.c:375:10: style: Variable 'flags' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/equivalences.c:14:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/equivalences.c:10:10: style: Variable 'marks' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/error.c:28:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/error.c:44:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/error.c:42:71: style: Parameter 'ap' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/extend.c:48:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/extend.c:57:10: style: Variable 'ivalues' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/extend.c:180:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:95:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable next [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:167:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:218:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:238:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:247:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ref_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:274:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:341:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable quotient_watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:521:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable last_watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:721:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:778:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:804:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:906:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:970:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:1078:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/factor.c:646:17: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/factor.c:970:10: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/factor.c:301:18: style: Local variable 'first_factor' shadows outer function [shadowFunction]
kissat-rel-4.0.2/src/factor.c:210:15: note: Shadowed declaration
kissat-rel-4.0.2/src/factor.c:301:18: note: Shadow variable
kissat-rel-4.0.2/src/factor.c:671:19: style: Local variable 'i' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/factor.c:666:19: note: Shadowed declaration
kissat-rel-4.0.2/src/factor.c:671:19: note: Shadow variable
kissat-rel-4.0.2/src/factor.c:168:21: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:224:19: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:280:17: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:303:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:317:50: style: Parameter 'factoring' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/factor.c:364:21: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:537:21: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:707:67: style: Parameter 'q' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/factor.c:729:21: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:758:10: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:810:15: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:904:13: style: Variable 'ticks' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:964:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:1082:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:1135:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/factor.c:32:10: style: struct member 'quotient::matched' is never used. [unusedStructMember]
kissat-rel-4.0.2/src/factor.c:695:11: style: Variable 'watch' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/fastel.c:20:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/fastel.c:123:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/fastel.c:225:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/fastel.c:286:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/fastel.c:395:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/fastel.c:516:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/fastel.c:581:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/fastel.c:756:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/fastel.c:841:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable begin [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/fastel.c:150:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/fastel.c:151:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/fastel.c:209:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/fastel.c:462:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/fastel.c:463:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/fastel.c:506:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/fastel.c:19:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:54:17: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:97:10: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:98:22: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:156:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:213:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:274:50: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/fastel.c:274:61: style: Parameter 'd' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/fastel.c:281:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:394:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:432:10: style: Variable 'end_lit_watches' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:433:10: style: Variable 'end_not_lit_watches' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:466:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:510:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:576:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:729:10: style: Variable 'end_lit_watches' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:730:10: style: Variable 'end_not_lit_watches' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:788:10: style: Variable 'end' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:789:22: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:796:12: style: Variable 'other_flags' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:831:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:852:14: style: Variable 'pivot_flags' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:932:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastel.c:868:27: style: Variable 'candidate' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/fastel.c:840:14: style: Unused variable: candidates [unusedVariable]
kissat-rel-4.0.2/src/fastel.c:868:17: style: Variable 'candidate' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/file.c:46:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/file.c:107:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable q [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/file.c:139:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/flags.c:29:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/flags.c:30:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/flags.c:31:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/flags.c:32:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/flags.c:33:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/flags.c:61:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/flags.c:79:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/flags.c:94:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/flags.c:94:34: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/flags.c:21:20: style: Local variable 'lit' shadows outer argument [shadowArgument]
kissat-rel-4.0.2/src/flags.c:5:63: note: Shadowed declaration
kissat-rel-4.0.2/src/flags.c:21:20: note: Shadow variable
kissat-rel-4.0.2/src/flags.c:55:42: style: Parameter 'lits' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/flags.c:106:46: style: Parameter 'lits' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/flags.c:112:44: style: Parameter 'lits' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/format.c:28:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/format.c:60:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/format.c:86:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/format.c:143:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/forward.c:100:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable unit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/forward.c:134:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/forward.c:247:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/forward.c:314:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/forward.c:340:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/forward.c:485:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/forward.c:546:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/forward.c:319:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/forward.c:26:19: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:132:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:180:14: style: Variable 'references' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:183:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:308:67: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/forward.c:475:73: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/forward.c:526:14: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:602:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:679:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:680:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:688:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:689:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/forward.c:180:14: style: Variable 'references' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/gates.c:13:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/gates.c:29:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/handle.c:63:26: style: Local variable 'handler' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/handle.c:7:15: note: Shadowed declaration
kissat-rel-4.0.2/src/handle.c:63:26: note: Shadow variable
kissat-rel-4.0.2/src/heap.c:44:63: style:inconclusive: Function 'kissat_resize_heap' argument 3 names different: declaration 'size' definition 'new_size'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/heap.h:27:60: note: Function 'kissat_resize_heap' argument 3 names different: declaration 'size' definition 'new_size'.
kissat-rel-4.0.2/src/heap.c:44:63: note: Function 'kissat_resize_heap' argument 3 names different: declaration 'size' definition 'new_size'.
kissat-rel-4.0.2/src/ifthenelse.c:14:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/ifthenelse.c:49:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/ifthenelse.c:8:11: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/ifthenelse.c:44:11: style: Variable 'clause' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/import.c:59:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/import.c:72:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/import.c:9:16: style: Variable 'import.lit' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/import.c:10:22: style: Variable 'import.extension' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/import.c:11:21: style: Variable 'import.imported' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/import.c:12:23: style: Variable 'import.eliminated' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/internal.c:21:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable p_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:80:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:168:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:183:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:195:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:209:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:221:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:234:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:267:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:476:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:484:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:497:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/internal.c:275:5: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/internal.c:299:9: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/internal.c:465:20: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/internal.c:498:3: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/internal.c:277:21: style: Condition 'logging' is always false [knownConditionTrueFalse]
kissat-rel-4.0.2/src/internal.c:271:39: note: Calling function 'kissat_logging' returns 0
kissat-rel-4.0.2/src/internal.c:271:39: note: Assignment 'logging=kissat_logging(solver)', assigned value is 0
kissat-rel-4.0.2/src/internal.c:277:21: note: Condition 'logging' is always false
kissat-rel-4.0.2/src/internal.c:458:16: style: Condition 'logging' is always false [knownConditionTrueFalse]
kissat-rel-4.0.2/src/internal.c:271:39: note: Calling function 'kissat_logging' returns 0
kissat-rel-4.0.2/src/internal.c:271:39: note: Assignment 'logging=kissat_logging(solver)', assigned value is 0
kissat-rel-4.0.2/src/internal.c:458:16: note: Condition 'logging' is always false
kissat-rel-4.0.2/src/internal.c:86:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:86:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:87:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:87:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:89:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:89:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:90:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:90:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:91:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:91:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:93:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:93:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:94:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:94:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:95:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:95:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:97:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:97:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:98:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:98:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:99:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:99:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:100:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:100:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:101:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:101:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:103:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:103:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:105:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:105:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:106:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:106:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:108:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:108:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:111:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:111:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:113:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:113:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:114:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:114:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:115:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:115:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:117:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:117:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:119:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:119:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:120:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:120:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:121:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:121:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:122:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:122:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:123:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:123:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:124:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:124:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:125:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:125:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:126:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:126:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:127:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:127:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:129:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:129:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:131:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:131:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:133:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:133:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:134:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:134:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:135:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:135:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:136:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:136:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:137:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:137:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:140:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:140:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:141:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:141:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:145:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:145:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:149:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:149:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:152:27: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:152:27: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:477:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:476:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:477:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:485:3: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:484:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:485:3: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:486:11: warning: Either the condition 'solver' is redundant or there is possible null pointer dereference: solver. [nullPointerRedundantCheck]
kissat-rel-4.0.2/src/internal.c:484:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:486:11: note: Null pointer dereference
kissat-rel-4.0.2/src/internal.c:266:38: style:inconclusive: Function 'kissat_add' argument 2 names different: declaration 'lit' definition 'elit'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/kissat.h:10:38: note: Function 'kissat_add' argument 2 names different: declaration 'lit' definition 'elit'.
kissat-rel-4.0.2/src/internal.c:266:38: note: Function 'kissat_add' argument 2 names different: declaration 'lit' definition 'elit'.
kissat-rel-4.0.2/src/internal.c:496:39: style:inconclusive: Function 'kissat_value' argument 2 names different: declaration 'lit' definition 'elit'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/kissat.h:12:39: note: Function 'kissat_value' argument 2 names different: declaration 'lit' definition 'elit'.
kissat-rel-4.0.2/src/internal.c:496:39: note: Function 'kissat_value' argument 2 names different: declaration 'lit' definition 'elit'.
kissat-rel-4.0.2/src/internal.c:35:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/internal.c:212:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/internal.c:224:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/internal.c:322:10: style: Variable 'elits' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/internal.c:275:5: warning: Either the condition '(elit)!=(-2147483647-1)' is redundant or there is signed integer overflow for expression '-(elit)'. [integerOverflowCond]
kissat-rel-4.0.2/src/internal.c:275:5: note: Assuming that condition '(elit)!=(-2147483647-1)' is not redundant
kissat-rel-4.0.2/src/internal.c:275:5: note: Integer overflow
kissat-rel-4.0.2/src/internal.c:498:3: warning: Either the condition '(elit)!=(-2147483647-1)' is redundant or there is signed integer overflow for expression '-(elit)'. [integerOverflowCond]
kissat-rel-4.0.2/src/internal.c:498:3: note: Assuming that condition '(elit)!=(-2147483647-1)' is not redundant
kissat-rel-4.0.2/src/internal.c:498:3: note: Integer overflow
kissat-rel-4.0.2/src/internal.c:509:31: style: Variable 'eliminated' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/internal.c:509:20: style: Variable 'eliminated' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/kimits.c:50:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kimits.c:136:62: style: Parameter 'delay' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/kitten.c:614:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:664:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:679:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:689:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:721:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:742:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:748:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:824:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:898:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:971:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1094:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1210:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1266:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1295:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1353:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1497:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1547:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1644:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable end_c [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1762:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1774:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1817:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1872:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1948:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1974:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:2005:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:2078:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:2108:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:2120:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/kitten.c:1761:46: style:inconclusive: Function 'kitten_assume' argument 2 names different: declaration 'lit' definition 'elit'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/kitten.h:20:40: note: Function 'kitten_assume' argument 2 names different: declaration 'lit' definition 'elit'.
kissat-rel-4.0.2/src/kitten.c:1761:46: note: Function 'kitten_assume' argument 2 names different: declaration 'lit' definition 'elit'.
kissat-rel-4.0.2/src/kitten.c:1871:49: style:inconclusive: Function 'kitten_compute_clausal_core' argument 2 names different: declaration 'learned' definition 'learned_ptr'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/kitten.h:41:59: note: Function 'kitten_compute_clausal_core' argument 2 names different: declaration 'learned' definition 'learned_ptr'.
kissat-rel-4.0.2/src/kitten.c:1871:49: note: Function 'kitten_compute_clausal_core' argument 2 names different: declaration 'learned' definition 'learned_ptr'.
kissat-rel-4.0.2/src/kitten.c:2023:11: style: Local variable 'inconsistent' shadows outer function [shadowFunction]
kissat-rel-4.0.2/src/kitten.c:1521:13: note: Shadowed declaration
kissat-rel-4.0.2/src/kitten.c:2023:11: note: Shadow variable
kissat-rel-4.0.2/src/kitten.c:277:44: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/kitten.c:281:47: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/kitten.c:500:9: style: Variable 'l' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/kitten.c:823:38: style: Parameter 'kitten' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/kitten.c:1090:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/kitten.c:1115:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/kitten.c:1231:9: style: Variable 'link' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/kitten.c:1420:15: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/kitten.c:1630:37: style: Parameter 'kitten' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/kitten.c:1798:60: style: Parameter 'elits' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/kitten.c:1868:28: style: Parameter 'kitten' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/kitten.c:1946:40: style: Parameter 'kitten' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/kitten.c:2101:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/kitten.c:840:13: style: Variable 'katch.ref' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/kitten.c:848:14: style: Variable 'katch.blit' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/kitten.c:849:16: style: Variable 'katch.binary' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/kitten.c:1808:22: style: Variable 'clause' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/krite.c:12:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/learn.c:58:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/learn.c:89:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/learn.c:147:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/learn.c:45:22: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/lucky.c:13:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/lucky.c:49:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/lucky.c:87:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable import_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/lucky.c:142:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable import_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/lucky.c:207:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/lucky.c:265:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/lucky.c:325:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/lucky.c:37:30: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/lucky.c:72:31: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/lucky.c:12:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:48:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:109:15: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:164:15: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:196:11: style: Variable 'begin' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:198:11: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:222:15: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:254:11: style: Variable 'begin' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:256:11: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:280:15: style: Variable 'd' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:315:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:332:15: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:353:15: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/lucky.c:390:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/minimize.c:53:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/minimize.c:146:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/minimize.c:13:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/minimize.c:100:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/minimize.c:170:20: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/minimize.c:33:12: style: Variable 'frame' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/minimize.c:50:11: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/minimize.c:156:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/minimize.c:176:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/minimize.c:210:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/mode.c:51:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/mode.c:177:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/mode.c:73:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/mode.c:114:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/mode.c:155:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/mode.c:162:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/mode.c:173:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/mode.c:180:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/mode.c:193:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/options.c:197:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/options.c:152:23: style: Condition 'res==max' is always false [knownConditionTrueFalse]
kissat-rel-4.0.2/src/options.c:237:65: style:inconclusive: Function 'kissat_options_set_opt' argument 3 names different: declaration 'new_value' definition 'value'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/options.h:270:57: note: Function 'kissat_options_set_opt' argument 3 names different: declaration 'new_value' definition 'value'.
kissat-rel-4.0.2/src/options.c:237:65: note: Function 'kissat_options_set_opt' argument 3 names different: declaration 'new_value' definition 'value'.
kissat-rel-4.0.2/src/options.c:252:65: style:inconclusive: Function 'kissat_options_set' argument 3 names different: declaration 'new_value' definition 'value'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/options.h:271:58: note: Function 'kissat_options_set' argument 3 names different: declaration 'new_value' definition 'value'.
kissat-rel-4.0.2/src/options.c:252:65: note: Function 'kissat_options_set' argument 3 names different: declaration 'new_value' definition 'value'.
kissat-rel-4.0.2/src/options.c:300:55: style:inconclusive: Function 'kissat_options_parse_arg' argument 2 names different: declaration 'name' definition 'buffer'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/options.h:256:55: note: Function 'kissat_options_parse_arg' argument 2 names different: declaration 'name' definition 'buffer'.
kissat-rel-4.0.2/src/options.c:300:55: note: Function 'kissat_options_parse_arg' argument 2 names different: declaration 'name' definition 'buffer'.
kissat-rel-4.0.2/src/options.c:301:37: style:inconclusive: Function 'kissat_options_parse_arg' argument 3 names different: declaration 'val_str' definition 'val_ptr'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/options.h:256:66: note: Function 'kissat_options_parse_arg' argument 3 names different: declaration 'val_str' definition 'val_ptr'.
kissat-rel-4.0.2/src/options.c:301:37: note: Function 'kissat_options_parse_arg' argument 3 names different: declaration 'val_str' definition 'val_ptr'.
kissat-rel-4.0.2/src/parse.c:39:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/parse.c:83:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/parse.c:436:32: style:inconclusive: Function 'kissat_parse_dimacs' argument 4 names different: declaration 'linenoptr' definition 'lineno_ptr'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/parse.h:17:44: note: Function 'kissat_parse_dimacs' argument 4 names different: declaration 'linenoptr' definition 'lineno_ptr'.
kissat-rel-4.0.2/src/parse.c:436:32: note: Function 'kissat_parse_dimacs' argument 4 names different: declaration 'linenoptr' definition 'lineno_ptr'.
kissat-rel-4.0.2/src/parse.c:438:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/parse.c:443:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/phases.c:48:34: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/preprocess.c:50:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/preprocess.c:14:43: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/preprocess.c:35:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/preprocess.c:176:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/print.c:31:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/print.c:50:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/print.c:61:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/print.c:74:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/print.c:95:62: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/print.c:127:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/print.c:151:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/print.c:59:36: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/print.c:70:33: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/print.c:95:29: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/probe.c:31:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/probe.c:19:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/probe.c:96:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/probe.c:102:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/profile.c:39:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable p_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/profile.c:76:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/profile.c:121:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/profile.c:18:43: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/profile.c:18:55: style: Parameter 'q' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/profile.c:26:36: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/profile.c:26:53: style: Parameter 'p' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/profile.c:75:44: style: Parameter 'profile' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/profile.c:83:56: style: Parameter 'profile' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/profile.c:88:21: style: Variable 'mode' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/profile.c:109:57: style: Parameter 'profile' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/profile.c:111:19: style: Variable 'top' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/profile.c:128:19: style: Variable 'search' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/profile.c:133:19: style: Variable 'mode' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proof.c:100:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/proof.c:190:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable elit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/proof.c:208:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable elit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/proof.c:365:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/proof.c:108:7: style: The if condition is the same as the previous if condition [duplicateCondition]
kissat-rel-4.0.2/src/proof.c:106:7: note: First condition
kissat-rel-4.0.2/src/proof.c:108:7: note: Second condition
kissat-rel-4.0.2/src/proof.c:240:11: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proof.c:318:10: style: Variable 'proof' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proof.c:325:10: style: Variable 'proof' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proof.c:340:10: style: Variable 'proof' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proof.c:376:10: style: Variable 'proof' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proof.c:383:10: style: Variable 'proof' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proof.c:391:10: style: Variable 'proof' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proof.c:400:10: style: Variable 'proof' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proof.c:318:16: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:318:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:325:16: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:325:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:340:16: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:340:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:376:16: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:376:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:383:16: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:383:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:391:16: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:391:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:400:16: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proof.c:400:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/proplit.h:41:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/propbeyond.c:40:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/propbeyond.c:47:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/fastassign.h:14:22: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proplit.h:66:26: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proplit.h:190:63: style: Parameter 'conflict' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/propdense.c:20:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/propdense.c:8:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/propdense.c:16:13: style: Variable 'assigned' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/propdense.c:18:10: style: Variable 'flags' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/propdense.c:90:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/propdense.c:106:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/propdense.c:16:13: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/propinitially.c:39:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/propinitially.c:53:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proprobe.c:35:59: style: Parameter 'ignore' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/proprobe.c:41:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/proprobe.c:56:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/propsearch.c:49:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/propsearch.c:68:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/queue.c:15:10: style: Variable 'queue' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/queue.c:16:10: style: Variable 'links' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/queue.c:16:16: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/queue.c:16:10: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/reduce.c:157:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/reduce.c:14:31: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/reduce.c:104:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/reduce.c:154:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/reduce.c:196:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/reorder.c:41:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/reorder.c:139:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/reorder.c:169:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/reorder.c:186:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/reorder.c:203:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/reorder.c:170:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/reorder.c:186:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/reorder.c:104:41: style: Parameter 'weights' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/reorder.c:114:62: style: Parameter 'scores' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/reorder.c:115:40: style: Parameter 'weights' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/reorder.c:151:19: style: Variable 'links' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/reorder.c:199:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/reorder.c:216:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/reorder.c:151:25: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/reorder.c:151:19: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/rephase.c:79:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/rephase.c:81:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/rephase.c:129:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/rephase.c:136:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/report.c:58:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/report.c:40:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/resize.c:66:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watches [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/resize.c:95:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watches [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/resolve.c:108:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch0_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/resolve.c:44:21: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/resources.c:28:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RUSAGE_SELF [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/resources.c:37:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RUSAGE_SELF [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/resources.c:60:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/resources.c:77:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/restart.c:48:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/restart.c:122:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/restart.c:59:12: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/restart.c:76:12: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/restart.c:113:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/restart.c:130:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/search.c:53:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/search.c:151:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/search.c:162:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/search.c:202:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/search.c:46:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/search.c:75:12: style: Variable 'limited' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/search.c:93:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/search.c:96:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/search.c:120:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/search.c:124:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/search.c:126:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/shrink.c:181:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/shrink.c:50:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/shrink.c:164:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/shrink.c:184:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/shrink.c:86:50: style: Parameter 'end_block' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/shrink.c:130:20: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/shrink.c:142:54: style: Parameter 'assigned' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/shrink.c:144:54: style: Parameter 'end_block' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/shrink.c:178:11: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/shrink.c:233:13: style: Variable 'assigned' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/shrink.c:271:56: style: Parameter 'begin_lits' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/shrink.c:285:22: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/shrink.c:308:43: style: Parameter 'end_block' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/shrink.c:365:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/shrink.c:371:13: style: Variable 'end_lits' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/shrink.c:394:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sort.c:91:34: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/sort.c:91:25: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/stack.c:7:68: style:inconclusive: Function 'kissat_stack_enlarge' argument 3 names different: declaration 'size_of_element' definition 'bytes'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/stack.h:137:35: note: Function 'kissat_stack_enlarge' argument 3 names different: declaration 'size_of_element' definition 'bytes'.
kissat-rel-4.0.2/src/stack.c:7:68: note: Function 'kissat_stack_enlarge' argument 3 names different: declaration 'size_of_element' definition 'bytes'.
kissat-rel-4.0.2/src/stack.c:24:67: style:inconclusive: Function 'kissat_shrink_stack' argument 3 names different: declaration 'size_of_element' definition 'bytes'. [funcArgNamesDifferent]
kissat-rel-4.0.2/src/stack.h:138:60: note: Function 'kissat_shrink_stack' argument 3 names different: declaration 'size_of_element' definition 'bytes'.
kissat-rel-4.0.2/src/stack.c:24:67: note: Function 'kissat_shrink_stack' argument 3 names different: declaration 'size_of_element' definition 'bytes'.
kissat-rel-4.0.2/src/statistics.c:29:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/statistics.c:336:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/statistics.c:365:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/statistics.c:37:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/statistics.c:403:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/strengthen.c:33:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/strengthen.c:109:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/strengthen.c:32:15: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/strengthen.c:51:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/strengthen.c:57:15: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/strengthen.c:117:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/strengthen.c:17:11: style: Variable 'old_next' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/strengthen.c:91:11: style: Variable 'new_next' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/substitute.c:62:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/substitute.c:211:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/substitute.c:243:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/substitute.c:360:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/substitute.c:400:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/substitute.c:586:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/substitute.c:614:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/substitute.c:62:10: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/substitute.c:144:19: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/substitute.c:243:15: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/substitute.c:329:24: style: Redundant initialization for 'dst'. The initialized value is overwritten before it is read. [redundantInitialization]
kissat-rel-4.0.2/src/substitute.c:328:19: note: dst is initialized
kissat-rel-4.0.2/src/substitute.c:329:24: note: dst is overwritten
kissat-rel-4.0.2/src/substitute.c:206:57: style: Parameter 'repr' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/substitute.c:234:59: style: Parameter 'repr' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/substitute.c:237:12: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/substitute.c:276:60: style: Parameter 'repr' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/substitute.c:387:59: style: Parameter 'repr' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/substitute.c:501:19: style: Variable 'new_lits' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/substitute.c:569:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/substitute.c:601:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/substitute.c:308:31: style: Variable 'litwatch' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/substitute.c:349:35: style: Variable 'litpair' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/substitute.c:308:22: style: Variable 'litwatch' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/substitute.c:349:27: style: Variable 'litpair' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/sweep.c:154:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:182:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:245:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:295:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:477:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:514:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable q [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:659:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:728:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:777:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:898:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:1129:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:1273:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:1514:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sweep [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:1536:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable idx_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:1653:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/sweep.c:222:28: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/sweep.c:777:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/sweep.c:836:18: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/sweep.c:907:28: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/sweep.c:1287:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/sweep.c:1386:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/sweep.c:880:24: style: Redundant initialization for 'src'. The initialized value is overwritten before it is read. [redundantInitialization]
kissat-rel-4.0.2/src/sweep.c:878:19: note: src is initialized
kissat-rel-4.0.2/src/sweep.c:880:24: note: src is overwritten
kissat-rel-4.0.2/src/sweep.c:881:24: style: Redundant initialization for 'dst'. The initialized value is overwritten before it is read. [redundantInitialization]
kissat-rel-4.0.2/src/sweep.c:879:19: note: dst is initialized
kissat-rel-4.0.2/src/sweep.c:881:24: note: dst is overwritten
kissat-rel-4.0.2/src/sweep.c:996:19: style: Local variable 'q' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/sweep.c:852:12: note: Shadowed declaration
kissat-rel-4.0.2/src/sweep.c:996:19: note: Shadow variable
kissat-rel-4.0.2/src/sweep.c:998:30: style: Local variable 'p' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/sweep.c:853:18: note: Shadowed declaration
kissat-rel-4.0.2/src/sweep.c:998:30: note: Shadow variable
kissat-rel-4.0.2/src/sweep.c:1327:20: style: Local variable 'idx' shadows outer argument [shadowArgument]
kissat-rel-4.0.2/src/sweep.c:1270:63: note: Shadowed declaration
kissat-rel-4.0.2/src/sweep.c:1327:20: note: Shadow variable
kissat-rel-4.0.2/src/sweep.c:42:11: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:63:11: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:209:11: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:261:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:294:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:503:11: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:594:11: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:609:36: style: Parameter 'sweeper' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/sweep.c:629:18: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:671:11: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:719:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:726:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:773:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:794:17: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:827:16: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1086:18: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1145:11: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1368:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1374:9: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1391:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1406:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1412:9: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1433:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1505:25: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1559:19: style: Variable 'f' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1620:10: style: Variable 'flags' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1659:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1661:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:1722:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/sweep.c:42:18: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/sweep.c:582:3: style: Variable '(old_partition).end' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/sweep.c:594:11: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/sweep.c:629:25: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/sweep.c:671:18: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/sweep.c:1019:10: style: Variable 'q' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/sweep.c:1086:25: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/sweep.c:1145:18: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/tiers.c:59:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/tiers.c:118:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/tiers.c:9:13: style: Variable 'used_stats' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/tiers.c:78:13: style: Variable 'used_stats' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/tiers.c:82:15: style: Variable 'mode' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/trail.c:26:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/trail.c:72:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/trail.c:27:15: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/trail.c:73:15: style: Variable 'a' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/transitive.c:183:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/transitive.c:292:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable active [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/transitive.c:307:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/transitive.c:80:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/transitive.c:117:15: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/transitive.c:189:26: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/transitive.c:190:24: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/transitive.c:31:13: style: Variable 'end_trail' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/transitive.c:84:10: style: Variable 'end_src' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/transitive.c:112:15: style: Variable 'propagate' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/transitive.c:220:52: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/transitive.c:244:57: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/transitive.c:309:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/transitive.c:385:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/transitive.c:271:28: style: Variable 'flags' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/transitive.c:271:22: style: Variable 'flags' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/transitive.c:277:28: style: Variable 'flags' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/transitive.c:278:28: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/transitive.c:277:22: style: Variable 'flags' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/transitive.c:278:22: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/vector.c:23:18: style: Variable 'end_watches' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vector.c:165:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vector.c:183:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vector.c:233:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:54:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:65:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:264:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:366:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ref_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:383:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:408:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ref_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:437:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable cr_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:493:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:592:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:609:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:678:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:732:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:786:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:859:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:872:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:881:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:897:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:941:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lit_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:1281:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:1403:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/vivify.c:494:15: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:523:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:539:15: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:561:17: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:788:15: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:858:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:859:11: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:882:52: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:1041:17: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:1050:23: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:1053:15: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:1059:15: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:1198:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:1199:13: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:1204:14: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/vivify.c:682:23: style: Local variable 'value' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/src/vivify.c:677:15: note: Shadowed declaration
kissat-rel-4.0.2/src/vivify.c:682:23: note: Shadow variable
kissat-rel-4.0.2/src/vivify.c:24:48: style: Parameter 'counts' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/vivify.c:34:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:53:35: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/vivify.c:212:11: style: Variable 'solver' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:307:63: style: Parameter 'counts' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/vivify.c:372:57: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/vivify.c:373:45: style: Parameter 'counts' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/vivify.c:446:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:463:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:602:40: style: Parameter 'conflict' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/vivify.c:700:13: style: Variable 'lits' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:892:13: style: Variable 'lits' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1035:14: style: Variable 'frame' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1332:17: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1356:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1359:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1366:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1370:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1377:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1381:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1388:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1392:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1415:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/vivify.c:1479:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/walk.c:91:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable lits [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:286:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:356:71: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:398:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:446:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:551:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:585:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:762:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:928:68: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:956:56: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/walk.c:95:13: style: Variable 'c' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/walk.c:228:10: style: Variable 'values' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/walk.c:284:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/walk.c:439:54: style: Parameter 'walker' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/walk.c:439:69: style: Parameter 'values' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/walk.c:451:14: style: Variable 'counter' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/walk.c:508:11: style: Variable 'scores' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/walk.c:608:38: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/walk.c:624:40: style: Parameter 'solver' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/walk.c:760:15: style: Variable 'statistics' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/walk.c:53:12: style: struct member 'walker::offset' is never used. [unusedStructMember]
kissat-rel-4.0.2/src/warmup.c:24:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/warmup.c:14:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/warmup.c:53:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/watch.c:152:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/watch.c:179:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/watch.c:173:11: style: Variable 'last_irredundant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/watch.c:148:25: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/src/weaken.c:40:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable other_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/weaken.c:5:12: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
kissat-rel-4.0.2/src/weaken.c:36:66: style: Parameter 'c' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/src/witness.c:9:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/big/genbigand.c:11:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/big/genbigand.c:75:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/big/genbigand.c:106:3: warning: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
kissat-rel-4.0.2/test/test.c:153:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DIR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/test.c:287:9: warning: Identical inner 'if' condition is always true. [identicalInnerCondition]
kissat-rel-4.0.2/test/test.c:286:27: note: outer condition: !tissat_sequential
kissat-rel-4.0.2/test/test.c:287:9: note: identical inner condition: !tissat_sequential
kissat-rel-4.0.2/test/test.c:142:14: style: Condition 'res<=0' is always true [knownConditionTrueFalse]
kissat-rel-4.0.2/test/test.c:133:14: note: Assignment 'res=-1', assigned value is -1
kissat-rel-4.0.2/test/test.c:141:33: note: Calling function 'get_number_of_cores' returns -1
kissat-rel-4.0.2/test/test.c:141:33: note: Assignment 'res=get_number_of_cores()', assigned value is -1
kissat-rel-4.0.2/test/test.c:142:14: note: Condition 'res<=0' is always true
kissat-rel-4.0.2/test/test.c:289:25: style: Variable 'sequential_option' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testadd.c:6:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testadd.c:28:18: style: Variable 'arena' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testadd.c:24:9: style: Unused variable: clause [unusedVariable]
kissat-rel-4.0.2/test/testadd.c:28:12: style: Variable 'arena' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testallocate.c:12:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testallocate.c:43:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testallocate.c:74:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testallocate.c:42:9: style: Variable 'p' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testapplication.c:24:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable start [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testapplication.c:60:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testapplication.c:14:11: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
kissat-rel-4.0.2/test/testapplication.c:13:22: note: Assuming allocation function fails
kissat-rel-4.0.2/test/testapplication.c:13:22: note: Assignment 'res=malloc(len+1)', assigned value is 0
kissat-rel-4.0.2/test/testapplication.c:14:11: note: Null pointer dereference
kissat-rel-4.0.2/test/testapplication.c:15:3: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory]
kissat-rel-4.0.2/test/testapplication.c:13:22: note: Assuming allocation function fails
kissat-rel-4.0.2/test/testapplication.c:13:22: note: Assignment 'res=malloc(len+1)', assigned value is 0
kissat-rel-4.0.2/test/testapplication.c:15:3: note: Null pointer dereference
kissat-rel-4.0.2/test/testarena.c:8:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testarena.c:59:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testarena.c:80:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testarena.c:106:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testarena.c:47:14: error: Array 'c->lits[3]' accessed at index 1048572, which is out of bounds. [arrayIndexOutOfBounds]
kissat-rel-4.0.2/test/testarena.c:39:35: note: Assignment 'size=bytes/4-3', assigned value is 1048573
kissat-rel-4.0.2/test/testarena.c:46:28: note: Assuming that condition 'i<size' is not redundant
kissat-rel-4.0.2/test/testarena.c:47:14: note: Array index out of bounds
kissat-rel-4.0.2/test/testarena.c:46:19: style: Local variable 'i' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/test/testarena.c:41:17: note: Shadowed declaration
kissat-rel-4.0.2/test/testarena.c:46:19: note: Shadow variable
kissat-rel-4.0.2/test/testarray.c:16:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testarray.c:29:18: style: Variable 'pair.first' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testarray.c:30:19: style: Variable 'pair.second' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testbump.c:21:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testbump.c:24:9: style: Variable 'scores' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testceil.c:17:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testceil.c:37:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testceil.c:59:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcollect.c:18:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcollect.c:39:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcollect.c:53:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcollect.c:61:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcollect.c:69:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcollect.c:75:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable c_END [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcollect.c:100:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcollect.c:17:11: style: Variable 'conflict' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testconfig.c:20:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testconfig.c:33:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcoverage.c:23:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcoverage.c:44:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcoverage.c:63:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testcoverage.c:46:45: warning: If memory allocation fails, then there is a possible null pointer dereference: tmp [nullPointerOutOfMemory]
kissat-rel-4.0.2/test/testcoverage.c:45:22: note: Assuming allocation function fails
kissat-rel-4.0.2/test/testcoverage.c:45:22: note: Assignment 'tmp=malloc(strlen(name)+1)', assigned value is 0
kissat-rel-4.0.2/test/testcoverage.c:46:45: note: Null pointer dereference
kissat-rel-4.0.2/test/testcoverage.c:68:28: warning:inconclusive: If resource allocation fails, then there is a possible null pointer dereference: dir [nullPointerOutOfResources]
kissat-rel-4.0.2/test/testcoverage.c:61:22: note: Assuming allocation function fails
kissat-rel-4.0.2/test/testcoverage.c:61:22: note: Assignment 'dir=opendir(path)', assigned value is 0
kissat-rel-4.0.2/test/testcoverage.c:68:28: note: Null pointer dereference
kissat-rel-4.0.2/test/testcoverage.c:71:13: warning:inconclusive: If resource allocation fails, then there is a possible null pointer dereference: dir [nullPointerOutOfResources]
kissat-rel-4.0.2/test/testcoverage.c:61:22: note: Assuming allocation function fails
kissat-rel-4.0.2/test/testcoverage.c:61:22: note: Assignment 'dir=opendir(path)', assigned value is 0
kissat-rel-4.0.2/test/testcoverage.c:71:13: note: Null pointer dereference
kissat-rel-4.0.2/test/testcoverage.c:66:18: style: Variable 'entry' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testdivert.c:14:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testdivert.c:40:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testdivert.c:53:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testdivert.c:73:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testdivert.c:86:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testdump.c:21:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testendianness.c:30:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testendianness.c:34:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testendianness.c:35:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testendianness.c:37:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testendianness.c:38:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testendianness.c:39:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testendianness.c:40:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testendianness.c:42:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testendianness.c:43:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testendianness.c:44:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testendianness.c:45:3: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testerror.c:14:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testerror.c:50:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testerror.c:68:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testfifo.c:9:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testfile.c:25:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testfile.c:52:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testfile.c:78:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testfile.c:178:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testfile.c:16:3: error: Resource leak: file [resourceLeak]
kissat-rel-4.0.2/test/testfile.c:12:9: style: Variable 'file' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testformat.c:40:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testheap.c:7:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testheap.c:88:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testheap.c:61:21: style: Local variable 'i' shadows outer variable [shadowVariable]
kissat-rel-4.0.2/test/testheap.c:54:17: note: Shadowed declaration
kissat-rel-4.0.2/test/testheap.c:61:21: note: Shadow variable
kissat-rel-4.0.2/test/testheap.c:9:21: style: Variable 'heap' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testheap.c:56:23: style: Variable 'heap' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testheap.c:85:21: style: Variable 'heap' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testheap.c:9:26: style: Variable 'heap' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testheap.c:9:8: style: Unused variable: dummy_heap [unusedVariable]
kissat-rel-4.0.2/test/testheap.c:9:21: style: Variable 'heap' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testheap.c:56:28: style: Variable 'heap' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testheap.c:56:10: style: Unused variable: dummy_heap [unusedVariable]
kissat-rel-4.0.2/test/testheap.c:56:23: style: Variable 'heap' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testheap.c:85:26: style: Variable 'heap' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testheap.c:85:8: style: Unused variable: dummy_heap [unusedVariable]
kissat-rel-4.0.2/test/testheap.c:85:21: style: Variable 'heap' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testinit.c:15:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testkitten.c:56:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testkitten.c:80:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testkitten.c:49:11: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testkitten.c:70:11: style: Variable 'kitten' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testkitten.c:49:18: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testkitten.c:49:11: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testkitten.c:70:18: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testkitten.c:76:22: style: Variable 'clause[size++]' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testkitten.c:70:11: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testmain.c:21:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:17:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:28:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:34:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:46:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:58:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:63:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:77:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:88:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:97:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testmessages.c:111:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testoptions.c:16:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testoptions.c:88:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testoptions.c:123:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testoptions.c:159:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testparse.c:29:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testparse.c:65:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testparse.c:38:14: style: Condition '!expect_parse_error' is always true [knownConditionTrueFalse]
kissat-rel-4.0.2/test/testparse.c:34:7: note: Assuming that condition 'expect_parse_error' is not redundant
kissat-rel-4.0.2/test/testparse.c:38:14: note: Condition '!expect_parse_error' is always true
kissat-rel-4.0.2/test/testprove.c:108:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testprove.c:145:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PTR_opt [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testprove.c:95:8: style: Unused variable: proof [unusedVariable]
kissat-rel-4.0.2/test/testprove.c:148:21: style: Variable 'opt' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testprove.c:148:17: style: Variable 'opt' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testqueue.c:11:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testqueue.c:15:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testqueue.c:5:33: style: Parameter 'queue' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/test/testqueue.c:5:47: style: Parameter 'links' can be declared as pointer to const [constParameterPointer]
kissat-rel-4.0.2/test/testrandom.c:20:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testrandom.c:64:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testrank.c:31:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testrank.c:67:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testrank.c:93:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testrank.c:31:5: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testrank.c:94:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testreferences.c:13:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testreferences.c:111:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable watch_PTR [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testreferences.c:7:3: warning: %x in format string (no. 1) requires 'unsigned int' but the argument type is 'signed long'. [invalidPrintfArgType_uint]
kissat-rel-4.0.2/test/testreferences.c:11:3: warning: %x in format string (no. 1) requires 'unsigned int' but the argument type is 'signed long'. [invalidPrintfArgType_uint]
kissat-rel-4.0.2/test/testreferences.c:105:3: portability:inconclusive: Array 'found' might be filled incompletely. Did you forget to multiply the size given to 'memset()' with 'sizeof(*found)'? [incompleteArrayFill]
kissat-rel-4.0.2/test/testreferences.c:105:3: portability:inconclusive: Array 'refs' might be filled incompletely. Did you forget to multiply the size given to 'memset()' with 'sizeof(*refs)'? [incompleteArrayFill]
kissat-rel-4.0.2/test/testreferences.c:147:3: portability:inconclusive: Array 'found' might be filled incompletely. Did you forget to multiply the size given to 'memset()' with 'sizeof(*found)'? [incompleteArrayFill]
kissat-rel-4.0.2/test/testreferences.c:147:3: portability:inconclusive: Array 'refs' might be filled incompletely. Did you forget to multiply the size given to 'memset()' with 'sizeof(*refs)'? [incompleteArrayFill]
kissat-rel-4.0.2/test/testreferences.c:184:3: portability:inconclusive: Array 'found' might be filled incompletely. Did you forget to multiply the size given to 'memset()' with 'sizeof(*found)'? [incompleteArrayFill]
kissat-rel-4.0.2/test/testreferences.c:184:3: portability:inconclusive: Array 'refs' might be filled incompletely. Did you forget to multiply the size given to 'memset()' with 'sizeof(*refs)'? [incompleteArrayFill]
kissat-rel-4.0.2/test/testreluctant.c:17:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testreluctant.c:14:3: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
kissat-rel-4.0.2/test/testreluctant.c:14:3: warning: %u in format string (no. 3) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
kissat-rel-4.0.2/test/testreluctant.c:14:3: warning: %u in format string (no. 5) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
kissat-rel-4.0.2/test/testreluctant.c:6:31: style: Variable 'reluctant' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testscheduler.c:76:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:96:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:104:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:138:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:152:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:188:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:218:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable END_job [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:225:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:242:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable END_job [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:253:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:295:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:314:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable END_job [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testscheduler.c:162:7: warning: Either the condition '!job' is redundant or there is possible null pointer dereference: job. [nullPointerRedundantCheck]
kissat-rel-4.0.2/test/testscheduler.c:158:7: note: Assuming that condition '!job' is not redundant
kissat-rel-4.0.2/test/testscheduler.c:162:7: note: Null pointer dereference
kissat-rel-4.0.2/test/testscheduler.c:232:17: style: Variable 'dependency' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testsizes.c:5:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testsolve.c:40:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PTR_opt [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testsolve.c:16:11: warning: If memory allocation fails, then there is a possible null pointer dereference: cmd [nullPointerOutOfMemory]
kissat-rel-4.0.2/test/testsolve.c:15:22: note: Assuming allocation function fails
kissat-rel-4.0.2/test/testsolve.c:15:22: note: Assignment 'cmd=malloc(len)', assigned value is 0
kissat-rel-4.0.2/test/testsolve.c:16:11: note: Null pointer dereference
kissat-rel-4.0.2/test/testsolve.c:17:11: warning: If memory allocation fails, then there is a possible null pointer dereference: cmd [nullPointerOutOfMemory]
kissat-rel-4.0.2/test/testsolve.c:15:22: note: Assuming allocation function fails
kissat-rel-4.0.2/test/testsolve.c:15:22: note: Assignment 'cmd=malloc(len)', assigned value is 0
kissat-rel-4.0.2/test/testsolve.c:17:11: note: Null pointer dereference
kissat-rel-4.0.2/test/testsolve.c:45:23: style: Variable 'opt' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testsolve.c:45:19: style: Variable 'opt' is assigned a value that is never used. [unreadVariable]
kissat-rel-4.0.2/test/testsort.c:15:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testsort.c:52:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testsort.c:52:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testsort.c:54:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/testsort.c:59:3: style: Variable 'profile' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/test/teststack.c:8:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/teststack.c:59:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/teststack.c:46:12: style: struct member 'odd_sized::a' is never used. [unusedStructMember]
kissat-rel-4.0.2/test/teststack.c:46:15: style: struct member 'odd_sized::b' is never used. [unusedStructMember]
kissat-rel-4.0.2/test/teststack.c:46:18: style: struct member 'odd_sized::c' is never used. [unusedStructMember]
kissat-rel-4.0.2/test/testutilities.c:6:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testvector.c:13:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __func__ [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/test/testvector.c:105:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar]
kissat-rel-4.0.2/src/inlinevector.h:52:13: style: Variable 'begin_vector' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/inlinevector.h:53:13: style: Variable 'begin_stack' can be declared as pointer to const [constVariablePointer]
kissat-rel-4.0.2/src/check.c:178:22: warning: Null pointer dereference: solver [ctunullpointer]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:155:26: note: Calling function kissat_release_checker, 1st argument is null
kissat-rel-4.0.2/src/check.c:178:22: note: Dereferencing argument solver that is null
kissat-rel-4.0.2/src/phases.c:42:25: warning: Null pointer dereference: solver [ctunullpointer]
kissat-rel-4.0.2/src/internal.c:80:3: note: Assuming that condition 'solver' is not redundant
kissat-rel-4.0.2/src/internal.c:84:25: note: Calling function kissat_release_phases, 1st argument is null
kissat-rel-4.0.2/src/phases.c:42:25: note: Dereferencing argument solver that is null
kissat-rel-4.0.2/src/inlineassign.h:26:12: error: Null pointer dereference: values [ctunullpointer]
kissat-rel-4.0.2/src/assign.c:9:17: note: Calling function kissat_assign, 4th argument is null
kissat-rel-4.0.2/src/inlineassign.h:26:12: note: Dereferencing argument values that is null
kissat-rel-4.0.2/test/testscheduler.c:53:46: warning: If memory allocation fails, then there is a possible null pointer dereference: args [ctunullpointerOutOfMemory]
kissat-rel-4.0.2/test/testsolve.c:15:22: note: Assuming allocation function fails
kissat-rel-4.0.2/test/testsolve.c:15:22: note: Assignment 'cmd=malloc(len)', assigned value is 0
kissat-rel-4.0.2/test/testsolve.c:18:31: note: Calling function tissat_schedule_application, 2nd argument is null
kissat-rel-4.0.2/test/testscheduler.c:53:46: note: Dereferencing argument args that is null
diff:
head kissat-rel-4.0.2/src/analyze.c:366:18: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/assign.c:50:13: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/backtrack.c:114:12: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:1005:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:499:18: style: Variable 'hash' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:594:18: style: Variable 'hash' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:906:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:916:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:933:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:941:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:971:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:980:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/check.c:997:12: style: Variable 'checker' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/collect.c:232:13: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/collect.c:584:25: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/congruence.c:4243:13: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/congruence.c:4538:13: style: Variable 'refsize' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/congruence.c:847:13: style: Variable 'litpair' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/deduce.c:85:10: style: Variable 'frames' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/definition.c:78:31: style: Local variable 'size' shadows outer argument [shadowArgument]
     kissat-rel-4.0.2/src/definition.c:54:51: note: Shadowed declaration
     kissat-rel-4.0.2/src/definition.c:78:31: note: Shadow variable
head kissat-rel-4.0.2/src/definition.c:79:12: portability: Assigning an integer to a pointer is not portable. [AssignmentIntegerToAddress]
head kissat-rel-4.0.2/src/dense.c:47:22: style: Variable 'mark' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/dense.c:61:31: style: Variable 'litpair' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/dump.c:10:13: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/dump.c:179:13: style: Variable 'value' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/fastel.c:868:17: style: Variable 'candidate' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/flags.c:94:34: warning: Assert statement calls a function which may have desired side effects: 'assert'. [assertWithSideEffect]
head kissat-rel-4.0.2/src/internal.c:509:20: style: Variable 'eliminated' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/proof.c:318:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/proof.c:325:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/proof.c:340:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/proof.c:376:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/proof.c:383:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/proof.c:391:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/proof.c:400:10: style: Variable 'proof' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/queue.c:16:10: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/reorder.c:151:19: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/sort.c:91:25: style: Variable 'assigned' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/substitute.c:308:22: style: Variable 'litwatch' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/substitute.c:349:27: style: Variable 'litpair' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/transitive.c:271:22: style: Variable 'flags' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/transitive.c:277:22: style: Variable 'flags' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/src/transitive.c:278:22: style: Variable 'links' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/test/testadd.c:28:12: style: Variable 'arena' is assigned a value that is never used. [unreadVariable]
2.17.0 kissat-rel-4.0.2/test/testcoverage.c:68:19: portability: Non reentrant function 'readdir' called. For threadsafe applications it is recommended to use the reentrant replacement function 'readdir_r'. [prohibitedreaddirCalled]
head kissat-rel-4.0.2/test/testheap.c:56:23: style: Variable 'heap' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/test/testheap.c:85:21: style: Variable 'heap' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/test/testheap.c:9:21: style: Variable 'heap' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/test/testkitten.c:49:11: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/test/testkitten.c:70:11: style: Variable 'kitten' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/test/testprove.c:148:17: style: Variable 'opt' is assigned a value that is never used. [unreadVariable]
head kissat-rel-4.0.2/test/testsolve.c:45:19: style: Variable 'opt' is assigned a value that is never used. [unreadVariable]


DONE