2024-04-21 02:05 ftp://ftp.de.debian.org/debian/pool/main/p/picosat/picosat_965.orig.tar.gz cppcheck-options: --library=posix --library=gnu --showtime=top5 --check-library --inconclusive --enable=style,information --inline-suppr --disable=missingInclude --suppress=unmatchedSuppression --template=daca2 --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning -D__GNUC__ --platform=unix64 -j1 platform: Linux-6.6.15-amd64-x86_64-with-glibc2.37 python: 3.11.8 client-version: 1.3.49 compiler: g++ (Debian 13.2.0-13) 13.2.0 cppcheck: head 2.13.0 head-info: fb15ac6 (2024-04-20 19:16:41 +0200) count: 184 132 elapsed-time: 11.0 15.3 head-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 9.97089s (avg. 1.42441s - 7 result(s)) valueFlowSymbolic(tokenlist, symboldatabase, errorLogger, settings): 6.45658s (avg. 0.922369s - 7 result(s)) valueFlowUninit(tokenlist, errorLogger, settings): 1.49961s (avg. 0.107115s - 14 result(s)) valueFlowAfterAssign(tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.589702s (avg. 0.0421216s - 14 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.582076s (avg. 0.0415769s - 14 result(s)) Overall time: 10.6447s old-timing-info: Tokenizer::simplifyTokens1::ValueFlow: 13.9173s (avg. 1.98818s - 7 result(s)) valueFlowSymbolic(tokenlist, symboldatabase, settings): 6.49458s (avg. 0.927797s - 7 result(s)) valueFlowUninit(tokenlist, settings): 4.94858s (avg. 0.35347s - 14 result(s)) valueFlowAfterAssign(tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.894688s (avg. 0.0639063s - 14 result(s)) valueFlowCondition(SimpleConditionHandler{}, tokenlist, symboldatabase, errorLogger, settings, skippedFunctions): 0.584016s (avg. 0.0417154s - 14 result(s)) Overall time: 14.5881s head results: picosat-965/app.c:127:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] picosat-965/app.c:552:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar] picosat-965/app.c:1056:3: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint] picosat-965/app.c:1056:3: warning: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint] picosat-965/app.c:361:2: error: Mismatching allocation and deallocation: file [mismatchAllocDealloc] picosat-965/app.c:339:14: note: Mismatching allocation and deallocation: file picosat-965/app.c:361:2: note: Mismatching allocation and deallocation: file picosat-965/app.c:185:9: style: Local variable 'next' shadows outer function [shadowFunction] picosat-965/app.c:37:1: note: Shadowed declaration picosat-965/app.c:185:9: note: Shadow variable picosat-965/app.c:278:10: style: Variable 'arg' can be declared as pointer to const [constVariablePointer] picosat-965/picogcnf.c:43:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picogcnf.c:57:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picogcnf.c:85:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] picosat-965/picomcs.c:109:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picomcs.c:121:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] picosat-965/picomcs.c:191:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picomcs.c:218:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picomcs.c:235:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picomcs.c:246:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picomcs.c:300:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picomcs.c:60:5: error: Common realloc mistake: 'stk' nulled but not freed upon failure [memleakOnRealloc] picosat-965/picomcs.c:179:36: style: Parameter 'c' can be declared as pointer to const [constParameterPointer] picosat-965/picomcs.c:270:18: style: Parameter 'mcs' can be declared as pointer to const [constParameterPointer] picosat-965/picomus.c:59:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picomus.c:70:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picomus.c:85:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] picosat-965/picomus.c:139:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picomus.c:218:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] picosat-965/picomus.c:123:7: error: Common realloc mistake: 'lits' nulled but not freed upon failure [memleakOnRealloc] picosat-965/picosat.c:978:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:1048:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:1189:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:1483:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:1619:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:1660:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable score [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:1872:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:2387:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:2979:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:3930:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:4532:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:4711:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:5195:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6363:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6419:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable failed [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6431:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6437:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6443:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6449:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6550:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6628:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6640:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6731:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6854:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:6940:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7143:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7198:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7223:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7246:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7276:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7311:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7331:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7402:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable failed [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7653:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:7917:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:8160:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RUSAGE_SELF [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:8337:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:8381:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:8405:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:8473:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:8490:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] picosat-965/picosat.c:1943:23: warning: Comparison is wrong. Result of 'ps->lits+2*(v-ps->vars)' can't be 0 unless there is pointer overflow, and pointer overflow is undefined behaviour. [pointerAdditionResultNotNull] picosat-965/picosat.c:4779:26: style: Condition 'collect_clause(ps,c)' is always true [knownConditionTrueFalse] picosat-965/picosat.c:4779:26: note: Calling function 'collect_clause' returns 1 picosat-965/picosat.c:4779:26: note: Condition 'collect_clause(ps,c)' is always true picosat-965/picosat.c:5625:19: style: Condition 'ps->lreduce<100' is always false [knownConditionTrueFalse] picosat-965/picosat.c:5623:17: note: Assignment 'ps->lreduce=1000', assigned value is 1000 picosat-965/picosat.c:5625:19: note: Condition 'ps->lreduce<100' is always false picosat-965/picosat.c:2269:3: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint] picosat-965/picosat.c:2269:3: warning: %u in format string (no. 2) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint] picosat-965/picosat.c:8221:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] picosat-965/picosat.c:1040:5: error: Common realloc mistake: 'b' nulled but not freed upon failure [memleakOnRealloc] picosat-965/picosat.c:1006:11: warning: Possible null pointer dereference: b [nullPointer] picosat-965/picosat.c:1001:7: note: Assignment 'b=(void_ptr)?(struct Blk*)(((char*)(void_ptr))-(sizeof(struct Blk)-8)):0', assigned value is 0 picosat-965/picosat.c:1006:11: note: Null pointer dereference picosat-965/picosat.c:6623:23: style:inconclusive: Function 'picosat_minit' argument 1 names different: declaration 'state' definition 'pmgr'. [funcArgNamesDifferent] picosat-965/picosat.h:78:33: note: Function 'picosat_minit' argument 1 names different: declaration 'state' definition 'pmgr'. picosat-965/picosat.c:6623:23: note: Function 'picosat_minit' argument 1 names different: declaration 'state' definition 'pmgr'. picosat-965/picosat.c:6636:30: style:inconclusive: Function 'picosat_adjust' argument 2 names different: declaration 'max_idx' definition 'new_max_var'. [funcArgNamesDifferent] picosat-965/picosat.h:285:37: note: Function 'picosat_adjust' argument 2 names different: declaration 'max_idx' definition 'new_max_var'. picosat-965/picosat.c:6636:30: note: Function 'picosat_adjust' argument 2 names different: declaration 'max_idx' definition 'new_max_var'. picosat-965/picosat.c:6799:51: style:inconclusive: Function 'picosat_set_incremental_rup_file' argument 2 names different: declaration 'file' definition 'rup_file'. [funcArgNamesDifferent] picosat-965/picosat.h:209:58: note: Function 'picosat_set_incremental_rup_file' argument 2 names different: declaration 'file' definition 'rup_file'. picosat-965/picosat.c:6799:51: note: Function 'picosat_set_incremental_rup_file' argument 2 names different: declaration 'file' definition 'rup_file'. picosat-965/picosat.c:6830:37: style:inconclusive: Function 'picosat_set_seed' argument 2 names different: declaration 'random_number_generator_seed' definition 's'. [funcArgNamesDifferent] picosat-965/picosat.h:186:44: note: Function 'picosat_set_seed' argument 2 names different: declaration 'random_number_generator_seed' definition 's'. picosat-965/picosat.c:6830:37: note: Function 'picosat_set_seed' argument 2 names different: declaration 'random_number_generator_seed' definition 's'. picosat-965/picosat.c:6844:27: style:inconclusive: Function 'picosat_add' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:311:33: note: Function 'picosat_add' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:6844:27: note: Function 'picosat_add' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7105:30: style:inconclusive: Function 'picosat_assume' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:411:37: note: Function 'picosat_assume' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7105:30: note: Function 'picosat_assume' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7126:27: style:inconclusive: Function 'picosat_sat' argument 2 names different: declaration 'decision_limit' definition 'l'. [funcArgNamesDifferent] picosat-965/picosat.h:428:33: note: Function 'picosat_sat' argument 2 names different: declaration 'decision_limit' definition 'l'. picosat-965/picosat.c:7126:27: note: Function 'picosat_sat' argument 2 names different: declaration 'decision_limit' definition 'l'. picosat-965/picosat.c:7192:29: style:inconclusive: Function 'picosat_deref' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:445:35: note: Function 'picosat_deref' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7192:29: note: Function 'picosat_deref' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7220:38: style:inconclusive: Function 'picosat_deref_toplevel' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:452:44: note: Function 'picosat_deref_toplevel' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7220:38: note: Function 'picosat_deref_toplevel' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7242:31: style:inconclusive: Function 'picosat_corelit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:631:37: note: Function 'picosat_corelit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7242:31: note: Function 'picosat_corelit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7271:34: style:inconclusive: Function 'picosat_coreclause' argument 2 names different: declaration 'i' definition 'ocls'. [funcArgNamesDifferent] picosat-965/picosat.h:626:40: note: Function 'picosat_coreclause' argument 2 names different: declaration 'i' definition 'ocls'. picosat-965/picosat.c:7271:34: note: Function 'picosat_coreclause' argument 2 names different: declaration 'i' definition 'ocls'. picosat-965/picosat.c:7307:41: style:inconclusive: Function 'picosat_failed_assumption' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:476:47: note: Function 'picosat_failed_assumption' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7307:41: note: Function 'picosat_failed_assumption' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7327:38: style:inconclusive: Function 'picosat_failed_context' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:255:44: note: Function 'picosat_failed_context' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7327:38: note: Function 'picosat_failed_context' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7912:31: style:inconclusive: Function 'picosat_usedlit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:656:37: note: Function 'picosat_usedlit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7912:31: note: Function 'picosat_usedlit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:7924:45: style:inconclusive: Function 'picosat_write_clausal_core' argument 2 names different: declaration 'core_file' definition 'file'. [funcArgNamesDifferent] picosat-965/picosat.h:636:52: note: Function 'picosat_write_clausal_core' argument 2 names different: declaration 'core_file' definition 'file'. picosat-965/picosat.c:7924:45: note: Function 'picosat_write_clausal_core' argument 2 names different: declaration 'core_file' definition 'file'. picosat-965/picosat.c:7930:46: style:inconclusive: Function 'picosat_write_compact_trace' argument 2 names different: declaration 'trace_file' definition 'file'. [funcArgNamesDifferent] picosat-965/picosat.h:640:53: note: Function 'picosat_write_compact_trace' argument 2 names different: declaration 'trace_file' definition 'file'. picosat-965/picosat.c:7930:46: note: Function 'picosat_write_compact_trace' argument 2 names different: declaration 'trace_file' definition 'file'. picosat-965/picosat.c:7937:47: style:inconclusive: Function 'picosat_write_extended_trace' argument 2 names different: declaration 'trace_file' definition 'file'. [funcArgNamesDifferent] picosat-965/picosat.h:641:54: note: Function 'picosat_write_extended_trace' argument 2 names different: declaration 'trace_file' definition 'file'. picosat-965/picosat.c:7937:47: note: Function 'picosat_write_extended_trace' argument 2 names different: declaration 'trace_file' definition 'file'. picosat-965/picosat.c:7944:42: style:inconclusive: Function 'picosat_write_rup_trace' argument 2 names different: declaration 'trace_file' definition 'file'. [funcArgNamesDifferent] picosat-965/picosat.h:647:49: note: Function 'picosat_write_rup_trace' argument 2 names different: declaration 'trace_file' definition 'file'. picosat-965/picosat.c:7944:42: note: Function 'picosat_write_rup_trace' argument 2 names different: declaration 'trace_file' definition 'file'. picosat-965/picosat.c:7957:60: style:inconclusive: Function 'picosat_set_propagation_limit' argument 2 names different: declaration 'limit' definition 'l'. [funcArgNamesDifferent] picosat-965/picosat.h:434:67: note: Function 'picosat_set_propagation_limit' argument 2 names different: declaration 'limit' definition 'l'. picosat-965/picosat.c:7957:60: note: Function 'picosat_set_propagation_limit' argument 2 names different: declaration 'limit' definition 'l'. picosat-965/picosat.c:8278:31: style:inconclusive: Function 'picosat_message' argument 2 names different: declaration 'verbosity_level' definition 'vlevel'. [funcArgNamesDifferent] picosat-965/picosat.h:178:38: note: Function 'picosat_message' argument 2 names different: declaration 'verbosity_level' definition 'vlevel'. picosat-965/picosat.c:8278:31: note: Function 'picosat_message' argument 2 names different: declaration 'verbosity_level' definition 'vlevel'. picosat-965/picosat.c:8345:45: style:inconclusive: Function 'picosat_set_default_phase_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:148:52: note: Function 'picosat_set_default_phase_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:8345:45: note: Function 'picosat_set_default_phase_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:8369:46: style:inconclusive: Function 'picosat_set_more_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:173:53: note: Function 'picosat_set_more_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:8369:46: note: Function 'picosat_set_more_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:8393:46: style:inconclusive: Function 'picosat_set_less_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:174:53: note: Function 'picosat_set_less_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:8393:46: note: Function 'picosat_set_less_important_lit' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:8486:37: style:inconclusive: Function 'picosat_deref_partial' argument 2 names different: declaration 'lit' definition 'int_lit'. [funcArgNamesDifferent] picosat-965/picosat.h:461:43: note: Function 'picosat_deref_partial' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:8486:37: note: Function 'picosat_deref_partial' argument 2 names different: declaration 'lit' definition 'int_lit'. picosat-965/picosat.c:1067:15: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:1637:17: style: Parameter 'ps' can be declared as pointer to const. However it seems that 'cmp_added' is a callback function, if 'ps' is declared with const you might also need to cast function pointer(s). [constParameterCallback] picosat-965/picosat.c:1687:5: note: You might need to cast the function pointer here picosat-965/picosat.c:1637:17: note: Parameter 'ps' can be declared as pointer to const picosat-965/picosat.c:1637:27: style: Parameter 'k' can be declared as pointer to const. However it seems that 'cmp_added' is a callback function, if 'k' is declared with const you might also need to cast function pointer(s). [constParameterCallback] picosat-965/picosat.c:1687:5: note: You might need to cast the function pointer here picosat-965/picosat.c:1637:27: note: Parameter 'k' can be declared as pointer to const picosat-965/picosat.c:1637:36: style: Parameter 'l' can be declared as pointer to const. However it seems that 'cmp_added' is a callback function, if 'l' is declared with const you might also need to cast function pointer(s). [constParameterCallback] picosat-965/picosat.c:1687:5: note: You might need to cast the function pointer here picosat-965/picosat.c:1637:36: note: Parameter 'l' can be declared as pointer to const picosat-965/picosat.c:1640:8: style: Variable 'u' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:1640:12: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:1864:29: style: Parameter 'lit' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:1866:9: style: Variable 'other' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:1887:20: style: Variable 'other' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:2034:23: style: Parameter 'lit' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:2228:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:2264:24: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:2550:10: style: Variable 'other' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:2585:18: style: Variable 'prev' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:2586:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:2621:9: style: Variable 'c' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:2814:21: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:2874:21: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:2907:8: style: Variable 'old_lits' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:2908:8: style: Variable 'old_rnks' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:2995:8: style: Variable 'other' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:3035:17: style: Variable 'other' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:3064:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:3109:20: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:3144:8: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:3166:10: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:3194:46: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:3340:32: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:3407:26: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:3438:12: style: Variable 'eor' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:3481:20: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:3987:35: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:3987:45: style: Parameter 'lit' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:3990:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:4362:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:4650:36: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:4652:8: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:4653:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:4694:16: style: Variable 'eol' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:4715:12: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:4750:10: style: Variable 'other' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:4974:30: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:4974:40: style: Parameter 'lit' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:4977:8: style: Variable 'lstk' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:5004:15: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:5004:25: style: Parameter 'r' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:5007:17: style: Variable 'nlit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:5482:15: style: Variable 'p' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:5482:20: style: Variable 'q' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:5666:8: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:5802:8: style: Variable 'r' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:6361:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:6429:19: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:6435:23: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:6441:25: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:6447:43: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:6468:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:6729:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:6981:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:6982:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7004:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7005:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7186:19: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:7194:8: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7309:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7310:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7329:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7330:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7346:15: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7347:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7382:15: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7384:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:7963:28: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:7969:22: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:7975:25: style: Parameter 'ps' can be declared as pointer to const [constParameterPointer] picosat-965/picosat.c:8180:15: style: Variable 'other' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:8180:24: style: Variable 'last' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:8371:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:8372:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:8395:9: style: Variable 'lit' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:8396:9: style: Variable 'v' can be declared as pointer to const [constVariablePointer] picosat-965/picosat.c:495:11: style: union member 'Anonymous0::as_two_ptrs' is never used. [unusedStructMember] picosat-965/picosat.c:587:27: style: struct member 'PicoSAT::bhead' is never used. [unusedStructMember] picosat-965/version.c:6:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PICOSAT_VERSION [valueFlowBailoutIncompleteVar] picosat-965/version.c:12:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PICOSAT_CC [valueFlowBailoutIncompleteVar] diff: head picosat-965/app.c:552:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar] head picosat-965/picogcnf.c:57:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] head picosat-965/picogcnf.c:85:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] head picosat-965/picomcs.c:121:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] head picosat-965/picomcs.c:191:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] head picosat-965/picomcs.c:218:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] head picosat-965/picomcs.c:235:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] head picosat-965/picomcs.c:246:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] head picosat-965/picomcs.c:300:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picomus.c:139:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] head picosat-965/picomus.c:218:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] head picosat-965/picomus.c:70:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] head picosat-965/picomus.c:85:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:1048:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:1189:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:1483:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:1619:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:1660:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable score [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:1872:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:2387:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:2979:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:3930:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:4532:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:4711:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable level [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:5195:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6363:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6419:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable failed [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6431:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6437:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6443:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6449:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6550:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6628:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6640:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6731:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6854:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:6940:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:7143:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:7198:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:7223:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:7246:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:7276:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:7311:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:7331:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:7402:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable failed [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:7653:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] 2.13.0 picosat-965/picosat.c:781:16: style: Local variable 'mb' shadows outer function [shadowFunction] picosat-965/picosat.c:3166:1: note: Shadowed declaration picosat-965/picosat.c:781:16: note: Shadow variable head picosat-965/picosat.c:7917:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:8160:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RUSAGE_SELF [valueFlowBailoutIncompleteVar] 2.13.0 picosat-965/picosat.c:816:16: style: Local variable 'mb' shadows outer function [shadowFunction] picosat-965/picosat.c:3166:1: note: Shadowed declaration picosat-965/picosat.c:816:16: note: Shadow variable head picosat-965/picosat.c:8337:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:8381:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:8405:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:8473:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/picosat.c:8490:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] head picosat-965/version.c:12:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PICOSAT_CC [valueFlowBailoutIncompleteVar] DONE