2025-08-30 08:41 ftp://ftp.de.debian.org/debian/pool/main/d/dqlite/dqlite_1.18.2.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --library=sqlite3 --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-79-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.18.0 head-info: 478055e (2025-08-29 18:53:24 +0200) count: 186 809 elapsed-time: 7.6 103.6 head-timing-info: old-timing-info: head results: dqlite-1.18.2/include/dqlite.h:10:0: error: failed to evaluate #if condition, undefined function-like macro invocation: __has_attribute( ... ) [preprocessorErrorDirective] dqlite-1.18.2/include/dqlite.h:10:3: error: failed to evaluate #if condition, undefined function-like macro invocation: __has_attribute( ... ) [preprocessorErrorDirective] dqlite-1.18.2/src/format.c:57:14: style: Parameter 'data' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/src/format.c:73:12: style: Variable 'end' can be declared as pointer to const [constVariablePointer] dqlite-1.18.2/src/utils.h:40:0: error: failed to evaluate #if condition, undefined function-like macro invocation: __has_attribute( ... ) [preprocessorErrorDirective] dqlite-1.18.2/src/utils.h:40:2: error: failed to evaluate #if condition, undefined function-like macro invocation: __has_attribute( ... ) [preprocessorErrorDirective] dqlite-1.18.2/src/raft/byte.c:135:0: error: #error "Undefined or invalid BYTE_ORDER" [preprocessorErrorDirective] dqlite-1.18.2/src/raft/byte.c:135:2: error: #error "Undefined or invalid BYTE_ORDER" [preprocessorErrorDirective] dqlite-1.18.2/src/raft/callbacks.c:21:54: style: Parameter 'r' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/src/raft/entry.c:75:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable term [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/state.c:7:29: style: Parameter 'r' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/src/raft/state.c:36:41: style: Parameter 'r' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/src/raft/state.c:41:43: style: Parameter 'r' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/src/raft/uv_encoding.c:278:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:50:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable S_IWRITE [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:63:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_FS_O_RDONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:93:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_ENOENT [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:176:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:195:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_WRONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:293:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable S_IRUSR [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:343:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_FS_O_WRONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:398:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_FS_O_WRONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:476:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:517:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:561:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:645:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_FS_O_RDWR [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:685:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_EINVAL [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:785:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IOCB_CMD_PWRITE [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_fs.c:847:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_WRONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_ip.c:61:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AI_PASSIVE [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_os.c:49:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_os.c:76:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EINTR [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_os.c:158:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_os.c:168:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_os.c:178:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_os.c:193:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_os.c:207:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_FS_O_NONBLOCK [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_os.c:220:20: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable F_GETFL [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_tcp.c:111:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NI_MAXHOST [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_tcp.c:58:48: style:inconclusive: Function 'raft_uv_tcp_init' argument 1 names different: declaration 't' definition 'transport'. [funcArgNamesDifferent] dqlite-1.18.2/src/raft.h:1695:57: note: Function 'raft_uv_tcp_init' argument 1 names different: declaration 't' definition 'transport'. dqlite-1.18.2/src/raft/uv_tcp.c:58:48: note: Function 'raft_uv_tcp_init' argument 1 names different: declaration 't' definition 'transport'. dqlite-1.18.2/src/raft/uv_tcp.c:100:50: style:inconclusive: Function 'raft_uv_tcp_close' argument 1 names different: declaration 't' definition 'transport'. [funcArgNamesDifferent] dqlite-1.18.2/src/raft.h:1701:59: note: Function 'raft_uv_tcp_close' argument 1 names different: declaration 't' definition 'transport'. dqlite-1.18.2/src/raft/uv_tcp.c:100:50: note: Function 'raft_uv_tcp_close' argument 1 names different: declaration 't' definition 'transport'. dqlite-1.18.2/src/raft/uv_tcp.c:107:60: style:inconclusive: Function 'raft_uv_tcp_set_bind_address' argument 1 names different: declaration 't' definition 'transport'. [funcArgNamesDifferent] dqlite-1.18.2/src/raft.h:1716:69: note: Function 'raft_uv_tcp_set_bind_address' argument 1 names different: declaration 't' definition 'transport'. dqlite-1.18.2/src/raft/uv_tcp.c:107:60: note: Function 'raft_uv_tcp_set_bind_address' argument 1 names different: declaration 't' definition 'transport'. dqlite-1.18.2/src/raft/uv_tcp_connect.c:133:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_ECANCELED [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_tcp_connect.c:181:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_ECANCELED [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_tcp_connect.c:265:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_tcp_connect.c:89:55: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvTcpConnectUvCloseCb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_tcp_connect.c:247:5: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_tcp_connect.c:89:55: note: Parameter 'handle' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_tcp_connect.c:121:54: style: Parameter 'write' can be declared as pointer to const. However it seems that 'uvTcpConnectUvWriteCb' is a callback function, if 'write' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_tcp_connect.c:200:33: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_tcp_connect.c:121:54: note: Parameter 'write' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_tcp_connect.c:124:16: style: Variable 't' can be declared as pointer to const [constVariablePointer] dqlite-1.18.2/src/raft/uv_tcp_connect.c:168:58: style: Parameter 'req' can be declared as pointer to const. However it seems that 'uvTcpConnectUvConnectCb' is a callback function, if 'req' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_tcp_connect.c:219:8: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_tcp_connect.c:168:58: note: Parameter 'req' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_tcp_connect.c:231:47: style: Parameter 'req' can be declared as pointer to const. However it seems that 'uvGetAddrInfoCb' is a callback function, if 'req' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_tcp_connect.c:304:52: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_tcp_connect.c:231:47: note: Parameter 'req' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_tcp_listen.c:363:6: style: Obsolescent function 'bcmp' called. It is recommended to use 'memcmp' instead. [prohibitedbcmpCalled] dqlite-1.18.2/src/raft/uv_tcp_listen.c:68:54: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvTcpIncomingCloseCb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_tcp_listen.c:89:48: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_tcp_listen.c:68:54: note: Parameter 'handle' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_tcp_listen.c:93:61: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvTcpIncomingAllocCbAddress' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_tcp_listen.c:209:7: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_tcp_listen.c:93:61: note: Parameter 'handle' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_tcp_listen.c:154:62: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvTcpIncomingAllocCbPreamble' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_tcp_listen.c:237:7: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_tcp_listen.c:154:62: note: Parameter 'handle' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_tcp_listen.c:354:53: style: Parameter 'addr_info' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/src/raft/uv_tcp_listen.c:356:19: style: Variable 'next' can be declared as pointer to const [constVariablePointer] dqlite-1.18.2/src/raft/uv_tcp_listen.c:396:60: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvTcpListenCloseCbListener' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_tcp_listen.c:424:6: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_tcp_listen.c:396:60: note: Parameter 'handle' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_writer.c:160:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_READABLE [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_writer.c:286:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_FS_O_NONBLOCK [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_writer.c:424:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable len [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_writer.c:464:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable IOCB_CMD_PWRITEV [valueFlowBailoutIncompleteVar] dqlite-1.18.2/src/raft/uv_writer.c:68:39: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvWriterWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_writer.c:527:42: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_writer.c:68:39: note: Parameter 'work' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_writer.c:71:19: style: Variable 'w' can be declared as pointer to const [constVariablePointer] dqlite-1.18.2/src/raft/uv_writer.c:134:44: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvWriterAfterWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_writer.c:528:7: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_writer.c:134:44: note: Parameter 'work' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_writer.c:143:39: style: Parameter 'poller' can be declared as pointer to const. However it seems that 'uvWriterPollCb' is a callback function, if 'poller' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_writer.c:315:52: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_writer.c:143:39: note: Parameter 'poller' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_writer.c:350:55: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvWriterPollerCloseCb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_writer.c:407:51: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_writer.c:350:55: note: Parameter 'handle' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_writer.c:373:54: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvWriterCheckCloseCb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_writer.c:414:45: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_writer.c:373:54: note: Parameter 'handle' can be declared as pointer to const dqlite-1.18.2/src/raft/uv_writer.c:383:48: style: Parameter 'check' can be declared as pointer to const. However it seems that 'uvWriterCheckCb' is a callback function, if 'check' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_writer.c:412:29: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_writer.c:383:48: note: Parameter 'check' can be declared as pointer to const dqlite-1.18.2/test/lib/endpoint.c:18:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/endpoint.c:39:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/endpoint.c:112:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SOCK_STREAM [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/endpoint.c:150:7: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/endpoint.c:64:13: warning: Either the condition 'e->fd<0' is redundant or bind() argument nr 1 can have invalid value. The value is -1 but the valid values are '0:'. [invalidFunctionArg] dqlite-1.18.2/test/lib/endpoint.c:59:12: note: Assuming that condition 'e->fd<0' is not redundant dqlite-1.18.2/test/lib/endpoint.c:64:13: note: Invalid argument dqlite-1.18.2/test/lib/endpoint.c:118:15: warning: Either the condition 'fd<0' is redundant or connect() argument nr 1 can have invalid value. The value is -1 but the valid values are '0:'. [invalidFunctionArg] dqlite-1.18.2/test/lib/endpoint.c:113:9: note: Assuming that condition 'fd<0' is not redundant dqlite-1.18.2/test/lib/endpoint.c:118:15: note: Invalid argument dqlite-1.18.2/test/lib/endpoint.c:88:52: style: Parameter 'e' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/lib/endpoint.c:95:19: style: Variable 'address' can be declared as pointer to const [constVariablePointer] dqlite-1.18.2/test/lib/endpoint.c:126:48: style: Parameter 'e' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/lib/endpoint.c:171:57: style: Parameter 'e' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/lib/fs.c:47:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FTW_DEPTH [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/heap.c:84:43: style: Parameter 'm' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/lib/munit.c:218:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:262:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:594:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCKS_PER_SEC [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:613:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCKS_PER_SEC [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:1082:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:1249:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:1309:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:1587:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:1745:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LC_ALL [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:1784:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:1890:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/munit.c:2038:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] dqlite-1.18.2/test/lib/munit.c:2040:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] dqlite-1.18.2/test/lib/munit.c:2040:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] dqlite-1.18.2/test/lib/munit.c:2040:5: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] dqlite-1.18.2/test/lib/munit.c:1111:12: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory] dqlite-1.18.2/test/lib/munit.c:1110:17: note: Assuming allocation function fails dqlite-1.18.2/test/lib/munit.c:1110:17: note: Assignment 'res=malloc(res_l+1)', assigned value is 0 dqlite-1.18.2/test/lib/munit.c:1111:12: note: Null pointer dereference dqlite-1.18.2/test/lib/munit.c:1113:5: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory] dqlite-1.18.2/test/lib/munit.c:1110:17: note: Assuming allocation function fails dqlite-1.18.2/test/lib/munit.c:1110:17: note: Assignment 'res=malloc(res_l+1)', assigned value is 0 dqlite-1.18.2/test/lib/munit.c:1113:5: note: Null pointer dereference dqlite-1.18.2/test/lib/munit.c:1890:19: style: Variable 'runner.colorize' is reassigned a value before the old one has been used. [redundantAssignment] dqlite-1.18.2/test/lib/munit.c:1879:19: note: runner.colorize is assigned dqlite-1.18.2/test/lib/munit.c:1890:19: note: runner.colorize is overwritten dqlite-1.18.2/test/lib/munit.c:702:3: style:inconclusive: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] dqlite-1.18.2/test/lib/munit.c:956:46: style:inconclusive: Function 'munit_rand_memory' argument 2 names different: declaration 'buffer' definition 'data'. [funcArgNamesDifferent] dqlite-1.18.2/test/lib/munit.h:401:51: note: Function 'munit_rand_memory' argument 2 names different: declaration 'buffer' definition 'data'. dqlite-1.18.2/test/lib/munit.c:956:46: note: Function 'munit_rand_memory' argument 2 names different: declaration 'buffer' definition 'data'. dqlite-1.18.2/test/lib/munit.c:753:52: style: Parameter 'start' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/lib/munit.c:753:86: style: Parameter 'end' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/lib/munit.c:1707:40: style: Parameter 'argv' can be declared as const array [constParameter] dqlite-1.18.2/test/lib/uv.c:23:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/lib/uv.c:32:9: warning: Uninitialized variable: rv [uninitvar] dqlite-1.18.2/test/lib/uv.c:22:16: note: Assuming condition is false dqlite-1.18.2/test/lib/uv.c:32:9: note: Uninitialized variable: rv dqlite-1.18.2/test/raft/lib/addrinfo.c:76:60: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable sockaddr_in [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/addrinfo.c:105:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RTLD_NEXT [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/addrinfo.c:151:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EAI_FAIL [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/addrinfo.c:157:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RTLD_NEXT [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/addrinfo.c:72:5: warning: If memory allocation fails, then there is a possible null pointer dereference: response [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:70:15: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:70:15: note: Assignment 'response=malloc(sizeof(struct addrinfo_mock_data))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:72:5: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:73:5: warning: If memory allocation fails, then there is a possible null pointer dereference: response [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:70:15: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:70:15: note: Assignment 'response=malloc(sizeof(struct addrinfo_mock_data))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:73:5: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:74:5: warning: If memory allocation fails, then there is a possible null pointer dereference: response [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:70:15: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:70:15: note: Assignment 'response=malloc(sizeof(struct addrinfo_mock_data))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:74:5: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:83:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ai [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assignment 'ai=malloc(sizeof(struct addrinfo))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:83:9: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:84:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ai [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assignment 'ai=malloc(sizeof(struct addrinfo))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:84:9: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:85:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ai [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assignment 'ai=malloc(sizeof(struct addrinfo))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:85:9: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:86:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ai [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assignment 'ai=malloc(sizeof(struct addrinfo))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:86:9: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:87:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ai [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assignment 'ai=malloc(sizeof(struct addrinfo))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:87:9: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:88:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ai [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assignment 'ai=malloc(sizeof(struct addrinfo))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:88:9: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:89:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ai [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assignment 'ai=malloc(sizeof(struct addrinfo))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:89:9: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:90:9: warning: If memory allocation fails, then there is a possible null pointer dereference: ai [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:81:37: note: Assignment 'ai=malloc(sizeof(struct addrinfo))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:90:9: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:128:13: warning: If memory allocation fails, then there is a possible null pointer dereference: response [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:126:23: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:126:23: note: Assignment 'response=malloc(sizeof(struct addrinfo_mock_data))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:128:13: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:129:13: warning: If memory allocation fails, then there is a possible null pointer dereference: response [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:126:23: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:126:23: note: Assignment 'response=malloc(sizeof(struct addrinfo_mock_data))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:129:13: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:130:13: warning: If memory allocation fails, then there is a possible null pointer dereference: response [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:126:23: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:126:23: note: Assignment 'response=malloc(sizeof(struct addrinfo_mock_data))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:130:13: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/addrinfo.c:131:13: warning: If memory allocation fails, then there is a possible null pointer dereference: response [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/addrinfo.c:126:23: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/addrinfo.c:126:23: note: Assignment 'response=malloc(sizeof(struct addrinfo_mock_data))', assigned value is 0 dqlite-1.18.2/test/raft/lib/addrinfo.c:131:13: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/aio.c:19:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/aio.c:64:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __NR_io_destroy [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:57:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:128:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FTW_DEPTH [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:139:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:177:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_CREAT [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:210:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable S_IWUSR [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:244:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable S_IWUSR [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:265:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable S_IWUSR [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:320:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:366:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:397:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_CREAT [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/dir.c:326:15: warning: Either the condition 'fd==-1' is redundant or read() argument nr 1 can have invalid value. The value is -1 but the valid values are '0:'. [invalidFunctionArg] dqlite-1.18.2/test/raft/lib/dir.c:321:12: note: Assuming that condition 'fd==-1' is not redundant dqlite-1.18.2/test/raft/lib/dir.c:326:15: note: Invalid argument dqlite-1.18.2/test/raft/lib/dir.c:117:49: style: Parameter 'ftwb' can be declared as pointer to const. However it seems that 'dirRemoveFn' is a callback function, if 'ftwb' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/test/raft/lib/dir.c:128:20: note: You might need to cast the function pointer here dqlite-1.18.2/test/raft/lib/dir.c:117:49: note: Parameter 'ftwb' can be declared as pointer to const dqlite-1.18.2/test/raft/lib/fsm.c:93:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/fsm.c:155:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/fsm.c:106:17: style: Variable 'f' can be declared as pointer to const [constVariablePointer] dqlite-1.18.2/test/raft/lib/fsm.c:142:17: style: Variable 'f' can be declared as pointer to const [constVariablePointer] dqlite-1.18.2/test/raft/lib/fsm.c:285:17: style: Variable 'f' can be declared as pointer to const [constVariablePointer] dqlite-1.18.2/test/raft/lib/fsm.c:291:17: style: Variable 'f' can be declared as pointer to const [constVariablePointer] dqlite-1.18.2/test/raft/lib/munit.c:223:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:272:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:604:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCKS_PER_SEC [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:623:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCKS_PER_SEC [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:1092:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:1270:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:1330:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:1602:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:1760:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable LC_ALL [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:1799:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:1905:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/munit.c:2053:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] dqlite-1.18.2/test/raft/lib/munit.c:2055:5: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] dqlite-1.18.2/test/raft/lib/munit.c:2055:5: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] dqlite-1.18.2/test/raft/lib/munit.c:2055:5: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] dqlite-1.18.2/test/raft/lib/munit.c:1121:12: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/munit.c:1120:17: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/munit.c:1120:17: note: Assignment 'res=malloc(res_l+1)', assigned value is 0 dqlite-1.18.2/test/raft/lib/munit.c:1121:12: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/munit.c:1123:5: warning: If memory allocation fails, then there is a possible null pointer dereference: res [nullPointerOutOfMemory] dqlite-1.18.2/test/raft/lib/munit.c:1120:17: note: Assuming allocation function fails dqlite-1.18.2/test/raft/lib/munit.c:1120:17: note: Assignment 'res=malloc(res_l+1)', assigned value is 0 dqlite-1.18.2/test/raft/lib/munit.c:1123:5: note: Null pointer dereference dqlite-1.18.2/test/raft/lib/munit.c:1905:19: style: Variable 'runner.colorize' is reassigned a value before the old one has been used. [redundantAssignment] dqlite-1.18.2/test/raft/lib/munit.c:1894:19: note: runner.colorize is assigned dqlite-1.18.2/test/raft/lib/munit.c:1905:19: note: runner.colorize is overwritten dqlite-1.18.2/test/raft/lib/munit.c:712:3: style:inconclusive: Consecutive return, break, continue, goto or throw statements are unnecessary. [duplicateBreak] dqlite-1.18.2/test/raft/lib/munit.c:966:46: style:inconclusive: Function 'munit_rand_memory' argument 2 names different: declaration 'buffer' definition 'data'. [funcArgNamesDifferent] dqlite-1.18.2/test/raft/lib/munit.h:401:51: note: Function 'munit_rand_memory' argument 2 names different: declaration 'buffer' definition 'data'. dqlite-1.18.2/test/raft/lib/munit.c:966:46: note: Function 'munit_rand_memory' argument 2 names different: declaration 'buffer' definition 'data'. dqlite-1.18.2/test/raft/lib/munit.c:763:52: style: Parameter 'start' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/raft/lib/munit.c:763:86: style: Parameter 'end' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/raft/lib/munit.c:1722:40: style: Parameter 'argv' can be declared as const array [constParameter] dqlite-1.18.2/test/raft/lib/tcp.c:17:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:60:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:74:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:86:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:105:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:126:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:171:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:193:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:204:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:215:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:232:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] dqlite-1.18.2/test/raft/lib/tcp.c:28:16: warning: Either the condition 's->socket==-1' is redundant or bind() argument nr 1 can have invalid value. The value is -1 but the valid values are '0:'. [invalidFunctionArg] dqlite-1.18.2/test/raft/lib/tcp.c:23:19: note: Assuming that condition 's->socket==-1' is not redundant dqlite-1.18.2/test/raft/lib/tcp.c:28:16: note: Invalid argument dqlite-1.18.2/test/raft/lib/tcp.c:137:24: warning: Either the condition 't->server.socket==-1' is redundant or bind() argument nr 1 can have invalid value. The value is -1 but the valid values are '0:'. [invalidFunctionArg] dqlite-1.18.2/test/raft/lib/tcp.c:132:26: note: Assuming that condition 't->server.socket==-1' is not redundant dqlite-1.18.2/test/raft/lib/tcp.c:137:24: note: Invalid argument dqlite-1.18.2/test/raft/lib/tcp.c:181:27: warning: Either the condition 't->client.socket==-1' is redundant or connect() argument nr 1 can have invalid value. The value is -1 but the valid values are '0:'. [invalidFunctionArg] dqlite-1.18.2/test/raft/lib/tcp.c:170:26: note: Assuming that condition 't->client.socket==-1' is not redundant dqlite-1.18.2/test/raft/lib/tcp.c:181:27: note: Invalid argument dqlite-1.18.2/test/raft/lib/tcp.c:50:39: style: Parameter 's' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/raft/lib/tcp.c:64:39: style: Parameter 's' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/raft/lib/tcp.c:98:42: style: Parameter 't' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/raft/lib/tcp.c:209:37: style: Parameter 't' can be declared as pointer to const [constParameterPointer] dqlite-1.18.2/test/raft/lib/tcp.c:222:38: style: Parameter 't' can be declared as pointer to const [constParameterPointer] diff: head dqlite-1.18.2/include/dqlite.h:10:0: error: failed to evaluate #if condition, undefined function-like macro invocation: __has_attribute( ... ) [preprocessorErrorDirective] head dqlite-1.18.2/include/dqlite.h:10:3: error: failed to evaluate #if condition, undefined function-like macro invocation: __has_attribute( ... ) [preprocessorErrorDirective] 2.18.0 dqlite-1.18.2/src/db.c:146:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/src/error.c:116:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/error.c:164:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_EOF [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/addr.c:42:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_UNIX [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/buffer.c:17:35: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _SC_PAGESIZE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/buffer.c:69:38: style: Parameter 'b' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/lib/buffer.c:74:37: style: Parameter 'b' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/lib/buffer.c:76:17: portability: 'b->data' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer] 2.18.0 dqlite-1.18.2/src/lib/fs.c:57:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FTW_DEPTH [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/serialize.h:28:0: error: #error "Requires IEEE 754 floating point!" [preprocessorErrorDirective] 2.18.0 dqlite-1.18.2/src/lib/serialize.h:28:2: error: #error "Requires IEEE 754 floating point!" [preprocessorErrorDirective] 2.18.0 dqlite-1.18.2/src/lib/sm.c:25:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/sm.c:31:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/sm.c:42:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/sm.c:58:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conf [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:151:58: style: Parameter 'w' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:180:26: style: Parameter 'from' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:220:9: style: Variable 'o' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:221:9: style: Variable 'u' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:339:9: style: Variable 'q' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:418:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_THREAD_HAS_STACK_SIZE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:506:2: warning: If memory allocation fails, then there is a possible null pointer dereference: w [ctunullpointerOutOfMemory] dqlite-1.18.2/test/unit/ext/test_uv_pool.c:58:16: note: Assuming allocation function fails dqlite-1.18.2/test/unit/ext/test_uv_pool.c:58:16: note: Assignment 'work=calloc(1,sizeof(*work))', assigned value is 0 dqlite-1.18.2/test/unit/ext/test_uv_pool.c:68:18: note: Calling function pool_queue_work, 2nd argument is null dqlite-1.18.2/src/lib/threadpool.c:506:2: note: Dereferencing argument w that is null 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:517:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable pool [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:539:5: style: Redundant initialization for 'pi'. The initialized value is overwritten before it is read. [redundantInitialization] dqlite-1.18.2/src/lib/threadpool.c:534:18: note: pi is initialized dqlite-1.18.2/src/lib/threadpool.c:539:5: note: pi is overwritten 2.18.0 dqlite-1.18.2/src/lib/threadpool.c:541:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_ENOMEM [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/lib/transport.c:133:35: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'close_cb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/lib/transport.c:146:37: note: You might need to cast the function pointer here dqlite-1.18.2/src/lib/transport.c:133:35: note: Parameter 'handle' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/lib/transport.c:149:52: style: Parameter 'buf' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/lib/transport.c:164:34: style: Parameter 'req' can be declared as pointer to const. However it seems that 'write_cb' is a callback function, if 'req' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/lib/transport.c:180:46: note: You might need to cast the function pointer here dqlite-1.18.2/src/lib/transport.c:164:34: note: Parameter 'req' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/lib/transport.c:34:34: style: Parameter 'stream' can be declared as pointer to const. However it seems that 'read_cb' is a callback function, if 'stream' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/lib/transport.c:157:42: note: You might need to cast the function pointer here dqlite-1.18.2/src/lib/transport.c:34:34: note: Parameter 'stream' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/lib/transport.c:9:35: style: Parameter 'stream' can be declared as pointer to const. However it seems that 'alloc_cb' is a callback function, if 'stream' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/lib/transport.c:157:32: note: You might need to cast the function pointer here dqlite-1.18.2/src/lib/transport.c:9:35: note: Parameter 'stream' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/logger.c:41:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/configuration.c:105:23: style: Variable 'server' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/configuration.c:259:23: style: Variable 'server' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/configuration.c:281:23: style: Variable 'server' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/election.c:44:35: style: Variable 'state' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1059:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1059:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1059:2: warning: %d in format string (no. 4) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1075:9: style: Condition 'rv!=0' is always false [knownConditionTrueFalse] dqlite-1.18.2/src/raft/fixture.c:1074:13: note: Calling function 'ioInit' returns 0 dqlite-1.18.2/src/raft/fixture.c:1074:13: note: Assignment 'rv=ioInit(&s->io,i,&f->time)', assigned value is 0 dqlite-1.18.2/src/raft/fixture.c:1075:9: note: Condition 'rv!=0' is always false 2.18.0 dqlite-1.18.2/src/raft/fixture.c:112:2: style: struct member 'ioRequest::queue' is never used. [unusedStructMember] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1145:38: style:inconclusive: Function 'raft_fixture_configuration' argument 3 names different: declaration 'conf' definition 'configuration'. [funcArgNamesDifferent] dqlite-1.18.2/src/raft.h:1806:33: note: Function 'raft_fixture_configuration' argument 3 names different: declaration 'conf' definition 'configuration'. dqlite-1.18.2/src/raft/fixture.c:1145:38: note: Function 'raft_fixture_configuration' argument 3 names different: declaration 'conf' definition 'configuration'. 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1153:31: style: Variable 's' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1167:34: style: Parameter 'configuration' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1167:34: style:inconclusive: Function 'raft_fixture_bootstrap' argument 2 names different: declaration 'conf' definition 'configuration'. [funcArgNamesDifferent] dqlite-1.18.2/src/raft.h:1813:36: note: Function 'raft_fixture_bootstrap' argument 2 names different: declaration 'conf' definition 'configuration'. dqlite-1.18.2/src/raft/fixture.c:1167:34: note: Function 'raft_fixture_bootstrap' argument 2 names different: declaration 'conf' definition 'configuration'. 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1195:46: style: Parameter 'f' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1200:50: style: Parameter 'f' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1217:57: style: Parameter 'f' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1227:13: style: Variable 'io' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1262:17: style: Variable 'other' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1270:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1437:15: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1450:14: style: Variable 'io' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1471:22: style: Variable 'r' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1555:11: style:inconclusive: Same expression used in consecutive assignments of 'i' and 'j'. [duplicateAssignExpression] dqlite-1.18.2/src/raft/fixture.c:1556:11: note: Same expression used in consecutive assignments of 'i' and 'j'. dqlite-1.18.2/src/raft/fixture.c:1555:11: note: Same expression used in consecutive assignments of 'i' and 'j'. 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1626:44: style: Parameter 'f' can be declared as pointer to const. However it seems that 'hasLeader' is a callback function, if 'f' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/fixture.c:1635:36: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/fixture.c:1626:44: note: Parameter 'f' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1638:46: style: Parameter 'f' can be declared as pointer to const. However it seems that 'hasNoLeader' is a callback function, if 'f' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/fixture.c:1647:36: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/fixture.c:1638:46: note: Parameter 'f' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1735:15: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1772:21: style: Variable 'apply' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1808:21: style: Variable 'target' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1831:20: style: Variable 'target' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1832:15: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1854:20: style: Variable 'target' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1855:15: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1877:23: style: Variable 'target' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:1880:23: style: Variable 'message' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:2069:27: style: Parameter 'entry' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:367:43: style: Parameter 's' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:437:15: style: Variable 'peer' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:50:65: style: Parameter 'event' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:566:13: style: Variable 's' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:57:32: style: Parameter 'event' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:710:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:791:13: style: Variable 'io' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:841:15: style: Variable 'peer' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:916:13: style: Variable 'io_other' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:917:15: style: Variable 'peer' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:927:13: style: Variable 'io_other' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:938:13: style: Variable 'io_other' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:950:13: style: Variable 's_other' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/fixture.c:964:13: style: Variable 'io_other' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/log.c:174:3: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/log.c:274:14: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/log.c:315:39: style: Parameter 'l' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/log.c:434:8: style: Variable 'batch' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/log.c:596:25: style: Variable 'ref' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/log.c:820:48: style: Parameter 'l' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/log.c:828:22: style: Variable 'entry' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/log.c:97:10: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/progress.c:105:24: style: Variable 'p' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/progress.c:112:24: style: Variable 'p' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/progress.c:220:24: style: Variable 'p' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/progress.c:320:24: style: Variable 'p' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/progress.c:98:24: style: Variable 'p' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/raft.c:204:38: style: Parameter 'r' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/raft.c:300:25: style: Parameter 'io' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/raft.c:301:26: style: Parameter 'fsm' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/recv.c:123:2: portability: %lld in format string (no. 1) requires 'long long' but the argument type is 'raft_term {aka unsigned long long}'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/src/raft/recv.c:123:2: portability: %lld in format string (no. 2) requires 'long long' but the argument type is 'raft_term {aka unsigned long long}'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/src/raft/recv.c:148:42: style: Parameter 'r' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:417:22: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:427:26: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:442:22: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:455:22: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:486:22: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:499:26: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:507:18: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:510:25: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:516:25: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:522:2: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:557:18: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:561:25: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:567:25: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:573:2: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:652:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:696:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:777:13: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:777:34: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:777:54: portability: Casting non-zero decimal integer literal to pointer. [intToPointerCast] 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:856:20: style: Condition 'is_a_duplicate(leader,incoming)' is always false [knownConditionTrueFalse] dqlite-1.18.2/src/raft/recv_install_snapshot.c:856:20: note: Calling function 'is_a_duplicate' returns 0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:856:20: note: Condition 'is_a_duplicate(leader,incoming)' is always false 2.18.0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:927:20: style: Condition 'is_a_duplicate(follower,incoming)' is always false [knownConditionTrueFalse] dqlite-1.18.2/src/raft/recv_install_snapshot.c:927:20: note: Calling function 'is_a_duplicate' returns 0 dqlite-1.18.2/src/raft/recv_install_snapshot.c:927:20: note: Condition 'is_a_duplicate(follower,incoming)' is always false 2.18.0 dqlite-1.18.2/src/raft/replication.c:1116:22: style: Variable 'entry' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:1276:22: style: Variable 'entry' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:1648:45: style: Parameter 'r' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:1688:19: style: Variable 'l' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:1720:68: style: Parameter 'snapshot' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:1970:23: style: Variable 'server' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:254:22: style: Variable 'server' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:291:22: style: Variable 'server' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:431:22: style: Variable 'entry' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:439:19: style: Condition 'local_term>0' is always true [knownConditionTrueFalse] dqlite-1.18.2/src/raft/replication.c:438:18: note: Assuming that condition 'local_term==0' is not redundant dqlite-1.18.2/src/raft/replication.c:439:19: note: Condition 'local_term>0' is always true 2.18.0 dqlite-1.18.2/src/raft/replication.c:454:48: style: Parameter 'r' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/replication.c:986:22: style: Variable 'entry' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/tick.c:106:23: style: Variable 'server' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv.c:133:39: style: Parameter 'timer' can be declared as pointer to const. However it seems that 'uvTickTimerCb' is a callback function, if 'timer' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv.c:158:34: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv.c:133:39: note: Parameter 'timer' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv.c:211:45: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvTickTimerCloseCb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv.c:243:39: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv.c:211:45: note: Parameter 'handle' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv.c:262:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable is_open [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/uv.c:306:26: style: Variable 'newer' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv.c:560:3: portability: %lld in format string (no. 1) requires 'long long' but the argument type is 'raft_term {aka unsigned long long}'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/src/raft/uv.c:640:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GRND_NONBLOCK [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/uv.c:79:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_EOF [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/uv_append.c:145:65: style: Parameter 'q' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_append.c:641:45: style: Parameter 'a' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_append.c:799:20: style: Variable 'r' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv_append.c:829:26: style: Variable 'segment' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv_finalize.c:24:41: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvFinalizeWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_finalize.c:123:51: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_finalize.c:24:41: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_finalize.c:27:13: style: Variable 'uv' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv_finalize.c:73:46: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvFinalizeAfterWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_finalize.c:124:7: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_finalize.c:73:46: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_list.c:98:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_EOF [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/uv_metadata.c:32:3: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/src/raft/uv_prepare.c:189:45: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvPrepareAfterWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_prepare.c:167:7: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_prepare.c:189:45: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_prepare.c:266:41: style: Parameter 'uv' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_prepare.c:48:40: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvPrepareWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_prepare.c:166:47: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_prepare.c:48:40: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_prepare.c:51:13: style: Variable 'uv' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv_recv.c:112:42: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvServerAllocCb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_recv.c:341:32: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_recv.c:112:42: note: Parameter 'handle' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_recv.c:170:48: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvServerStreamCloseCb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_recv.c:184:44: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_recv.c:170:48: note: Parameter 'handle' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_recv.c:205:41: style: Parameter 'stream' can be declared as pointer to const. However it seems that 'uvServerReadCb' is a callback function, if 'stream' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_recv.c:341:49: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_recv.c:205:41: note: Parameter 'stream' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_recv.c:292:18: style: Variable 'payload.len' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/src/raft/uv_recv.c:329:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_EOF [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:117:38: style: Parameter 'uv' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:139:25: style: Variable 'segment' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:300:33: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable len [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:368:26: style:inconclusive: Function 'uvSegmentLoadClosed' argument 2 names different: declaration 'segment' definition 'info'. [funcArgNamesDifferent] dqlite-1.18.2/src/raft/uv.h:158:26: note: Function 'uvSegmentLoadClosed' argument 2 names different: declaration 'segment' definition 'info'. dqlite-1.18.2/src/raft/uv_segment.c:368:26: note: Function 'uvSegmentLoadClosed' argument 2 names different: declaration 'segment' definition 'info'. 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:405:3: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:421:4: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:540:3: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:553:5: warning: %u in format string (no. 1) requires 'unsigned int' but the argument type is 'signed int'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:828:45: style: Parameter 'uv' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:828:71: style: Parameter 'info' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:837:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCK_REALTIME [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:85:24: style: Variable 's1' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:888:30: style:inconclusive: Function 'uvSegmentLoadAll' argument 3 names different: declaration 'segments' definition 'infos'. [funcArgNamesDifferent] dqlite-1.18.2/src/raft/uv.h:166:30: note: Function 'uvSegmentLoadAll' argument 3 names different: declaration 'segments' definition 'infos'. dqlite-1.18.2/src/raft/uv_segment.c:888:30: note: Function 'uvSegmentLoadAll' argument 3 names different: declaration 'segments' definition 'infos'. 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:889:15: style:inconclusive: Function 'uvSegmentLoadAll' argument 4 names different: declaration 'n_segments' definition 'n_infos'. [funcArgNamesDifferent] dqlite-1.18.2/src/raft/uv.h:167:15: note: Function 'uvSegmentLoadAll' argument 4 names different: declaration 'n_segments' definition 'n_infos'. dqlite-1.18.2/src/raft/uv_segment.c:889:15: note: Function 'uvSegmentLoadAll' argument 4 names different: declaration 'n_segments' definition 'n_infos'. 2.18.0 dqlite-1.18.2/src/raft/uv_segment.c:996:44: style: Parameter 'uv' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_send.c:148:59: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvClientDisconnectCloseCb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_send.c:171:4: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_send.c:148:59: note: Parameter 'handle' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_send.c:175:46: style: Parameter 'write' can be declared as pointer to const. However it seems that 'uvSendWriteCb' is a callback function, if 'write' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_send.c:220:9: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_send.c:175:46: note: Parameter 'write' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_send.c:192:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_ECANCELED [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/uv_send.c:253:41: style: Parameter 'timer' can be declared as pointer to const. However it seems that 'uvClientTimerCb' is a callback function, if 'timer' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_send.c:361:34: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_send.c:253:41: note: Parameter 'timer' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_send.c:368:54: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvClientTimerCloseCb' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_send.c:402:44: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_send.c:368:54: note: Parameter 'handle' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_send.c:69:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:190:25: style: Variable 's1' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:191:25: style: Variable 's2' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:217:42: style: Parameter 'uv' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:320:42: style: Parameter 'uv' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:412:45: style: Parameter 'uv' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:505:44: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvSnapshotPutWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_snapshot.c:602:7: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_snapshot.c:505:44: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:578:49: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvSnapshotPutAfterWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_snapshot.c:602:28: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_snapshot.c:578:49: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:64:50: style: Parameter 'info' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:715:44: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvSnapshotGetWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_snapshot.c:788:43: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_snapshot.c:715:44: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:72:44: style: Parameter 'uv' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/raft/uv_snapshot.c:746:49: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvSnapshotGetAfterWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_snapshot.c:789:7: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_snapshot.c:746:49: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_timer.c:5:41: style: Parameter 'handle' can be declared as pointer to const. However it seems that 'uvTimerCallback' is a callback function, if 'handle' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_timer.c:29:32: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_timer.c:5:41: note: Parameter 'handle' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_truncate.c:214:34: style:inconclusive: Function 'UvTruncate' argument 2 names different: declaration 'trunc' definition 'orig'. [funcArgNamesDifferent] dqlite-1.18.2/src/raft/uv.h:102:34: note: Function 'UvTruncate' argument 2 names different: declaration 'trunc' definition 'orig'. dqlite-1.18.2/src/raft/uv_truncate.c:214:34: note: Function 'UvTruncate' argument 2 names different: declaration 'trunc' definition 'orig'. 2.18.0 dqlite-1.18.2/src/raft/uv_truncate.c:66:41: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvTruncateWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_truncate.c:202:51: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_truncate.c:66:41: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_work.c:14:38: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvAsyncWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_work.c:60:50: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_work.c:14:38: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/raft/uv_work.c:23:43: style: Parameter 'work' can be declared as pointer to const. However it seems that 'uvAsyncAfterWorkCb' is a callback function, if 'work' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/raft/uv_work.c:61:7: note: You might need to cast the function pointer here dqlite-1.18.2/src/raft/uv_work.c:23:43: note: Parameter 'work' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/tracing.c:16:36: style:inconclusive: Function 'dqliteTracingMaybeEnable' argument 1 names different: declaration 'enabled' definition 'enable'. [funcArgNamesDifferent] dqlite-1.18.2/src/tracing.h:53:60: note: Function 'dqliteTracingMaybeEnable' argument 1 names different: declaration 'enabled' definition 'enable'. dqlite-1.18.2/src/tracing.c:16:36: note: Function 'dqliteTracingMaybeEnable' argument 1 names different: declaration 'enabled' definition 'enable'. 2.18.0 dqlite-1.18.2/src/tracing.c:55:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SYS_gettid [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/tracing.c:68:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CLOCK_REALTIME [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/tracing.c:76:2: warning: %i in format string (no. 13) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] head dqlite-1.18.2/src/utils.h:40:0: error: failed to evaluate #if condition, undefined function-like macro invocation: __has_attribute( ... ) [preprocessorErrorDirective] head dqlite-1.18.2/src/utils.h:40:2: error: failed to evaluate #if condition, undefined function-like macro invocation: __has_attribute( ... ) [preprocessorErrorDirective] 2.18.0 dqlite-1.18.2/src/vfs.c:1040:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIZE_MAX [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:1057:19: style: Variable 'frame' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/vfs.c:109:12: style: Variable 'cur' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/vfs.c:111:12: style: Variable 'end' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/vfs.c:1136:14: portability: 'buf' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer] 2.18.0 dqlite-1.18.2/src/vfs.c:1511:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PROT_READ [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:1559:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SQLITE_SHM_NLOCK [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:1951:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOENT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:2028:35: style: Parameter 'vfs' can be declared as pointer to const. However it seems that 'vfsDelete' is a callback function, if 'vfs' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/src/vfs.c:2216:17: note: You might need to cast the function pointer here dqlite-1.18.2/src/vfs.c:2028:35: note: Parameter 'vfs' can be declared as pointer to const 2.18.0 dqlite-1.18.2/src/vfs.c:2063:22: style: Variable 'database' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/vfs.c:2186:14: style: Variable 'v' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/vfs.c:2233:35: style: Parameter 'vfs' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/vfs.c:2291:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable n_pages [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:231:14: style: Parameter 'salt' can be declared as const array [constParameter] 2.18.0 dqlite-1.18.2/src/vfs.c:2591:20: style: Variable 'frame' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/vfs.c:2833:29: style: Parameter 'vfs' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/vfs.c:283:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable fd [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:2877:42: portability: 'data' is of type 'const void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer] 2.18.0 dqlite-1.18.2/src/vfs.c:290:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SQLITE_SHM_NLOCK [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:2949:22: style: Variable 'database' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/vfs.c:2965:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_RDONLY [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:3031:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_CREAT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:3068:33: style: Parameter 'vfs' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/vfs.c:3112:42: portability: 'data' is of type 'const void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer] 2.18.0 dqlite-1.18.2/src/vfs.c:3149:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIZE_MAX [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:317:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SQLITE_SHM_NLOCK [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:332:40: style: Parameter 's' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/src/vfs.c:335:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:517:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable name [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:645:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIZE_MAX [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:669:17: style: Variable 'shm' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/src/vfs.c:798:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable base_vfs [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/src/vfs.c:888:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOENT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/integration/main.c:3:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_IGN [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/lib/logger.c:11:22: style: Variable 't' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/lib/logger.c:35:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/test/lib/logger.c:41:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/lib/logger.c:9:58: style:inconclusive: Function 'test_logger_emit' argument 3 names different: declaration 'fmt' definition 'format'. [funcArgNamesDifferent] dqlite-1.18.2/test/lib/logger.h:21:58: note: Function 'test_logger_emit' argument 3 names different: declaration 'fmt' definition 'format'. dqlite-1.18.2/test/lib/logger.c:9:58: note: Function 'test_logger_emit' argument 3 names different: declaration 'fmt' definition 'format'. 2.18.0 dqlite-1.18.2/test/lib/runner.h:29:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/fuzzy/test_membership.c:55:5: style: Variable 'new_raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/fuzzy/test_membership.c:79:5: style: Variable 'new_raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/fuzzy/test_replication.c:140:22: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/fuzzy/test_replication.c:160:22: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/main_core.c:3:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_IGN [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/main_uv.c:3:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_IGN [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_apply.c:60:20: style: Variable 'result' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_assign.c:224:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_assign.c:233:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_assign.c:279:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_assign.c:307:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_assign.c:378:23: style: Variable 'f' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/raft/integration/test_assign.c:382:5: style: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/raft/integration/test_assign.c:391:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_assign.c:45:20: style: Variable 'result' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_barrier.c:113:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_barrier.c:53:17: style: Variable 'result' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_barrier.c:91:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable data [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:585:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:592:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:599:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:604:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:627:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:638:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:643:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:653:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:660:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:664:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:674:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:682:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:688:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:722:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:733:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:738:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_election.c:751:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_membership.c:138:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_membership.c:145:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_membership.c:208:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_membership.c:210:5: style: Variable 'raft_' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_membership.c:81:9: style: struct member 'result::status' is never used. [unusedStructMember] 2.18.0 dqlite-1.18.2/test/raft/integration/test_membership.c:82:10: style: struct member 'result::done' is never used. [unusedStructMember] 2.18.0 dqlite-1.18.2/test/raft/integration/test_replication.c:1075:52: style: Parameter 'req' can be declared as pointer to const. However it seems that 'applyAssertStatusCb' is a callback function, if 'req' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/test/raft/integration/test_replication.c:1093:5: note: You might need to cast the function pointer here dqlite-1.18.2/test/raft/integration/test_replication.c:1075:52: note: Parameter 'req' can be declared as pointer to const 2.18.0 dqlite-1.18.2/test/raft/integration/test_replication.c:169:18: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_replication.c:251:5: style: Variable 'new_raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_replication.c:445:23: style: Variable 'f' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/raft/integration/test_replication.c:447:5: style: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/raft/integration/test_snapshot.c:835:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu64 [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_tick.c:117:18: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_tick.c:138:18: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_tick.c:210:18: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_tick.c:247:18: style: Variable 'raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_transfer.c:181:5: style: Variable 'new_raft' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_transfer.c:30:11: style: Variable 'done' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:1004:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:163:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:173:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:188:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:204:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:214:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:226:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:238:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:255:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:276:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:310:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:321:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:338:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:351:23: style: Variable 'f' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:356:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:356:5: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:379:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:396:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:408:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:422:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:432:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:449:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:468:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:490:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:506:23: style: Variable 'f' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:507:23: style: Variable 'ctx' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:513:5: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:515:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:541:23: style: Variable 'f' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:545:5: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:546:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:54:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:556:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:568:23: style: Variable 'f' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:571:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:571:5: style: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:584:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:603:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:64:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:702:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:788:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:871:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:894:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_append.c:976:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_bootstrap.c:58:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:114:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:146:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TMPFS_MAGIC [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:168:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TMPFS_MAGIC [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:185:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:197:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:207:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:222:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:235:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:249:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_init.c:269:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1018:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1041:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1068:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1096:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1124:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1162:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1194:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1213:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1235:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1243:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:1243:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1243:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1260:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1285:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1295:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:1295:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1295:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1314:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1339:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1349:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:1349:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1349:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1371:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1395:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1427:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1463:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1499:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1529:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1563:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1585:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1589:5: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1614:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1632:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1653:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1670:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1686:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1700:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1744:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1758:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:1771:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:387:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:404:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:404:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:404:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:432:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:432:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:432:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:470:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:470:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:470:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:486:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:486:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:486:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:503:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:503:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:503:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:519:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:523:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:523:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:523:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:539:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:542:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:542:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:542:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:562:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:566:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:566:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:566:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:588:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:593:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:593:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:593:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:608:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:613:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:613:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:613:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:635:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:639:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:639:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:639:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:662:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:670:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:670:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:670:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:691:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:711:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:713:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:713:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:713:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:732:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:760:5: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:761:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:796:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:802:5: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:838:5: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:839:5: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:841:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:848:5: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:849:5: warning: %ju in format string (no. 1) requires 'uintmax_t' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:883:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:907:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:926:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:946:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:950:5: error: Null pointer dereference: _expected [nullPointer] dqlite-1.18.2/test/raft/integration/test_uv_load.c:950:5: note: Assignment '_expected=(struct snapshot*)(NULL)', assigned value is 0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:950:5: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:967:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_load.c:994:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recover.c:27:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:243:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:263:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:285:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:300:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:316:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:342:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:356:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:370:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:394:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:411:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:427:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:441:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:455:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_recv.c:469:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:102:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:124:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:141:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:150:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:161:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:170:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:185:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:201:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:212:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:221:52: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable install_snapshot [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:246:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable server_address [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:256:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable server_address [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:271:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:295:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:310:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:321:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:336:21: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_IGN [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:379:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:394:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable type [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_send.c:411:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_set_term.c:123:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:148:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:162:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:178:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:195:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:218:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:235:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:247:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:258:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:274:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:299:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:31:16: style: struct member 'snapshot::index' is never used. [unusedStructMember] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:32:14: style: struct member 'snapshot::data' is never used. [unusedStructMember] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:52:5: style: The comparison 'munit_tmp_a_ == munit_tmp_b_' is always true because 'munit_tmp_a_' and 'munit_tmp_b_' represent the same value. [knownConditionTrueFalse] dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:52:5: note: 'munit_tmp_a_' is assigned value 'snapshot->index' here. dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:52:5: note: 'munit_tmp_b_' is assigned value 'snapshot->index' here. dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:52:5: note: The comparison 'munit_tmp_a_ == munit_tmp_b_' is always true because 'munit_tmp_a_' and 'munit_tmp_b_' represent the same value. 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:52:5: style:inconclusive: Same expression used in consecutive assignments of 'munit_tmp_a_' and 'munit_tmp_b_'. [duplicateAssignExpression] dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:52:5: note: Same expression used in consecutive assignments of 'munit_tmp_a_' and 'munit_tmp_b_'. dqlite-1.18.2/test/raft/integration/test_uv_snapshot_put.c:52:5: note: Same expression used in consecutive assignments of 'munit_tmp_a_' and 'munit_tmp_b_'. 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:142:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:161:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:180:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:190:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:201:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:213:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:222:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:250:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:250:5: style: Checking if unsigned expression 'i__' is less than zero. [unsignedLessThanZero] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:259:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:275:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:304:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:325:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_connect.c:352:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:109:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:136:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:213:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:249:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:265:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:310:31: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EAI_FAIL [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:320:30: warning: The 2nd memset() argument '999' doesn't fit into an 'unsigned char'. [memsetValueOutOfRange] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:323:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:344:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:371:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_NOWAIT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:395:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_tcp_listen.c:413:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_timer.c:104:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_timer.c:39:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_timer.c:70:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_timer.c:87:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate.c:108:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate.c:189:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate.c:200:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate.c:212:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate.c:231:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate.c:252:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate.c:271:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate.c:295:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate_snapshot.c:116:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate_snapshot.c:238:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_truncate_snapshot.c:36:11: style: struct member 'result::data' is never used. [unusedStructMember] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_work.c:101:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_work.c:48:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/integration/test_uv_work.c:58:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/main_core.c:3:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_IGN [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/main_uv.c:3:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_IGN [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_byte.c:158:13: style: Variable 'garbage' can be declared as const array [constVariable] 2.18.0 dqlite-1.18.2/test/raft/unit/test_flags.c:24:21: style: Variable 'flag' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/raft/unit/test_flags.c:44:9: style: Variable 'positions' can be declared as const array [constVariable] 2.18.0 dqlite-1.18.2/test/raft/unit/test_flags.c:75:9: style: Variable 'positions' can be declared as const array [constVariable] 2.18.0 dqlite-1.18.2/test/raft/unit/test_log.c:182:21: style: Variable 'f' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/unit/test_log.c:238:21: style: Variable 'f' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/unit/test_log.c:294:21: style: Variable 'f' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/unit/test_log.c:321:21: style: Variable 'f' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/unit/test_log.c:397:21: style: Variable 'f' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/unit/test_log.c:585:5: style: int result is assigned to long variable. If the variable is long to avoid loss of information, then you have loss of information. [truncLongCastAssignment] 2.18.0 dqlite-1.18.2/test/raft/unit/test_log.c:763:5: style: int result is assigned to long variable. If the variable is long to avoid loss of information, then you have loss of information. [truncLongCastAssignment] 2.18.0 dqlite-1.18.2/test/raft/unit/test_log.c:765:5: style: int result is assigned to long variable. If the variable is long to avoid loss of information, then you have loss of information. [truncLongCastAssignment] 2.18.0 dqlite-1.18.2/test/raft/unit/test_log.c:946:5: style: int result is assigned to long variable. If the variable is long to avoid loss of information, then you have loss of information. [truncLongCastAssignment] 2.18.0 dqlite-1.18.2/test/raft/unit/test_queue.c:252:22: style: Variable 'item' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:17:39: style: Parameter 'user_data' can be declared as pointer to const. However it seems that 'set_up' is a callback function, if 'user_data' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/test/raft/unit/test_snapshot.c:334:1: note: You might need to cast the function pointer here dqlite-1.18.2/test/raft/unit/test_snapshot.c:17:39: note: Parameter 'user_data' can be declared as pointer to const 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:183:24: style: Parameter 'payload' can be declared as pointer to const. However it seems that 'ut_sender_send_op' is a callback function, if 'payload' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/test/raft/unit/test_snapshot.c:341:18: note: You might need to cast the function pointer here dqlite-1.18.2/test/raft/unit/test_snapshot.c:183:24: note: Parameter 'payload' can be declared as pointer to const 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:461:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_DEFAULT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:468:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_NOWAIT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:481:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_NOWAIT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:494:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_NOWAIT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:584:48: style: Parameter 'req' can be declared as pointer to const. However it seems that 'uv_sender_send_after_cb' is a callback function, if 'req' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/test/raft/unit/test_snapshot.c:609:60: note: You might need to cast the function pointer here dqlite-1.18.2/test/raft/unit/test_snapshot.c:584:48: note: Parameter 'req' can be declared as pointer to const 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:591:24: style: Parameter 'payload' can be declared as pointer to const. However it seems that 'uv_sender_send_op' is a callback function, if 'payload' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/test/raft/unit/test_snapshot.c:707:18: note: You might need to cast the function pointer here dqlite-1.18.2/test/raft/unit/test_snapshot.c:591:24: note: Parameter 'payload' can be declared as pointer to const 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:603:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable s [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:633:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ops [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_snapshot.c:718:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ops [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_fs.c:50:10: style: Variable 'dir' can be declared as const array [constVariable] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_fs.c:52:54: error: Uninitialized variable: dir [uninitvar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:201:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable O_WRONLY [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:215:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:236:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:275:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:285:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:296:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:307:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:317:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:330:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:362:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:380:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/raft/unit/test_uv_writer.c:389:5: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_ONCE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/test_error.c:215:2: error: Return value of allocation function 'open' is not stored. [leakReturnValNotUsed] 2.18.0 dqlite-1.18.2/test/test_error.c:239:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_EBUSY [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/test_error.c:294:23: style: Variable 'error' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/test_error.c:301:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/test_error.c:330:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_EOF [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/test_error.c:343:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_ECONNRESET [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/ext/test_uv.c:184:50: style: Parameter 'stream' can be declared as pointer to const. However it seems that 'test_read_sync__read_cb' is a callback function, if 'stream' is declared with const you might also need to cast function pointer(s). [constParameterCallback] dqlite-1.18.2/test/unit/ext/test_uv.c:219:7: note: You might need to cast the function pointer here dqlite-1.18.2/test/unit/ext/test_uv.c:184:50: note: Parameter 'stream' can be declared as pointer to const 2.18.0 dqlite-1.18.2/test/unit/ext/test_uv.c:221:5: style: Variable 'rv' is reassigned a value before the old one has been used. [redundantAssignment] dqlite-1.18.2/test/unit/ext/test_uv.c:218:5: note: rv is assigned dqlite-1.18.2/test/unit/ext/test_uv.c:221:5: note: rv is overwritten 2.18.0 dqlite-1.18.2/test/unit/ext/test_uv.c:226:2: error: Uninitialized variable: read_cb_called [uninitvar] 2.18.0 dqlite-1.18.2/test/unit/ext/test_uv_pool.c:109:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UV_RUN_DEFAULT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_addr.c:45:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_addr.c:53:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_addr.c:61:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET6 [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_addr.c:69:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_INET6 [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_addr.c:77:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_UNIX [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_addr.c:85:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable AF_UNIX [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_buffer.c:73:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _SC_PAGESIZE [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_byte.c:108:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu32 [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_byte.c:93:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu16 [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/lib/test_registry.c:20:2: warning: Either the condition 'i!=NULL' is redundant or there is possible null pointer dereference: i. [nullPointerRedundantCheck] dqlite-1.18.2/test/unit/lib/test_registry.c:18:2: note: Assuming that condition 'i!=NULL' is not redundant dqlite-1.18.2/test/unit/lib/test_registry.c:20:2: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/unit/lib/test_registry.c:21:3: warning: Either the condition 'i!=NULL' is redundant or there is possible null pointer dereference: i. [nullPointerRedundantCheck] dqlite-1.18.2/test/unit/lib/test_registry.c:18:2: note: Assuming that condition 'i!=NULL' is not redundant dqlite-1.18.2/test/unit/lib/test_registry.c:21:3: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/unit/lib/test_registry.c:27:2: warning: Either the condition 'i!=NULL' is redundant or there is possible null pointer dereference: i. [nullPointerRedundantCheck] dqlite-1.18.2/test/unit/lib/test_registry.c:26:2: note: Assuming that condition 'i!=NULL' is not redundant dqlite-1.18.2/test/unit/lib/test_registry.c:27:2: note: Null pointer dereference 2.18.0 dqlite-1.18.2/test/unit/lib/test_registry.c:32:53: style: Parameter 'i' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/test/unit/main.c:3:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SIG_IGN [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:140:2: style: struct member 'init_fixture::stmt' is never used. [unusedStructMember] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:149:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:166:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:209:23: style: Variable 'f' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:217:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:234:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:248:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:262:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:278:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:299:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:317:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:338:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:383:2: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:419:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_replication.c:467:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable conn [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_sm.c:100:16: style: Variable 'sm.sm_trigger' is reassigned a value before the old one has been used. [redundantAssignment] dqlite-1.18.2/test/unit/test_sm.c:95:16: note: sm.sm_trigger is assigned dqlite-1.18.2/test/unit/test_sm.c:100:16: note: sm.sm_trigger is overwritten 2.18.0 dqlite-1.18.2/test/unit/test_sm.c:103:16: style: Variable 'sm.sm_trigger' is reassigned a value before the old one has been used. [redundantAssignment] dqlite-1.18.2/test/unit/test_sm.c:100:16: note: sm.sm_trigger is assigned dqlite-1.18.2/test/unit/test_sm.c:103:16: note: sm.sm_trigger is overwritten 2.18.0 dqlite-1.18.2/test/unit/test_sm.c:106:16: style: Variable 'sm.sm_trigger' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/unit/test_sm.c:106:16: style: Variable 'sm.sm_trigger' is reassigned a value before the old one has been used. [redundantAssignment] dqlite-1.18.2/test/unit/test_sm.c:103:16: note: sm.sm_trigger is assigned dqlite-1.18.2/test/unit/test_sm.c:106:16: note: sm.sm_trigger is overwritten 2.18.0 dqlite-1.18.2/test/unit/test_vfs.c:1474:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/unit/test_vfs.c:1482:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable PRIu32 [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_vfs.c:1584:2: style:inconclusive: Statements following 'return' will never be executed. [unreachableCode] 2.18.0 dqlite-1.18.2/test/unit/test_vfs.c:1623:5: style: Variable 'rv' is reassigned a value before the old one has been used. [redundantAssignment] dqlite-1.18.2/test/unit/test_vfs.c:1607:5: note: rv is assigned dqlite-1.18.2/test/unit/test_vfs.c:1623:5: note: rv is overwritten 2.18.0 dqlite-1.18.2/test/unit/test_vfs.c:255:12: style: Variable 'idx' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/unit/test_vfs.c:334:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EEXIST [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_vfs.c:37:50: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/test/unit/test_vfs.c:395:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOENT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_vfs.c:589:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOENT [valueFlowBailoutIncompleteVar] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:104:12: style: Parameter 'vfs' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:105:12: style: Parameter 'filename' can be declared as pointer to const [constParameterPointer] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:109:8: style: Variable 'dir' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1488:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1534:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1553:11: style: Variable 'page' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1554:10: style: Variable 'page_size' can be declared as const array [constVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1555:10: style: Variable 'database_size' can be declared as const array [constVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1560:2: style: Variable 'snapshot.main_size' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1560:2: style: Variable 'snapshot.wal_size' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1595:2: style: Variable 'snapshot.main_size' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1595:2: style: Variable 'snapshot.wal_size' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1630:11: style: Variable 'page' can be declared as pointer to const [constVariablePointer] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1631:10: style: Variable 'page_size' can be declared as const array [constVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1632:10: style: Variable 'database_size' can be declared as const array [constVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1645:2: style: Variable 'snapshot.main_size' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:1645:2: style: Variable 'snapshot.wal_size' is assigned a value that is never used. [unreadVariable] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:528:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:534:3: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] 2.18.0 dqlite-1.18.2/test/unit/test_vfs_extra.c:534:3: warning: %d in format string (no. 2) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] DONE