2025-07-29 06:03 ftp://ftp.de.debian.org/debian/pool/main/s/spl-linux/spl-linux_0.7.12.orig.tar.gz cppcheck-options: --library=posix --library=gnu --library=bsd --library=bsd --inconclusive --enable=style,information --inline-suppr --template=daca2 --disable=missingInclude --suppress=unmatchedSuppression --check-library --debug-warnings --suppress=autoNoType --suppress=valueFlowBailout --suppress=bailoutUninitVar --suppress=symbolDatabaseWarning --suppress=normalCheckLevelConditionExpressions -D__GNUC__ --platform=unix64 -j1 platform: Linux-6.8.0-64-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: 55e2dc6 (2025-07-24 17:37:42 +0200) count: 314 314 elapsed-time: 5.7 6.3 head-timing-info: old-timing-info: head results: spl-0.7.12/cmd/splat/splat.c:71:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:124:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:186:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:235:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:306:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:333:44: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_NAME_SIZE [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:363:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:408:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:454:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:485:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:623:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:657:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_CFG_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:678:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_CFG_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:700:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:715:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stderr [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:777:8: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:811:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable stdout [valueFlowBailoutIncompleteVar] spl-0.7.12/cmd/splat/splat.c:88:50: style: Parameter 'desc' can be declared as pointer to const [constParameterPointer] spl-0.7.12/cmd/splat/splat.c:205:58: style: Parameter 'desc' can be declared as pointer to const [constParameterPointer] spl-0.7.12/cmd/splat/splat.c:301:10: style: Variable 'test' can be declared as pointer to const [constVariablePointer] spl-0.7.12/cmd/splat/splat.c:314:32: style: Parameter 'sub_str' can be declared as pointer to const [constParameterPointer] spl-0.7.12/cmd/splat/splat.c:314:47: style: Parameter 'test_str' can be declared as pointer to const [constParameterPointer] spl-0.7.12/cmd/splat/splat.c:397:33: style: Parameter 'args' can be declared as pointer to const [constParameterPointer] spl-0.7.12/lib/list.c:799:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable errno [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-condvar.c:73:24: error: syntax error [syntaxError] spl-0.7.12/module/spl/spl-cred.c:88:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable NGROUPS_PER_BLOCK [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-cred.c:77:21: style: Variable 'gi' can be declared as pointer to const [constVariablePointer] spl-0.7.12/module/spl/spl-cred.c:123:21: style: Variable 'gi' can be declared as pointer to const [constVariablePointer] spl-0.7.12/module/spl/spl-err.c:52:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable dumpstack_ratelimit_state [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-err.c:63:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAXMSGLEN [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-err.c:96:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAXMSGLEN [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-generic.c:604:15: error: syntax error [syntaxError] spl-0.7.12/module/spl/spl-kmem-cache.c:940:17: error: syntax error [syntaxError] spl-0.7.12/module/spl/spl-kmem.c:85:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_SLEEP [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kmem.c:101:39: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_SLEEP [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kmem.c:126:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_SLEEP [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kmem.c:163:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_VMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kmem.c:411:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_PUBLIC_MASK [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kmem.c:426:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_PUBLIC_MASK [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kobj.c:36:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _buf_t [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kobj.c:64:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UIO_READ [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kobj.c:84:10: warning: Identical condition and return expression 'rc', return value is always 0 [identicalConditionAfterEarlyExit] spl-0.7.12/module/spl/spl-kobj.c:79:6: note: If condition 'rc' is true, the function will return/exit spl-0.7.12/module/spl/spl-kobj.c:84:10: note: Returning identical expression 'rc' spl-0.7.12/module/spl/spl-kobj.c:40:10: style: Variable 'rc' is assigned a value that is never used. [unreadVariable] spl-0.7.12/module/spl/spl-kstat.c:43:29: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KSTAT_RAW_MAX [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:125:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KS_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:251:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KSTAT_INTR_HARD [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:293:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KS_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:335:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KSTAT_WRITE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:354:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kstat_named_t [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:377:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KS_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:405:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KS_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:418:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KS_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:438:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ksm_module_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:452:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable proc_spl_kstat [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:470:38: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable proc_spl_kstat [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:499:26: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KS_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:543:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KSTAT_TYPE_INTR [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:632:53: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ks_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:657:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable CE_WARN [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:709:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KSTAT_FLAG_VIRTUAL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-kstat.c:488:10: warning: Identical condition and return expression 'rc', return value is always 0 [identicalConditionAfterEarlyExit] spl-0.7.12/module/spl/spl-kstat.c:482:6: note: If condition 'rc' is true, the function will return/exit spl-0.7.12/module/spl/spl-kstat.c:488:10: note: Returning identical expression 'rc' spl-0.7.12/module/spl/spl-kstat.c:331:31: style: Parameter 'ksp' can be declared as pointer to const. However it seems that 'kstat_default_update' is a callback function, if 'ksp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-kstat.c:568:19: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-kstat.c:331:31: note: Parameter 'ksp' can be declared as pointer to const spl-0.7.12/module/spl/spl-kstat.c:373:45: style: Parameter 'pos' can be declared as pointer to const. However it seems that 'kstat_seq_start' is a callback function, if 'pos' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-kstat.c:428:11: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-kstat.c:373:45: note: Parameter 'pos' can be declared as pointer to const spl-0.7.12/module/spl/spl-kstat.c:434:25: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] spl-0.7.12/module/spl/spl-kstat.c:492:31: style: Parameter 'filp' can be declared as pointer to const. However it seems that 'proc_kstat_write' is a callback function, if 'filp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-kstat.c:514:12: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-kstat.c:492:31: note: Parameter 'filp' can be declared as pointer to const spl-0.7.12/module/spl/spl-proc.c:64:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:99:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EFAULT [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:150:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable proc_dointvec [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:204:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable spl_hostid [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:306:49: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable tqt_active_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:377:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable B_TRUE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:383:36: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable B_FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:392:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable tq_list_sem [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:412:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable tq_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:438:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SKC_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:476:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable spl_kmem_cache_sem [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:496:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable spl_kmem_cache_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:503:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable spl_kmem_cache_sem [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:529:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable tq_list_sem [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:716:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EUNATCH [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-proc.c:307:10: style: Condition 'j==0' is always true [knownConditionTrueFalse] spl-0.7.12/module/spl/spl-proc.c:305:7: note: Assignment 'j=0', assigned value is 0 spl-0.7.12/module/spl/spl-proc.c:307:10: note: Condition 'j==0' is always true spl-0.7.12/module/spl/spl-proc.c:341:12: style: Condition 'j==0' is always true [knownConditionTrueFalse] spl-0.7.12/module/spl/spl-proc.c:325:8: note: Assignment 'j=0', assigned value is 0 spl-0.7.12/module/spl/spl-proc.c:341:12: note: Condition 'j==0' is always true spl-0.7.12/module/spl/spl-proc.c:353:12: style: Condition 'j==0' is always true [knownConditionTrueFalse] spl-0.7.12/module/spl/spl-proc.c:325:8: note: Assignment 'j=0', assigned value is 0 spl-0.7.12/module/spl/spl-proc.c:353:12: note: Condition 'j==0' is always true spl-0.7.12/module/spl/spl-proc.c:328:11: style: Checking if unsigned expression 'spl_max_show_tasks' is less than zero. [unsignedLessThanZero] spl-0.7.12/module/spl/spl-proc.c:325:8: note: Assignment 'j=0', assigned value is 0 spl-0.7.12/module/spl/spl-proc.c:328:11: note: Unsigned less than zero spl-0.7.12/module/spl/spl-proc.c:141:31: style: Parameter 'table' can be declared as pointer to const. However it seems that 'proc_doslab' is a callback function, if 'table' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-proc.c:647:20: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-proc.c:141:31: note: Parameter 'table' can be declared as pointer to const spl-0.7.12/module/spl/spl-proc.c:387:45: style: Parameter 'pos' can be declared as pointer to const. However it seems that 'taskq_seq_start' is a callback function, if 'pos' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-proc.c:541:11: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-proc.c:387:45: note: Parameter 'pos' can be declared as pointer to const spl-0.7.12/module/spl/spl-proc.c:471:44: style: Parameter 'pos' can be declared as pointer to const. However it seems that 'slab_seq_start' is a callback function, if 'pos' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-proc.c:508:11: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-proc.c:471:44: note: Parameter 'pos' can be declared as pointer to const spl-0.7.12/module/spl/spl-rwlock.c:100:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable val [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-rwlock.c:111:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable _RET_IP_ [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-taskq.c:524:29: error: syntax error [syntaxError] spl-0.7.12/module/spl/spl-thread.c:52:25: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TP_MAGIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-thread.c:92:42: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_PUSHPAGE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-thread.c:141:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TASK_COMM_LEN [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-tsd.c:164:43: error: syntax error [syntaxError] spl-0.7.12/module/spl/spl-vmem.c:56:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VMEM_ALLOC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vmem.c:82:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_PUBLIC_MASK [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vmem.c:99:19: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_PUBLIC_MASK [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:46:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VREG [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:73:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable VREG [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:130:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FWRITE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:199:45: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_SLEEP [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:219:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UIO_WRITE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:271:34: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAXOFFSET_T [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:328:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FDSYNC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:350:14: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOPNOTSUPP [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:443:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vn_file_lock [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:541:24: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable current [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:554:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vn_file_lock [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:617:46: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable MAY_EXEC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:673:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vn_file_lock [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:692:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable vn_file_lock [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-vnode.c:702:13: style: Condition 'leaked>0' is always true [knownConditionTrueFalse] spl-0.7.12/module/spl/spl-vnode.c:690:15: note: Assignment 'leaked=0', assigned value is 0 spl-0.7.12/module/spl/spl-vnode.c:697:3: note: leaked is incremented', new value is 1 spl-0.7.12/module/spl/spl-vnode.c:702:13: note: Condition 'leaked>0' is always true spl-0.7.12/module/spl/spl-vnode.c:191:47: style: Parameter 'vp' can be declared as pointer to const. However it seems that 'vn_openat' is a callback function, if 'vp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-vnode.c:209:15: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-vnode.c:191:47: note: Parameter 'vp' can be declared as pointer to const spl-0.7.12/module/spl/spl-vnode.c:212:32: style: Parameter 'vp' can be declared as pointer to const. However it seems that 'vn_rdwr' is a callback function, if 'vp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-vnode.c:245:15: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-vnode.c:212:32: note: Parameter 'vp' can be declared as pointer to const spl-0.7.12/module/spl/spl-vnode.c:269:18: style: Parameter 'vp' can be declared as pointer to const. However it seems that 'vn_seek' is a callback function, if 'vp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-vnode.c:273:15: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-vnode.c:269:18: note: Parameter 'vp' can be declared as pointer to const spl-0.7.12/module/spl/spl-vnode.c:269:47: style: Parameter 'noffp' can be declared as pointer to const. However it seems that 'vn_seek' is a callback function, if 'noffp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-vnode.c:273:15: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-vnode.c:269:47: note: Parameter 'noffp' can be declared as pointer to const spl-0.7.12/module/spl/spl-vnode.c:269:60: style: Parameter 'ct' can be declared as pointer to const. However it seems that 'vn_seek' is a callback function, if 'ct' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-vnode.c:273:15: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-vnode.c:269:60: note: Parameter 'ct' can be declared as pointer to const spl-0.7.12/module/spl/spl-vnode.c:347:50: style: Parameter 'bfp' can be declared as pointer to const. However it seems that 'vn_space' is a callback function, if 'bfp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-vnode.c:412:15: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-vnode.c:347:50: note: Parameter 'bfp' can be declared as pointer to const spl-0.7.12/module/spl/spl-vnode.c:416:39: style: Parameter 'task' can be declared as pointer to const [constParameterPointer] spl-0.7.12/module/spl/spl-xdr.c:165:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable XDR_GET_BYTES_AVAIL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:181:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:210:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:237:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:250:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:278:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:309:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:342:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable u_longlong_t [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:355:23: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable u_longlong_t [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:375:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:394:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:440:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:454:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-xdr.c:161:21: style: Parameter 'xdrs' can be declared as pointer to const. However it seems that 'xdrmem_control' is a callback function, if 'xdrs' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-xdr.c:505:18: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-xdr.c:161:21: note: Parameter 'xdrs' can be declared as pointer to const spl-0.7.12/module/spl/spl-xdr.c:294:46: style: Parameter 'usp' can be declared as pointer to const. However it seems that 'xdrmem_enc_ushort' is a callback function, if 'usp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-xdr.c:496:18: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-xdr.c:294:46: note: Parameter 'usp' can be declared as pointer to const spl-0.7.12/module/spl/spl-xdr.c:324:38: style: Parameter 'up' can be declared as pointer to const. However it seems that 'xdrmem_enc_uint' is a callback function, if 'up' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-xdr.c:497:16: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-xdr.c:324:38: note: Parameter 'up' can be declared as pointer to const spl-0.7.12/module/spl/spl-xdr.c:340:47: style: Parameter 'ullp' can be declared as pointer to const. However it seems that 'xdrmem_enc_ulonglong' is a callback function, if 'ullp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-xdr.c:498:22: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-xdr.c:340:47: note: Parameter 'ullp' can be declared as pointer to const spl-0.7.12/module/spl/spl-xdr.c:368:35: style: Parameter 'arrp' can be declared as pointer to const. However it seems that 'xdr_enc_array' is a callback function, if 'arrp' is declared with const you might also need to cast function pointer(s). [constParameterCallback] spl-0.7.12/module/spl/spl-xdr.c:501:16: note: You might need to cast the function pointer here spl-0.7.12/module/spl/spl-xdr.c:368:35: note: Parameter 'arrp' can be declared as pointer to const spl-0.7.12/module/spl/spl-zlib.c:76:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable __GFP_FS [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-zlib.c:106:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uInt [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-zlib.c:160:22: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable uInt [valueFlowBailoutIncompleteVar] spl-0.7.12/module/spl/spl-zlib.c:206:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KMC_NOEMERGENCY [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-atomic.c:81:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-atomic.c:162:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ESRCH [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-atomic.c:203:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-atomic.c:232:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_ATOMIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-atomic.c:134:40: style: Parameter 'ap' can be declared as pointer to const [constParameterPointer] spl-0.7.12/module/splat/splat-atomic.c:144:13: style: Variable 'thr' can be declared as pointer to const [constVariablePointer] spl-0.7.12/module/splat/splat-condvar.c:82:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-condvar.c:139:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-condvar.c:206:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-condvar.c:232:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-condvar.c:300:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-condvar.c:376:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-condvar.c:423:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-condvar.c:469:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-condvar.c:510:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_CONDVAR [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-cred.c:74:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-cred.c:115:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable kcred [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-cred.c:194:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-cred.c:261:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-cred.c:298:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_CRED [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-cred.c:244:7: style: Local variable 'i' shadows outer variable [shadowVariable] spl-0.7.12/module/splat/splat-cred.c:180:6: note: Shadowed declaration spl-0.7.12/module/splat/splat-cred.c:244:7: note: Shadow variable spl-0.7.12/module/splat/splat-cred.c:54:26: style: Variable 'groups' can be declared as pointer to const [constVariablePointer] spl-0.7.12/module/splat/splat-cred.c:112:26: style: Variable 'groups' can be declared as pointer to const [constVariablePointer] spl-0.7.12/module/splat/splat-ctl.c:66:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:134:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:164:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable subsystem_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:182:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable subsystem_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:208:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable splat_user_t [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:251:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EINVAL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:277:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EINVAL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:324:54: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable test_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:343:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EBADMSG [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:408:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EINVAL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:456:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOTTY [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:500:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EFBIG [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:540:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EFAULT [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:554:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EINVAL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:608:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KERN_ERR [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:624:57: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable subsystem_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:647:40: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:670:55: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable test_list [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:711:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KERN_INFO [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:743:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KERN_INFO [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-ctl.c:632:11: style: Condition 'flag==0' is always true [knownConditionTrueFalse] spl-0.7.12/module/splat/splat-ctl.c:620:17: note: Assignment 'flag=0', assigned value is 0 spl-0.7.12/module/splat/splat-ctl.c:625:20: note: Assuming condition is false spl-0.7.12/module/splat/splat-ctl.c:632:11: note: Condition 'flag==0' is always true spl-0.7.12/module/splat/splat-ctl.c:680:11: style: Condition 'flag==0' is always true [knownConditionTrueFalse] spl-0.7.12/module/splat/splat-ctl.c:667:13: note: Assignment 'flag=0', assigned value is 0 spl-0.7.12/module/splat/splat-ctl.c:671:21: note: Assuming condition is false spl-0.7.12/module/splat/splat-ctl.c:680:11: note: Condition 'flag==0' is always true spl-0.7.12/module/splat/splat-ctl.c:466:4: warning: %d in format string (no. 1) requires 'int' but the argument type is 'unsigned int'. [invalidPrintfArgType_sint] spl-0.7.12/module/splat/splat-ctl.c:439:6: style: Redundant initialization for 'rc'. The initialized value is overwritten before it is read. [redundantInitialization] spl-0.7.12/module/splat/splat-ctl.c:408:9: note: rc is initialized spl-0.7.12/module/splat/splat-ctl.c:439:6: note: rc is overwritten spl-0.7.12/module/splat/splat-ctl.c:167:11: error: Uninitialized variables: sub.subsystem_list, sub.desc, sub.test_lock, sub.test_list [uninitvar] spl-0.7.12/module/splat/splat-generic.c:83:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-generic.c:84:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-generic.c:85:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-generic.c:86:1: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-generic.c:222:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-generic.c:279:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-generic.c:320:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-generic.c:366:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_GENERIC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-generic.c:83:1: warning: %lld in format string (no. 7) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint] spl-0.7.12/module/splat/splat-generic.c:84:1: warning: %lld in format string (no. 7) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint] spl-0.7.12/module/splat/splat-generic.c:85:1: warning: %lld in format string (no. 7) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint] spl-0.7.12/module/splat/splat-generic.c:86:1: warning: %lld in format string (no. 7) requires 'long long' but the argument type is 'unsigned long long'. [invalidPrintfArgType_sint] spl-0.7.12/module/splat/splat-generic.c:232:5: warning: %llx in format string (no. 3) requires 'unsigned long long' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] spl-0.7.12/module/splat/splat-generic.c:232:5: warning: %llx in format string (no. 4) requires 'unsigned long long' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] spl-0.7.12/module/splat/splat-generic.c:232:5: warning: %llx in format string (no. 5) requires 'unsigned long long' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] spl-0.7.12/module/splat/splat-generic.c:232:5: warning: %llx in format string (no. 6) requires 'unsigned long long' but the argument type is 'unsigned long'. [invalidPrintfArgType_uint] spl-0.7.12/module/splat/splat-generic.c:293:6: warning: %llx in format string (no. 3) requires 'unsigned long long' but the argument type is 'signed long'. [invalidPrintfArgType_uint] spl-0.7.12/module/splat/splat-generic.c:293:6: warning: %llx in format string (no. 4) requires 'unsigned long long' but the argument type is 'signed long'. [invalidPrintfArgType_uint] spl-0.7.12/module/splat/splat-generic.c:293:6: warning: %llx in format string (no. 5) requires 'unsigned long long' but the argument type is 'signed long'. [invalidPrintfArgType_uint] spl-0.7.12/module/splat/splat-generic.c:293:6: warning: %llx in format string (no. 6) requires 'unsigned long long' but the argument type is 'signed long'. [invalidPrintfArgType_uint] spl-0.7.12/module/splat/splat-kmem.c:328:16: error: syntax error [syntaxError] spl-0.7.12/module/splat/splat-kobj.c:50:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-kobj.c:72:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-kobj.c:131:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-kobj.c:165:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_KOBJ [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-linux.c:70:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-linux.c:127:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UMH_WAIT_PROC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-linux.c:148:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EINVAL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-linux.c:207:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-linux.c:236:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_LINUX [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:77:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:118:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EIDRM [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:133:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:177:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:221:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:266:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:311:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:367:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:425:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-list.c:474:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_LIST [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-mutex.c:75:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EBUSY [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-mutex.c:87:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-mutex.c:180:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TASK_INTERRUPTIBLE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-mutex.c:195:51: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-mutex.c:273:58: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable defclsyspri [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-mutex.c:366:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-mutex.c:408:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-mutex.c:446:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_MUTEX [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-mutex.c:182:26: style: Condition 'mp->mp_rc==rc' is always true [knownConditionTrueFalse] spl-0.7.12/module/splat/splat-mutex.c:179:12: note: rc is assigned 'mp->mp_rc' here. spl-0.7.12/module/splat/splat-mutex.c:182:26: note: Condition 'mp->mp_rc==rc' is always true spl-0.7.12/module/splat/splat-mutex.c:182:26: style: Argument 'mp->mp_rc==rc' to function VERIFY is always 1. It does not matter what value 'mp_rc' has. [knownArgument] spl-0.7.12/module/splat/splat-mutex.c:179:12: note: rc is assigned 'mp->mp_rc' here. spl-0.7.12/module/splat/splat-mutex.c:182:26: note: Argument 'mp->mp_rc==rc' to function VERIFY is always 1. It does not matter what value 'mp_rc' has. spl-0.7.12/module/splat/splat-mutex.c:352:20: style: Variable 'owner' can be declared as pointer to const [constVariablePointer] spl-0.7.12/module/splat/splat-random.c:57:47: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-random.c:99:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-random.c:129:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_KRNG [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:132:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:181:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:221:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:322:28: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable RW_WRITER [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:338:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:427:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:453:17: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EBUSY [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:478:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EINVAL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:516:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:563:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EINVAL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:604:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:651:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:700:30: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:746:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_RWLOCK [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-rwlock.c:326:20: style: Condition 'rwp->rw_rc==rc' is always true [knownConditionTrueFalse] spl-0.7.12/module/splat/splat-rwlock.c:323:5: note: rc is assigned 'rwp->rw_rc' here. spl-0.7.12/module/splat/splat-rwlock.c:326:20: note: Condition 'rwp->rw_rc==rc' is always true spl-0.7.12/module/splat/splat-rwlock.c:326:20: style: Argument 'rwp->rw_rc==rc' to function VERIFY is always 1. It does not matter what value 'rw_rc' has. [knownArgument] spl-0.7.12/module/splat/splat-rwlock.c:323:5: note: rc is assigned 'rwp->rw_rc' here. spl-0.7.12/module/splat/splat-rwlock.c:326:20: note: Argument 'rwp->rw_rc==rc' to function VERIFY is always 1. It does not matter what value 'rw_rc' has. spl-0.7.12/module/splat/splat-taskq.c:116:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:130:27: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable taskq_ent_t [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:189:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable B_FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:210:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:224:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:244:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:380:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable B_FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:401:50: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_SLEEP [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:449:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable B_FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:488:43: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:580:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable B_FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:650:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:667:4: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:708:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_SLEEP [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:787:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable B_FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:839:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:869:59: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable KM_SLEEP [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:949:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable B_FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:971:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:1004:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:1059:41: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable B_FALSE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:1092:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:1175:18: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TASKQ_PREPOPULATE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:1204:2: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:1301:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:1460:6: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable TASKQ_PREPOPULATE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:1488:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:1547:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_TASKQ [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-taskq.c:661:56: style: Parameter 'order' can be declared as pointer to const [constParameterPointer] spl-0.7.12/module/splat/splat-thread.c:120:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ESRCH [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-thread.c:169:11: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ESRCH [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-thread.c:204:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EINVAL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-thread.c:290:10: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-thread.c:354:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-thread.c:389:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_THREAD [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-thread.c:107:13: style: Variable 'thr' can be declared as pointer to const [constVariablePointer] spl-0.7.12/module/splat/splat-thread.c:155:13: style: Variable 'thr' can be declared as pointer to const [constVariablePointer] spl-0.7.12/module/splat/splat-time.c:46:13: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable hz [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-time.c:58:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-time.c:84:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-time.c:118:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_TIME [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-vnode.c:74:48: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable UMH_WAIT_PROC [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-vnode.c:112:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-vnode.c:140:32: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable rootdir [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-vnode.c:174:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FREAD [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-vnode.c:230:3: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable EOVERFLOW [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-vnode.c:273:15: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable FCREAT [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-vnode.c:311:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-vnode.c:354:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_VNODE [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-vnode.c:61:28: style: Parameter 'name' can be declared as pointer to const [constParameterPointer] spl-0.7.12/module/splat/splat-zlib.c:54:12: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable Z_OK [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-zlib.c:93:9: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable ENOMEM [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-zlib.c:135:37: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable GFP_KERNEL [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-zlib.c:165:16: debug: valueFlowConditionExpressions bailout: Skipping function due to incomplete variable SPLAT_SUBSYSTEM_ZLIB [valueFlowBailoutIncompleteVar] spl-0.7.12/module/splat/splat-zlib.c:112:14: portability: 'src' is of type 'void *'. When using void pointers in calculations, the behaviour is undefined. [arithOperationsOnVoidPointer] diff: DONE