2024-04-12 23:14
ftp://ftp.de.debian.org/debian/pool/main/s/slony1-2/slony1-2_2.2.11.orig.tar.bz2
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 -D__GNUC__ --platform=unix64 -j1
platform: Linux-5.15.0-102-generic-x86_64-with-glibc2.35
python: 3.10.12
client-version: 1.3.55
compiler: g++ (Ubuntu 12.3.0-1ubuntu1~22.04) 12.3.0
cppcheck: head 2.13.0
head-info: 646f869 (2024-04-12 10:43:30 +0200)
count: 96 67
elapsed-time: 4.0 3.5
head-timing-info:

old-timing-info:

head results:
slony1-2.2.11/src/backend/slony1_funcs.c:550:0: error: #error "GETCONFIGOPTIONBYNAME_2 or GETCONFIGOPTIONBYNAME_3 must be defined" [preprocessorErrorDirective]
slony1-2.2.11/src/parsestatements/test-scanner.c:18:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slevent/slevent.c:38:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _MAX_PATH [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slevent/slevent.c:99:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable HKEY_LOCAL_MACHINE [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slevent/slevent.c:117:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DLL_PROCESS_ATTACH [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/types.h:72:0: error: #error must have a working 64-bit integer datatype [preprocessorErrorDirective]
conf-file.c:733:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
conf-file.c:1103:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
conf-file.c:1400:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
conf-file.c:1638:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
conf-file.l:124:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SLON_ERROR [valueFlowBailoutIncompleteVar]
conf-file.l:313:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SLON_FATAL [valueFlowBailoutIncompleteVar]
conf-file.c:1404:2: warning: Possible null pointer dereference: b [nullPointer]
conf-file.c:1297:18: note: Calling function 'yy_init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0
conf-file.c:1404:2: note: Null pointer dereference
conf-file.c:1405:2: warning: Possible null pointer dereference: b [nullPointer]
conf-file.c:1297:18: note: Calling function 'yy_init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0
conf-file.c:1405:2: note: Null pointer dereference
conf-file.c:1103:3: style: Redundant initialization for 'c'. The initialized value is overwritten before it is read. [redundantInitialization]
conf-file.c:1103:3: note: c is initialized
conf-file.c:1103:3: note: c is overwritten
conf-file.l:279:3: style:inconclusive: Found duplicate branches for 'if' and 'else'. [duplicateBranch]
conf-file.l:284:3: note: Found duplicate branches for 'if' and 'else'.
conf-file.l:279:3: note: Found duplicate branches for 'if' and 'else'.
conf-file.l:272:2: style: Label 'cleanup_exit' is not used. [unusedLabel]
conf-file.c:1182:59: style:inconclusive: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'. [funcArgNamesDifferent]
conf-file.c:345:55: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
conf-file.c:1182:59: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
conf-file.c:1589:46: style:inconclusive: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'. [funcArgNamesDifferent]
conf-file.c:297:46: note: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'.
conf-file.c:1589:46: note: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'.
conf-file.c:1602:46: style:inconclusive: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'. [funcArgNamesDifferent]
conf-file.c:298:45: note: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'.
conf-file.c:1602:46: note: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'.
conf-file.c:1602:60: style:inconclusive: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'. [funcArgNamesDifferent]
conf-file.c:298:56: note: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'.
conf-file.c:1602:60: note: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'.
conf-file.c:1734:24: style:inconclusive: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition '_bdebug'. [funcArgNamesDifferent]
conf-file.c:558:24: note: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition '_bdebug'.
conf-file.c:1734:24: note: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition '_bdebug'.
conf-file.c:1015:8: style: Variable 'source' can be declared as pointer to const [constVariablePointer]
conf-file.l:245:10: style: Variable 'tail' is assigned a value that is never used. [unreadVariable]
conf-file.l:260:9: style: Variable 'tail' is assigned a value that is never used. [unreadVariable]
conf-file.l:262:15: style: Variable 'parse_state' is assigned a value that is never used. [unreadVariable]
slony1-2.2.11/src/slon/port/win32service.c:59:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable win32_servicemain [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:94:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SERVICE_WIN32_OWN_PROCESS [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:204:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LPSERVICE_STATUS [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:220:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SERVICE_STOP_PENDING [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:241:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable HKEY_LOCAL_MACHINE [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:264:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KEY_READ [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:342:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SLON_FATAL [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:386:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INVALID_HANDLE_VALUE [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:463:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:481:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:501:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:550:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SC_MANAGER_ALL_ACCESS [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:601:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:624:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KEY_ALL_ACCESS [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:656:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KEY_ALL_ACCESS [valueFlowBailoutIncompleteVar]
slony1-2.2.11/src/slon/port/win32service.c:644:3: warning: %lu in format string (no. 1) requires 'unsigned long' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
slony1-2.2.11/src/slon/port/win32service.c:673:3: warning: %lu in format string (no. 1) requires 'unsigned long' but the argument type is 'signed int'. [invalidPrintfArgType_uint]
slony1-2.2.11/src/slon/port/win32service.c:298:13: style: Redundant initialization for 'valvalsize'. The initialized value is overwritten before it is read. [redundantInitialization]
slony1-2.2.11/src/slon/port/win32service.c:260:20: note: valvalsize is initialized
slony1-2.2.11/src/slon/port/win32service.c:298:13: note: valvalsize is overwritten
slony1-2.2.11/src/slon/port/win32service.c:397:11: style: Variable 'elevel' is reassigned a value before the old one has been used. [redundantAssignment]
slony1-2.2.11/src/slon/port/win32service.c:395:11: note: elevel is assigned
slony1-2.2.11/src/slon/port/win32service.c:397:11: note: elevel is overwritten
slony1-2.2.11/src/slon/port/win32service.c:80:40: style: Parameter 'argv' can be declared as pointer to const [constParameterPointer]
slony1-2.2.11/src/slon/port/win32service.c:571:19: style: Parameter 'servicename' can be declared as pointer to const [constParameterPointer]
slony1-2.2.11/src/slon/port/win32service.c:616:17: style: Parameter 'servicename' can be declared as pointer to const [constParameterPointer]
slony1-2.2.11/src/slon/port/win32service.c:650:17: style: Parameter 'servicename' can be declared as pointer to const [constParameterPointer]
slony1-2.2.11/src/slonik/types.h:70:0: error: #error must have a working 64-bit integer datatype [preprocessorErrorDirective]
parser.y:229:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable parser_script [valueFlowBailoutIncompleteVar]
parser.y:2042:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
parser.y:2070:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
y.tab.c:1458:5: warning: Assignment of function parameter has no effect outside the function. Did you forget dereferencing it? [uselessAssignmentPtrArg]
parser.y:677:16: style: Variable 'token' can be declared as pointer to const [constVariablePointer]
y.tab.c:1458:11: style: Variable 'yymsg' is assigned a value that is never used. [unreadVariable]
scan.c:1064:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
scan.c:1951:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
scan.c:2253:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
scan.c:2491:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
scan.l:532:7: error: Common realloc mistake: 'instring_buffer' nulled but not freed upon failure [memleakOnRealloc]
scan.l:547:7: error: Common realloc mistake: 'instring_buffer' nulled but not freed upon failure [memleakOnRealloc]
scan.c:2257:2: warning: Possible null pointer dereference: b [nullPointer]
scan.c:2150:18: note: Calling function 'yy_init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0
scan.c:2257:2: note: Null pointer dereference
scan.c:2258:2: warning: Possible null pointer dereference: b [nullPointer]
scan.c:2150:18: note: Calling function 'yy_init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0
scan.c:2258:2: note: Null pointer dereference
scan.c:1951:3: style: Redundant initialization for 'c'. The initialized value is overwritten before it is read. [redundantInitialization]
scan.c:1951:3: note: c is initialized
scan.c:1951:3: note: c is overwritten
scan.c:2030:59: style:inconclusive: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'. [funcArgNamesDifferent]
scan.c:364:55: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
scan.c:2030:59: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
scan.c:2442:46: style:inconclusive: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'. [funcArgNamesDifferent]
scan.c:316:46: note: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'.
scan.c:2442:46: note: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'.
scan.c:2455:46: style:inconclusive: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'. [funcArgNamesDifferent]
scan.c:317:45: note: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'.
scan.c:2455:46: note: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'.
scan.c:2455:60: style:inconclusive: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'. [funcArgNamesDifferent]
scan.c:317:56: note: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'.
scan.c:2455:60: note: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'.
scan.c:2587:24: style:inconclusive: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition '_bdebug'. [funcArgNamesDifferent]
scan.c:889:24: note: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition '_bdebug'.
scan.c:2587:24: note: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition '_bdebug'.
scan.c:1863:8: style: Variable 'source' can be declared as pointer to const [constVariablePointer]
scan.l:315:11: style: Variable 'name' can be declared as pointer to const [constVariablePointer]
scan.l:578:26: style: Variable 'value' can be declared as pointer to const [constVariablePointer]
parser.y:939:22: error: Code '(& ds' is invalid C code. Use --std or --language to configure the language. [syntaxError]
scan.c:1096:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdin [valueFlowBailoutIncompleteVar]
scan.c:2057:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
scan.c:2400:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
scan.c:2638:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
scan.c:2404:2: warning: Possible null pointer dereference: b [nullPointer]
scan.c:2297:18: note: Calling function 'yy_init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0
scan.c:2404:2: note: Null pointer dereference
scan.c:2405:2: warning: Possible null pointer dereference: b [nullPointer]
scan.c:2297:18: note: Calling function 'yy_init_buffer', 1st argument '(yy_buffer_stack)?(yy_buffer_stack)[yy_buffer_stack_top]:NULL' value is 0
scan.c:2405:2: note: Null pointer dereference
scan.c:2057:3: style: Redundant initialization for 'c'. The initialized value is overwritten before it is read. [redundantInitialization]
scan.c:2057:3: note: c is initialized
scan.c:2057:3: note: c is overwritten
scan.l:710:7: style: Statements following 'return' will never be executed. [unreachableCode]
scan.c:2136:59: style:inconclusive: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'. [funcArgNamesDifferent]
scan.c:364:55: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
scan.c:2136:59: note: Function 'yy_try_NUL_trans' argument 1 names different: declaration 'current_state' definition 'yy_current_state'.
scan.c:2161:40: style:inconclusive: Function 'yyunput' argument 2 names different: declaration 'buf_ptr' definition 'yy_bp'. [funcArgNamesDifferent]
scan.c:955:40: note: Function 'yyunput' argument 2 names different: declaration 'buf_ptr' definition 'yy_bp'.
scan.c:2161:40: note: Function 'yyunput' argument 2 names different: declaration 'buf_ptr' definition 'yy_bp'.
scan.c:2589:46: style:inconclusive: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'. [funcArgNamesDifferent]
scan.c:316:46: note: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'.
scan.c:2589:46: note: Function 'yy_scan_string' argument 1 names different: declaration 'yy_str' definition 'yystr'.
scan.c:2602:46: style:inconclusive: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'. [funcArgNamesDifferent]
scan.c:317:45: note: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'.
scan.c:2602:46: note: Function 'yy_scan_bytes' argument 1 names different: declaration 'bytes' definition 'yybytes'.
scan.c:2602:60: style:inconclusive: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'. [funcArgNamesDifferent]
scan.c:317:56: note: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'.
scan.c:2602:60: note: Function 'yy_scan_bytes' argument 2 names different: declaration 'len' definition '_yybytes_len'.
scan.c:2734:24: style:inconclusive: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition '_bdebug'. [funcArgNamesDifferent]
scan.c:919:24: note: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition '_bdebug'.
scan.c:2734:24: note: Function 'yyset_debug' argument 1 names different: declaration 'debug_flag' definition '_bdebug'.
scan.c:1969:8: style: Variable 'source' can be declared as pointer to const [constVariablePointer]
scan.c:2176:9: style: Variable 'source' can be declared as pointer to const [constVariablePointer]
scan.l:476:29: style: Parameter 'str' can be declared as pointer to const [constParameterPointer]
scan.l:531:11: style: Variable 'name' can be declared as pointer to const [constVariablePointer]
scan.l:666:26: style: Variable 'value' can be declared as pointer to const [constVariablePointer]
slony1-2.2.11/tests/random_string.c:24:2: warning: printf format string requires 0 parameters but 1 is given. [wrongPrintfScanfArgNum]
slony1-2.2.11/tests/random_string.c:24:15: error: Uninitialized variable: result [uninitvar]
slony1-2.2.11/tests/random_string.c:11:8: style: Unused variable: base [unusedVariable]
diff:
head conf-file.c:1103:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
head conf-file.c:1400:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
head conf-file.c:1638:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
head conf-file.l:124:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SLON_ERROR [valueFlowBailoutIncompleteVar]
head conf-file.l:313:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SLON_FATAL [valueFlowBailoutIncompleteVar]
head parser.y:2042:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
head parser.y:2070:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
head scan.c:1951:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
head scan.c:2057:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOF [valueFlowBailoutIncompleteVar]
head scan.c:2253:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
head scan.c:2400:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar]
head scan.c:2491:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
head scan.c:2638:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slevent/slevent.c:117:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable DLL_PROCESS_ATTACH [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slevent/slevent.c:99:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable HKEY_LOCAL_MACHINE [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:204:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LPSERVICE_STATUS [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:220:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SERVICE_STOP_PENDING [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:241:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable HKEY_LOCAL_MACHINE [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:264:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KEY_READ [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:342:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SLON_FATAL [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:386:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable INVALID_HANDLE_VALUE [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:463:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:481:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:501:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:550:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SC_MANAGER_ALL_ACCESS [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:601:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:624:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KEY_ALL_ACCESS [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:656:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KEY_ALL_ACCESS [valueFlowBailoutIncompleteVar]
head slony1-2.2.11/src/slon/port/win32service.c:94:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SERVICE_WIN32_OWN_PROCESS [valueFlowBailoutIncompleteVar]


DONE