Index: PVS-Studio-log-freebsd.txt
===================================================================
--- PVS-Studio-log-freebsd.txt
+++ PVS-Studio-log-freebsd.txt
@@ -0,0 +1,934 @@
+===============General Analysis (GA)===============
+\sys\amd64\amd64\genassym.c (115): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (116): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (114): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (112): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (113): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (190): error V547: Expression '(sizeof (struct trapframe)) < 0' is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (201): error V547: Expression '(sizeof (struct pcpu)) < 0' is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (155): error V547: Expression '(sizeof (struct pcb)) < 0' is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (117): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (118): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (100): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (101): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (99): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (97): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (98): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (105): error V547: Expression '(sizeof (pt_entry_t)) < 0' is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (111): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (104): error V547: Expression '(sizeof (pd_entry_t)) < 0' is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (102): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\amd64\genassym.c (103): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\amd64\vmm\amd\svm_genassym.c (50): error V547: Expression '(0xc0000101) < 0' is always false.
+\sys\cam\cam_xpt.c (4926): error V576: Incorrect format. Consider checking the third actual argument of the 'printf' function. The actual argument equals '4294967295'.
+\sys\cam\cam_xpt.c (4926): error V576: Incorrect format. Consider checking the second actual argument of the 'printf' function. The actual argument equals '4294967295'.
+\sys\cam\ctl\ctl.c (9534): error V512: A call of the 'memset' function will lead to underflow of the buffer 'sn_ptr->serial_num'.
+\sys\cam\ctl\ctl_frontend_cam_sim.c (390): error V614: Potentially uninitialized pointer 'ctl_ptr' used.
+\sys\cam\ctl\ctl_frontend_ioctl.c (229): error V614: Potentially uninitialized pointer 'kern_ptr' used.
+\sys\cam\ctl\ctl_tpc_local.c (219): error V614: Potentially uninitialized pointer 'kern_ptr' used.
+\sys\cam\scsi\scsi_da.c (3231): error V705: It is possible that 'else' block was forgotten or commented out, thus altering the program's operation logics.
+\sys\cam\scsi\scsi_da.c (3074): error V595: The 'bp' pointer was utilized before it was verified against nullptr. Check lines: 3074, 3083.
+\sys\cam\scsi\scsi_enc.c (599): error V595: The 'dptr' pointer was utilized before it was verified against nullptr. Check lines: 599, 611.
+\sys\cam\scsi\scsi_xpt.c (1598): error V595: The 'serial_buf' pointer was utilized before it was verified against nullptr. Check lines: 1598, 1612.
+\sys\cddl\contrib\opensolaris\common\avl\avl.c (689): error V595: The 'tree' pointer was utilized before it was verified against nullptr. Check lines: 689, 691.
+\sys\cddl\contrib\opensolaris\common\avl\avl.c (489): error V595: The 'tree' pointer was utilized before it was verified against nullptr. Check lines: 489, 491.
+\sys\cddl\contrib\opensolaris\common\nvpair\opensolaris_nvpair.c (2912): error V501: There are identical sub-expressions '!xdr_int(xdr, & zero)' to the left and to the right of the '||' operator.
+\sys\cddl\contrib\opensolaris\common\nvpair\opensolaris_nvpair.c (2928): error V595: The 'nvp' pointer was utilized before it was verified against nullptr. Check lines: 2928, 2934.
+\sys\cddl\contrib\opensolaris\uts\common\dtrace\dtrace.c (3188): error V595: The 'mstate->dtms_probe' pointer was utilized before it was verified against nullptr. Check lines: 3188, 3209.
+\sys\cddl\contrib\opensolaris\uts\common\dtrace\dtrace.c (9535): error V614: Potentially uninitialized pointer 'pp' used.
+\sys\cddl\contrib\opensolaris\uts\common\dtrace\dtrace.c (15164): error V595: The 'spec' pointer was utilized before it was verified against nullptr. Check lines: 15164, 15166.
+\sys\cddl\contrib\opensolaris\uts\common\dtrace\dtrace.c (12485): error V595: The 'enab->dten_desc' pointer was utilized before it was verified against nullptr. Check lines: 12485, 12498.
+\sys\cddl\contrib\opensolaris\uts\common\dtrace\dtrace.c (1844): error V590: Consider inspecting this expression. The expression is excessive or contains a misprint.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dbuf.c (713): error V595: The 'dn' pointer was utilized before it was verified against nullptr. Check lines: 713, 716.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dbuf.c (230): error V595: The 'dbf' pointer was utilized before it was verified against nullptr. Check lines: 230, 231.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dmu_send.c (578): error V547: Expression '__left >= __right' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dmu_traverse.c (338): error V595: The 'buf' pointer was utilized before it was verified against nullptr. Check lines: 338, 360.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dnode.c (1898): error V595: The 'db' pointer was utilized before it was verified against nullptr. Check lines: 1898, 1902.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dnode.c (252): error V547: Expression '__left >= __right' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dnode_sync.c (174): error V547: Expression '__left >= __right' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dnode_sync.c (171): error V634: The priority of the '*' operation is higher than that of the '<<' operation. It's possible that parentheses should be used in the expression.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dnode_sync.c (175): error V547: Expression '__left >= __right' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\dsl_dir.c (1038): error V547: Expression '__left >= __right' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\metaslab.c (2600): error V501: There are identical sub-expressions to the left and to the right of the '==' operator: (txg) == (txg)
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\refcount.c (133): error V547: Expression 'rc->rc_count >= 0' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\sa.c (1792): error V595: The 'hdl' pointer was utilized before it was verified against nullptr. Check lines: 1792, 1797.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\spa.c (1341): error V595: The 'spa->spa_spares.sav_vdevs' pointer was utilized before it was verified against nullptr. Check lines: 1341, 1342.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\spa.c (1355): error V595: The 'spa->spa_l2cache.sav_vdevs' pointer was utilized before it was verified against nullptr. Check lines: 1355, 1357.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\spa.c (1398): error V595: The 'spa->spa_spares.sav_vdevs' pointer was utilized before it was verified against nullptr. Check lines: 1398, 1408.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\spa.c (1583): error V595: The 'oldvdevs' pointer was utilized before it was verified against nullptr. Check lines: 1583, 1595.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\sys\dmu.h (219): error V616: The '(DMU_BSWAP_UINT8)' named constant with the value of 0 is used in the bitwise operation.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\sys\dmu.h (220): error V616: The '(DMU_BSWAP_UINT8)' named constant with the value of 0 is used in the bitwise operation.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\vdev.c (704): error V595: The 'vd->vdev_child' pointer was utilized before it was verified against nullptr. Check lines: 704, 706.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\vdev.c (311): error V595: The 'pvd->vdev_child' pointer was utilized before it was verified against nullptr. Check lines: 311, 318.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\vdev_geom.c (413): error V595: The '* configs' pointer was utilized before it was verified against nullptr. Check lines: 413, 414.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\vdev_mirror.c (179): error V547: Expression '(lastoffset - zio_offset) < 0' is always false. Unsigned type value is never < 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zap_micro.c (500): error V502: Perhaps the '?:' operator works in a different way than it was expected. The '?:' operator has a lower priority than the '==' operator.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_acl.c (2023): error V729: Function body contains the 'done' label that is not used by any 'goto' statements.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_acl.c (2447): error V614: Uninitialized pointer 'xzp' used. Consider checking the first actual argument of the 'ZTOV' function.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_fuid.c (615): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_fuid.c (590): error V547: Expression '__left >= __right' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_ioctl.c (5723): error V547: Expression '__left >= __right' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_ioctl.c (5699): error V547: Expression '__left >= __right' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_log.c (296): error V595: The 'fuidp' pointer was utilized before it was verified against nullptr. Check lines: 296, 323.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_log.c (587): error V595: The 'fuidp' pointer was utilized before it was verified against nullptr. Check lines: 587, 609.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_vfsops.c (498): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_vfsops.c (1851): error V547: Expression 'ZTOV(zp)->v_usecount >= 0' is always true. Unsigned type value is always >= 0.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_vnops.c (6582): error V595: The 'zp' pointer was utilized before it was verified against nullptr. Check lines: 6582, 6584.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zfs_vnops.c (2000): error V595: The 'xzp' pointer was utilized before it was verified against nullptr. Check lines: 2000, 2020.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zil.c (1981): error V629: Consider inspecting the '(uint64_t) 0x1 << 63' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\cddl\contrib\opensolaris\uts\common\fs\zfs\zio.c (3128): error V595: The 'bp' pointer was utilized before it was verified against nullptr. Check lines: 3128, 3135.
+\sys\cddl\contrib\opensolaris\uts\common\os\list.c (79): error V595: The 'list' pointer was utilized before it was verified against nullptr. Check lines: 79, 81.
+\sys\cddl\contrib\opensolaris\uts\common\zmod\adler32.c (71): error V595: The 'buf' pointer was utilized before it was verified against nullptr. Check lines: 71, 81.
+\sys\cddl\dev\dtrace\dtrace_debug.c (102): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 102, 109.
+\sys\compat\linux\linux_vdso.c (208): error V535: The variable 'i' is being used for this loop and for the outer loop. Check lines: 197, 208.
+\sys\compat\ndis\subr_ntoskrnl.c (2710): error V595: The 'children' pointer was utilized before it was verified against nullptr. Check lines: 2710, 2720.
+\sys\compat\x86bios\x86bios.c (589): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& x86bios_emu.x86'.
+\sys\compat\x86bios\x86bios.c (631): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& x86bios_emu.x86'.
+\sys\contrib\dev\acpica\components\dispatcher\dscontrol.c (194): error V724: Converting type 'UINT16' to type 'BOOLEAN' can lead to a loss of high-order bits. Non-zero value can become 'FALSE'.
+\sys\contrib\dev\acpica\components\dispatcher\dswexec.c (251): error V595: The 'OutOp' pointer was utilized before it was verified against nullptr. Check lines: 251, 272.
+\sys\contrib\dev\acpica\components\dispatcher\dswload.c (497): error V595: The 'Op->Common.Value.Arg' pointer was utilized before it was verified against nullptr. Check lines: 497, 520.
+\sys\contrib\dev\acpica\components\events\evglock.c (355): error V724: Converting type 'int' to type 'BOOLEAN' can lead to a loss of high-order bits. Non-zero value can become 'FALSE'.
+\sys\contrib\dev\acpica\components\events\evglock.c (281): error V724: Converting type 'int' to type 'BOOLEAN' can lead to a loss of high-order bits. Non-zero value can become 'FALSE'.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (944): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 944, 1337.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3549): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3549, 3590.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (876): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 876, 944.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3590): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3590, 3594.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3594): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3594, 3601.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (1407): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 1407, 1467.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (1337): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 1337, 1407.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3769): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3769, 3788.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3765): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3765, 3769.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3685): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3685, 3689.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3789): error V571: Recurring check. The 'if (0)' condition was already verified in line 3788.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3748): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3748, 3765.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3847): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3847, 3864.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3843): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3843, 3847.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3744): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3744, 3748.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3806): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3806, 3810.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3654): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3654, 3661.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3650): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3650, 3654.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3810): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3810, 3827.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3545): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3545, 3549.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3619): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3619, 3650.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3706): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3706, 3711.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3689): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3689, 3706.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3711): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3711, 3726.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_attach.c (3615): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 3615, 3619.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_eeprom.c (3035): error V610: Undefined behavior. Check the shift operator '<<'. The right operand ('i' = [0..35]) is greater than or equal to the length in bits of the promoted left operand.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_eeprom.c (4513): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 4513, 4520.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_eeprom.c (1676): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 1676, 1680.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_mci.c (218): error V616: The '(MCI_GPM_COEX_VERSION_QUERY)' named constant with the value of 0 is used in the bitwise operation.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_misc.c (3869): error V512: A call of the 'memcpy' function will lead to overflow of the buffer 'ctl_index + 12'.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_misc.c (3878): error V512: A call of the 'memcpy' function will lead to overflow of the buffer 'ctl_index + 9'.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_misc.c (2881): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_paprd.c (366): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '(- 15)' is negative.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_paprd.c (363): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '(- 10)' is negative.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_paprd.c (371): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '(- 10)' is negative.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_paprd.c (1554): error V634: The priority of the '*' operation is higher than that of the '<<' operation. It's possible that parentheses should be used in the expression.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_paprd.c (1528): error V634: The priority of the '*' operation is higher than that of the '<<' operation. It's possible that parentheses should be used in the expression.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_paprd.c (305): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '(- 15)' is negative.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_paprd.c (303): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '(- 3)' is negative.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_paprd.c (358): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '(- 6)' is negative.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_paprd.c (355): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '(- 3)' is negative.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_reset.c (965): error V501: There are identical sub-expressions 'HAL_FREQ_BAND_2GHZ' to the left and to the right of the '==' operator.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_reset.c (2971): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 2971, 2973.
+\sys\contrib\dev\ath\ath_hal\ar9300\ar9300_reset.c (2964): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 2964, 2966.
+\sys\contrib\ipfilter\netinet\ip_ftp_pxy.c (1949): error V595: The 's' pointer was utilized before it was verified against nullptr. Check lines: 1949, 1954.
+\sys\contrib\ipfilter\netinet\ip_irc_pxy.c (151): error V595: The 'ipf_p_irc_dcctypes[j]' pointer was utilized before it was verified against nullptr. Check lines: 151, 154.
+\sys\contrib\ipfilter\netinet\ip_nat.c (2171): error V594: The 'ipnn->ipn_data + sizeof (* aps)' pointer steps out of array's bounds.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (994): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (436): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (912): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (877): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (549): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (438): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (437): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (895): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (891): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_rpcb_pxy.c (433): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\contrib\ipfilter\netinet\ip_sync.c (358): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\contrib\ipfilter\netinet\ip_sync.c (330): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\contrib\ngatm\netnatm\sig\sig_call.c (2955): error V595: The 'p' pointer was utilized before it was verified against nullptr. Check lines: 2955, 2958.
+\sys\contrib\ngatm\netnatm\sig\sig_call.c (2855): error V595: The 'p' pointer was utilized before it was verified against nullptr. Check lines: 2855, 2858.
+\sys\contrib\ngatm\netnatm\sig\sig_verify.c (94): error V590: Consider inspecting this expression. The expression is excessive or contains a misprint.
+\sys\contrib\x86emu\x86emu.c (7058): error V646: Consider inspecting the application's logic. It's possible that 'else' keyword is missing.
+\sys\contrib\x86emu\x86emu.c (7032): error V646: Consider inspecting the application's logic. It's possible that 'else' keyword is missing.
+\sys\contrib\x86emu\x86emu.c (7006): error V646: Consider inspecting the application's logic. It's possible that 'else' keyword is missing.
+\sys\contrib\xz-embedded\linux\lib\xz\xz_dec_lzma2.c (1114): error V517: The use of 'if (A) {...} else if (A) {...}' pattern was detected. There is a probability of logical error presence. Check lines: 1114, 1120.
+\sys\crypto\aesni\aesni.c (633): error V595: The 'authcrd' pointer was utilized before it was verified against nullptr. Check lines: 633, 644.
+\sys\crypto\via\padlock_hash.c (106): error V567: Undefined behavior. The 'src' variable is modified while being used twice between sequence points.
+\sys\dev\aacraid\aacraid.c (2861): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\aacraid\aacraid.c (2854): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\aacraid\aacraid_cam.c (573): error V512: A call of the 'strcpy' function will lead to overflow of the buffer 'p->revision'.
+\sys\dev\aacraid\aacraid_cam.c (572): error V512: A call of the 'strcpy' function will lead to overflow of the buffer 'p->product'.
+\sys\dev\aacraid\aacraid_cam.c (571): error V512: A call of the 'strcpy' function will lead to overflow of the buffer 'p->vendor'.
+\sys\dev\acpica\acpi_ec.c (434): error V595: The 'params' pointer was utilized before it was verified against nullptr. Check lines: 434, 439.
+\sys\dev\acpica\acpi_package.c (83): error V579: The bzero function receives the pointer and its size as arguments. It is possibly a mistake. Inspect the second argument.
+\sys\dev\acpica\acpi_video.c (612): error V595: The 'vo->vo_levels' pointer was utilized before it was verified against nullptr. Check lines: 612, 614.
+\sys\dev\advansys\advansys.c (489): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\ae\if_ae.c (1699): error V621: Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all.
+\sys\dev\ae\if_ae.c (1663): error V621: Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all.
+\sys\dev\age\if_age.c (591): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\aic7xxx\aic79xx.c (8664): error V562: It's odd to compare 0 or 1 with a value of 0.
+\sys\dev\aic7xxx\aic79xx.c (2412): error V595: The 'scb' pointer was utilized before it was verified against nullptr. Check lines: 2412, 2427.
+\sys\dev\aic7xxx\aic79xx.c (7173): error V616: The 'AHD_REMOVABLE' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\aic7xxx\aic79xx_inline.h (963): error V616: The 'AHD_REMOVABLE' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\aic7xxx\aic7xxx_osm.c (549): error V614: Uninitialized pointer 'lstate' used.
+\sys\dev\alc\if_alc.c (1535): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\ale\if_ale.c (606): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\arcmsr\arcmsr.c (662): error V512: A call of the 'memcpy' function will lead to the 'srb->arcmsr_cdb.SenseData' buffer becoming out of range.
+\sys\dev\arcmsr\arcmsr.c (2368): error V512: A call of the 'memset' function will lead to underflow of the buffer 'pQbuffer'.
+\sys\dev\arcmsr\arcmsr.c (2614): error V512: A call of the 'memset' function will lead to underflow of the buffer 'pQbuffer'.
+\sys\dev\arcmsr\arcmsr.c (2370): error V512: A call of the 'memset' function will lead to underflow of the buffer 'pQbuffer'.
+\sys\dev\arcmsr\arcmsr.c (2616): error V512: A call of the 'memset' function will lead to underflow of the buffer 'pQbuffer'.
+\sys\dev\ata\chipsets\ata-highpoint.c (102): error V541: It is dangerous to print the string 'buffer' into itself.
+\sys\dev\ata\chipsets\ata-promise.c (796): error V617: Consider inspecting the condition. The '1' argument of the '|' bitwise operation contains a non-zero value.
+\sys\dev\ata\chipsets\ata-promise.c (208): error V541: It is dangerous to print the string 'buffer' into itself.
+\sys\dev\ata\chipsets\ata-serverworks.c (166): error V502: Perhaps the '?:' operator works in a different way than it was expected. The '?:' operator has a lower priority than the '|' operator.
+\sys\dev\ata\chipsets\ata-siliconimage.c (133): error V595: The 'ctlr->r_res2' pointer was utilized before it was verified against nullptr. Check lines: 133, 144.
+\sys\dev\ath\ath_hal\ar5210\ar5210_reset.c (504): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '-127' is negative.
+\sys\dev\ath\ath_hal\ar5210\ar5210_reset.c (502): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '-1' is negative.
+\sys\dev\ath\ath_hal\ar5210\ar5210_reset.c (504): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '-1' is negative.
+\sys\dev\ath\if_ath.c (6496): error V595: The 'ni' pointer was utilized before it was verified against nullptr. Check lines: 6496, 6501.
+\sys\dev\ath\if_ath_tx_edma.c (803): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& bf->bf_status'.
+\sys\dev\bce\if_bce.c (6828): error V595: The 'm0' pointer was utilized before it was verified against nullptr. Check lines: 6828, 6839.
+\sys\dev\bwi\if_bwi.c (1365): error V595: The 'ni' pointer was utilized before it was verified against nullptr. Check lines: 1365, 1373.
+\sys\dev\bwn\if_bwn.c (1276): error V595: The 'ni' pointer was utilized before it was verified against nullptr. Check lines: 1276, 1285.
+\sys\dev\bwn\if_bwn.c (2042): error V547: Expression '32768 + i * pab2 < 0' is always false. Unsigned type value is never < 0.
+\sys\dev\bwn\if_bwn.c (10046): error V595: The 'mac' pointer was utilized before it was verified against nullptr. Check lines: 10046, 10049.
+\sys\dev\bwn\if_bwn.c (10838): error V502: Perhaps the '?:' operator works in a different way than it was expected. The '?:' operator has a lower priority than the '&' operator.
+\sys\dev\bwn\if_bwn.c (2041): error V547: Expression '16 * pab0 + i * pab1 < 0' is always false. Unsigned type value is never < 0.
+\sys\dev\bxe\bxe.c (10658): error V512: A call of the 'memset' function will lead to underflow of the buffer '& sc->cmng'.
+\sys\dev\bxe\bxe.c (1828): error V616: The '(ETH_CONNECTION_TYPE)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\bxe\bxe.c (4037): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\bxe\bxe.c (1824): error V616: The '(ETH_CONNECTION_TYPE)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\bxe\bxe.c (3528): error V595: The 'm' pointer was utilized before it was verified against nullptr. Check lines: 3528, 3553.
+\sys\dev\bxe\bxe_elink.c (3253): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\bxe\bxe_elink.c (1407): error V705: It is possible that 'else' block was forgotten or commented out, thus altering the program's operation logics.
+\sys\dev\bxe\bxe_elink.c (14583): error V547: Expression '(next_page & 0xe0) == 0x2' is always false.
+\sys\dev\bxe\bxe_stats.c (1657): error V512: A call of the 'memcpy' function will lead to a buffer overflow.
+\sys\dev\bxe\bxe_stats.c (1060): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\dev\bxe\bxe_stats.c (1058): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\dev\bxe\bxe_stats.c (1057): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\dev\bxe\bxe_stats.c (902): error V512: A call of the 'memcpy' function will lead to overflow of the buffer '& (estats->rx_stat_ifhcinbadoctets_hi)'.
+\sys\dev\bxe\bxe_stats.c (1659): error V512: A call of the 'memcpy' function will lead to a buffer overflow.
+\sys\dev\bxe\ecore_init_ops.h (667): error V595: The 'ilt' pointer was utilized before it was verified against nullptr. Check lines: 667, 669.
+\sys\dev\ciss\ciss.c (1086): error V595: The 'cr' pointer was utilized before it was verified against nullptr. Check lines: 1086, 1098.
+\sys\dev\cxgb\common\cxgb_t3_hw.c (3587): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\dev\cxgb\common\cxgb_t3_hw.c (3583): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\dev\cxgb\common\cxgb_t3_hw.c (3586): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\dev\cxgb\common\cxgb_t3_hw.c (3584): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\dev\cxgb\common\cxgb_t3_hw.c (3585): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\dev\cxgbe\cxgbei\cxgbei.c (126): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'ppod'.
+\sys\dev\cxgbe\t4_main.c (2636): error V595: The 'kld_fw' pointer was utilized before it was verified against nullptr. Check lines: 2636, 2646.
+\sys\dev\cxgbe\tom\t4_ddp.c (768): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\drm\radeon_cs.c (153): error V522: Dereferencing of the null pointer 'dev_priv' might take place.
+\sys\dev\drm\radeon_cs.c (146): error V595: The 'dev_priv' pointer was utilized before it was verified against nullptr. Check lines: 146, 151.
+\sys\dev\drm2\drm_edid.c (416): error V679: The 'out' variable was not initialized. This variable is passed by a pointer to the 'drm_do_probe_ddc_edid' function in which its value will be utilized. Inspect the second argument.
+\sys\dev\drm2\drm_fb_helper.c (1356): error V595: The 'fb_crtc' pointer was utilized before it was verified against nullptr. Check lines: 1356, 1358.
+\sys\dev\drm2\i915\i915_gem.c (1507): error V595: The 'page' pointer was utilized before it was verified against nullptr. Check lines: 1507, 1510.
+\sys\dev\drm2\i915\i915_gem_tiling.c (504): error V562: It's odd to compare 0 or 1 with a value of 0.
+\sys\dev\drm2\i915\i915_gem_tiling.c (486): error V562: It's odd to compare 0 or 1 with a value of 0.
+\sys\dev\drm2\i915\intel_display.c (1388): error V654: The condition of loop is always false.
+\sys\dev\drm2\i915\intel_display.c (1398): error V654: The condition of loop is always false.
+\sys\dev\drm2\i915\intel_display.c (1361): error V654: The condition of loop is always false.
+\sys\dev\drm2\i915\intel_display.c (1372): error V654: The condition of loop is always false.
+\sys\dev\drm2\i915\intel_sdvo.c (2620): error V679: The 'byte' variable was not initialized. This variable is passed by a pointer to the 'intel_sdvo_read_byte' function in which its value will be utilized. Inspect the third argument.
+\sys\dev\drm2\i915\intel_sdvo.c (896): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'sdvo_data'.
+\sys\dev\drm2\i915\intel_sdvo.c (518): error V679: The 'status' variable was not initialized. This variable is passed by a pointer to the 'intel_sdvo_read_byte' function in which its value will be utilized. Inspect the third argument.
+\sys\dev\drm2\radeon\evergreen.c (1656): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\evergreen.c (1662): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\ni.c (1007): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\ni.c (270): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\ni.c (1013): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600.c (3379): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600.c (3384): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600.c (3394): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600.c (3389): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600.c (2185): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600.c (3374): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600.c (2191): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600_cp.c (438): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600_cp.c (432): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600_cp.c (525): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\r600_cp.c (531): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\radeon_bios.c (250): error V614: Potentially uninitialized pointer 'atrm_handle' used. Consider checking the first actual argument of the 'radeon_atrm_call' function.
+\sys\dev\drm2\radeon\radeon_clocks.c (627): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\drm2\radeon\radeon_legacy_crtc.c (939): error V501: There are identical sub-expressions '(rdev->family == CHIP_RS400)' to the left and to the right of the '||' operator.
+\sys\dev\drm2\radeon\radeon_legacy_crtc.c (939): error V501: There are identical sub-expressions '(rdev->family == CHIP_RS480)' to the left and to the right of the '||' operator.
+\sys\dev\drm2\radeon\rv770.c (355): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\rv770.c (349): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\si.c (1922): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\si.c (1915): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\si.c (1929): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\si.c (3267): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\radeon\si.c (257): error V567: Undefined behavior. The 'fw_data' variable is modified while being used twice between sequence points.
+\sys\dev\drm2\ttm\ttm_memory.c (278): error V530: The return value of function 'ttm_dma_page_alloc_init' is required to be utilized.
+\sys\dev\drm2\ttm\ttm_object.c (245): error V614: Potentially uninitialized pointer 'base' used.
+\sys\dev\e1000\e1000_ich8lan.c (2029): error V654: The condition 'blocked && (i ++ < 10)' of loop is always false.
+\sys\dev\esp\ncr53c9x.c (1354): error V512: A call of the 'memset' function will lead to underflow of the buffer 'ss'.
+\sys\dev\fb\splash.c (133): error V595: The 'decoder_set' pointer was utilized before it was verified against nullptr. Check lines: 133, 141.
+\sys\dev\fdc\fdc.c (935): error V595: The 'fd' pointer was utilized before it was verified against nullptr. Check lines: 935, 942.
+\sys\dev\firewire\firewire.c (1369): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\dev\firewire\firewire.c (1366): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\dev\firewire\firewire.c (1368): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\dev\firewire\fwcrom.c (464): error V567: Undefined behavior. The 'p' variable is modified while being used twice between sequence points.
+\sys\dev\firewire\sbp.c (2318): error V522: Dereferencing of the null pointer 'sbp' might take place.
+\sys\dev\firewire\sbp_targ.c (1327): error V501: There are identical sub-expressions to the left and to the right of the '|' operator: PIM_NOBUSRESET | PIM_NOBUSRESET
+\sys\dev\fxp\if_fxp.c (1626): error V557: Array underrun is possible. The '-1' index is pointing beyond array bound.
+\sys\dev\hptnr\hptnr_osm_bsd.c (860): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'devconf.pIdentifyData->FirmwareRevision'.
+\sys\dev\hptnr\hptnr_osm_bsd.c (858): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'devconf.pIdentifyData->ModelNumber'.
+\sys\dev\hyperv\netvsc\hv_netvsc_drv_freebsd.c (838): error V512: A call of the 'memset' function will lead to overflow of the buffer 'rndis_mesg'.
+\sys\dev\hyperv\storvsc\hv_storvsc_drv_freebsd.c (1560): error V595: The 'sgl_node' pointer was utilized before it was verified against nullptr. Check lines: 1560, 1561.
+\sys\dev\hyperv\storvsc\hv_storvsc_drv_freebsd.c (1529): error V595: The 'sgl_node' pointer was utilized before it was verified against nullptr. Check lines: 1529, 1530.
+\sys\dev\hyperv\storvsc\hv_storvsc_drv_freebsd.c (813): error V576: Incorrect format. Consider checking the third actual argument of the 'printf' function. The actual argument equals '4294967295'.
+\sys\dev\ida\ida.c (91): error V595: The 'ida->qcbs' pointer was utilized before it was verified against nullptr. Check lines: 91, 104.
+\sys\dev\ioat\ioat.c (1177): error V595: The 'ring' pointer was utilized before it was verified against nullptr. Check lines: 1177, 1183.
+\sys\dev\ipw\if_ipw.c (1855): error V590: Consider inspecting the 'error == 0 || error != 35' expression. The expression is excessive or contains a misprint.
+\sys\dev\isci\scil\scic_sds_smp_request.c (438): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& task_context->type.smp'.
+\sys\dev\iscsi\iscsi.c (1204): error V567: Undefined behavior. The 'io->io_datasn' variable is modified while being used twice between sequence points.
+\sys\dev\iscsi_initiator\isc_cam.c (177): error V595: The 'sp' pointer was utilized before it was verified against nullptr. Check lines: 177, 181.
+\sys\dev\iscsi_initiator\iscsi_subr.c (540): error V595: The 'ccb' pointer was utilized before it was verified against nullptr. Check lines: 540, 547.
+\sys\dev\iscsi_initiator\iscsi_subr.c (569): error V595: The 'pq->mp' pointer was utilized before it was verified against nullptr. Check lines: 569, 575.
+\sys\dev\isp\isp.c (2301): error V733: It is possible that macro expansion resulted in incorrect evaluation order. Check expression: chan - 1 * 20.
+\sys\dev\isp\isp.c (5390): error V501: There are identical sub-expressions '((xs)->ccb_h.status & CAM_STATUS_MASK) == CAM_REQ_INPROG' to the left and to the right of the '||' operator.
+\sys\dev\isp\isp_library.c (925): error V567: Undefined behavior. The 'a' variable is modified while being used twice between sequence points.
+\sys\dev\isp\isp_library.c (1042): error V567: Undefined behavior. The 'a' variable is modified while being used twice between sequence points.
+\sys\dev\isp\isp_library.c (953): error V567: Undefined behavior. The 'a' variable is modified while being used twice between sequence points.
+\sys\dev\isp\isp_library.c (916): error V567: Undefined behavior. The 'a' variable is modified while being used twice between sequence points.
+\sys\dev\iwm\if_iwm.c (2873): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\iwm\if_iwm_mac_ctxt.c (281): error V595: The 'in' pointer was utilized before it was verified against nullptr. Check lines: 281, 291.
+\sys\dev\iwn\if_iwn.c (5695): error V547: Expression '(rssi) > (phy->rssi[0])' is always false. Unsigned type value is never < 0.
+\sys\dev\ixgb\if_ixgb.c (2164): error V595: The 'adapter->fmp' pointer was utilized before it was verified against nullptr. Check lines: 2164, 2168.
+\sys\dev\ixl\if_ixl.c (6314): error V564: The '&' operator is applied to bool type value. You've probably forgotten to include parentheses or intended to use the '&&' operator.
+\sys\dev\jme\if_jme.c (807): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\kbdmux\kbdmux.c (995): error V595: The 'k->kbd' pointer was utilized before it was verified against nullptr. Check lines: 995, 1000.
+\sys\dev\mfi\mfi.c (3365): error V595: The 'cm' pointer was utilized before it was verified against nullptr. Check lines: 3365, 3385.
+\sys\dev\mfi\mfi_tbolt.c (183): error V535: The variable 'i' is being used for this loop and for the outer loop. Check lines: 182, 183.
+\sys\dev\mfi\mfi_tbolt.c (1110): error V547: Expression 'cdb[0] != 0x28 || cdb[0] != 0x2A' is always true. Probably the '&&' operator should be used here.
+\sys\dev\mfi\mfi_tbolt.c (779): error V512: A call of the 'memset' function will lead to overflow of the buffer 'cmd->io_request'.
+\sys\dev\mlx5\device.h (538): error V512: A call of the 'memcpy' function will lead to the '& cqe->rss_hash_type' buffer becoming out of range.
+\sys\dev\mlx5\mlx5_core\mlx5_main.c (367): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'dev->hca_caps_cur[MLX5_CAP_GENERAL]'.
+\sys\dev\mlx5\mlx5_core\mlx5_qp.c (137): error V597: The compiler could delete the 'memset' function call, which is used to flush 'dout' object. The RtlSecureZeroMemory() function should be used to erase the private data.
+\sys\dev\mlx5\mlx5_core\mlx5_srq.c (89): error V616: The '(MLX5_SRQC_STATE_GOOD)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_core\mlx5_vport.c (330): error V616: The '(MLX5_NIC_VPORT_LIST_TYPE_UC)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (2043): error V616: The '(MLX5_L3_PROT_TYPE_IPV4)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (2013): error V616: The '(MLX5_L3_PROT_TYPE_IPV4)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (2071): error V616: The '(MLX5_L3_PROT_TYPE_IPV4)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (2057): error V616: The '(MLX5_L3_PROT_TYPE_IPV4)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (2000): error V616: The '(MLX5_L4_PROT_TYPE_TCP)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (605): error V616: The '(MLX5E_STATE_ASYNC_EVENTS_ENABLE)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (772): error V616: The '(MLX5_RQC_STATE_RST)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (598): error V616: The '(MLX5E_STATE_ASYNC_EVENTS_ENABLE)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (347): error V616: The '(MLX5_IEEE_802_3_COUNTERS_GROUP)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (590): error V616: The '(MLX5E_STATE_ASYNC_EVENTS_ENABLE)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (1983): error V616: The '(MLX5_L3_PROT_TYPE_IPV4)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (1985): error V616: The '(MLX5_L4_PROT_TYPE_TCP)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (1945): error V616: The '(MLX5_TIRC_DISP_TYPE_DIRECT)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (1095): error V616: The '(MLX5_SQC_STATE_RST)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mlx5\mlx5_en\mlx5_en_main.c (1587): error V616: The '(MLX5_WQ_TYPE_LINKED_LIST)' named constant with the value of 0 is used in the bitwise operation.
+\sys\dev\mly\mly.c (2954): error V595: The 'mc' pointer was utilized before it was verified against nullptr. Check lines: 2954, 2955.
+\sys\dev\mpr\mpr_sas_lsi.c (1260): error V595: The 'done_ccb' pointer was utilized before it was verified against nullptr. Check lines: 1260, 1266.
+\sys\dev\mpr\mpr_sas_lsi.c (1336): error V595: The 'cm' pointer was utilized before it was verified against nullptr. Check lines: 1336, 1347.
+\sys\dev\mpr\mpr_sas_lsi.c (336): error V595: The 'cm' pointer was utilized before it was verified against nullptr. Check lines: 336, 363.
+\sys\dev\mps\mps_sas_lsi.c (1164): error V595: The 'done_ccb' pointer was utilized before it was verified against nullptr. Check lines: 1164, 1170.
+\sys\dev\mps\mps_sas_lsi.c (1240): error V595: The 'cm' pointer was utilized before it was verified against nullptr. Check lines: 1240, 1251.
+\sys\dev\mpt\mpt_cam.c (3381): error V547: Expression 'MPT_PRT_ALWAYS <= (mpt)->verbose' is always true. Unsigned type value is always >= 0.
+\sys\dev\mpt\mpt_cam.c (3642): error V547: Expression 'MPT_PRT_ALWAYS <= (mpt)->verbose' is always true. Unsigned type value is always >= 0.
+\sys\dev\mpt\mpt_cam.c (4703): error V512: A call of the 'memset' function will lead to overflow of the buffer '& rsp'.
+\sys\dev\mpt\mpt_cam.c (2884): error V547: Expression 'MPT_PRT_ALWAYS <= (mpt)->verbose' is always true. Unsigned type value is always >= 0.
+\sys\dev\mpt\mpt_raid.c (573): error V512: A call of the 'memcpy' function will lead to the '& reply->ActionData' buffer becoming out of range.
+\sys\dev\mrsas\mrsas.c (1279): error V522: Dereferencing of the null pointer 'sc' might take place.
+\sys\dev\mrsas\mrsas.c (4027): error V522: Dereferencing of the null pointer 'sc' might take place.
+\sys\dev\mrsas\mrsas_cam.c (618): error V512: A call of the 'memset' function will lead to overflow of the buffer 'cmd->io_request'.
+\sys\dev\mrsas\mrsas_cam.c (342): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\mrsas\mrsas_fp.c (336): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'pDrvRaidMap->arMapInfo'.
+\sys\dev\msk\if_msk.c (1626): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\mxge\if_mxge.c (1964): error V564: The '&' operator is applied to bool type value. You've probably forgotten to include parentheses or intended to use the '&&' operator.
+\sys\dev\ntb\ntb_hw\ntb_hw.c (1375): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\nvme\nvme_ns.c (577): error V595: The 'ns->cdev' pointer was utilized before it was verified against nullptr. Check lines: 577, 580.
+\sys\dev\nxge\if_nxge.c (1987): error V621: Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all.
+\sys\dev\nxge\if_nxge.c (2073): error V621: Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all.
+\sys\dev\nxge\if_nxge.c (1498): error V579: The copyout function receives the pointer and its size as arguments. It is possibly a mistake. Inspect the third argument.
+\sys\dev\nxge\xgehal\xgehal-mm.c (396): error V595: The 'mempool->memblocks_arr' pointer was utilized before it was verified against nullptr. Check lines: 396, 422.
+\sys\dev\nxge\xgehal\xgehal-mm.c (393): error V595: The 'mempool->memblocks_priv_arr' pointer was utilized before it was verified against nullptr. Check lines: 393, 417.
+\sys\dev\nxge\xgehal\xgehal-mm.c (383): error V595: The 'mempool->shadow_items_arr' pointer was utilized before it was verified against nullptr. Check lines: 383, 406.
+\sys\dev\oce\oce_queue.c (770): error V595: The 'mq' pointer was utilized before it was verified against nullptr. Check lines: 770, 774.
+\sys\dev\patm\if_patm_tx.c (826): error V654: The condition '!done' of loop is always true.
+\sys\dev\pccard\pccard.c (900): error V595: The 'devi' pointer was utilized before it was verified against nullptr. Check lines: 900, 906.
+\sys\dev\pci\pci_user.c (713): error V501: There are identical sub-expressions '(dinfo != ((void *) 0))' to the left and to the right of the '&&' operator.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (780): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (27613): error V579: The bzero function receives the pointer and its size as arguments. It is possibly a mistake. Inspect the second argument.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (22245): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (22196): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (25319): error V512: A call of the 'memset' function will lead to underflow of the buffer '& pccb->tiSuperScsiRequest'.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (25185): error V512: A call of the 'memset' function will lead to underflow of the buffer '& pccb->tiSuperScsiRequest'.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (3961): error V547: Expression 'pccb->targetId >= 0' is always true. Unsigned type value is always >= 0.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (27844): error V561: It's probably better to assign value to 'pCard' variable than to declare it anew. Previous declaration: agtiapi.c, line 21637.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (4777): error V512: A call of the 'memset' function will lead to underflow of the buffer '& pccb->tiSuperScsiRequest'.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (3103): error V595: The 'pmcsc' pointer was utilized before it was verified against nullptr. Check lines: 3103, 3109.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (829): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (4607): error V512: A call of the 'memset' function will lead to underflow of the buffer '& pccb->tiSuperScsiRequest'.
+\sys\dev\pms\freebsd\driver\ini\src\agtiapi.c (3109): error V547: Expression 'pccb->targetId >= 0' is always true. Unsigned type value is always >= 0.
+\sys\dev\pms\freebsd\driver\ini\src\osapi.c (316): error V579: The bzero function receives the pointer and its size as arguments. It is possibly a mistake. Inspect the second argument.
+\sys\dev\pms\freebsd\driver\ini\src\osapi.c (767): error V561: It's probably better to assign value to 'pCard' variable than to declare it anew. Previous declaration: lxencrypt.h, line 80.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (7845): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (8061): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (7915): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (431): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (347): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (374): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (131): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (201): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (8117): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (8088): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (8145): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\discovery\dm\dminit.c (403): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sallsdk\spc\sahw.c (1949): error V571: Recurring check. This condition was already verified in line 1946.
+\sys\dev\pms\RefTisa\sallsdk\spc\sahw.c (10646): error V571: Recurring check. This condition was already verified in line 10643.
+\sys\dev\pms\RefTisa\sallsdk\spc\saint.c (2023): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sallsdk\spc\saint.c (10451): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sallsdk\spc\saioctlcmd.c (2322): error V547: Expression '(value & ((1 << 12) | (1 << 13))) == 0x2' is always false.
+\sys\dev\pms\RefTisa\sallsdk\spc\saioctlcmd.c (10831): error V547: Expression '(value & ((1 << 10) | (1 << 11))) == 0x2' is always false.
+\sys\dev\pms\RefTisa\sallsdk\spc\saioctlcmd.c (2321): error V547: Expression '(value & ((1 << 10) | (1 << 11))) == 0x2' is always false.
+\sys\dev\pms\RefTisa\sallsdk\spc\saioctlcmd.c (10832): error V547: Expression '(value & ((1 << 12) | (1 << 13))) == 0x2' is always false.
+\sys\dev\pms\RefTisa\sallsdk\spc\sampirsp.c (7224): error V560: A part of conditional expression is always true: 0x2002.
+\sys\dev\pms\RefTisa\sallsdk\spc\sampirsp.c (15018): error V560: A part of conditional expression is always true: 0x2002.
+\sys\dev\pms\RefTisa\sat\src\sminit.c (9104): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\sminit.c (9273): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\sminit.c (279): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\sminit.c (110): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsat.c (10395): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsat.c (11501): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsat.c (19821): error V547: Expression '(scsiCmnd->cdb[2] & 0x20) == 0x01' is always false.
+\sys\dev\pms\RefTisa\sat\src\smsat.c (21030): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsat.c (11412): error V547: Expression '(scsiCmnd->cdb[2] & 0x20) == 0x01' is always false.
+\sys\dev\pms\RefTisa\sat\src\smsat.c (2848): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsat.c (1454): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsat.c (12652): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsatcb.c (14697): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsatcb.c (5793): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsatcb.c (18193): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsatcb.c (14662): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsatcb.c (5828): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsatcb.c (9684): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\sat\src\smsatcb.c (11498): error V595: The 'satOrgIOContext' pointer was utilized before it was verified against nullptr. Check lines: 11498, 11501.
+\sys\dev\pms\RefTisa\sat\src\smsatcb.c (11341): error V595: The 'satOrgIOContext' pointer was utilized before it was verified against nullptr. Check lines: 11341, 11344.
+\sys\dev\pms\RefTisa\sat\src\smsatcb.c (13706): error V595: The 'agFirstDword' pointer was utilized before it was verified against nullptr. Check lines: 13706, 13729.
+\sys\dev\pms\RefTisa\tisa\sassata\common\ossacmnapi.c (6491): error V595: The 'onePortContext' pointer was utilized before it was verified against nullptr. Check lines: 6491, 6497.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (12456): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (12422): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (13425): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (12493): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (13277): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (13249): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (13305): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (13365): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (13333): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (12561): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (12529): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (12591): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (13188): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (12891): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (14296): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (1795): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (1049): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (1823): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (1879): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (1851): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (914): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (880): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (951): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (1019): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (987): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (3484): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (14364): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (13393): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (3416): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (1939): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (1911): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdinit.c (1971): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (14367): error V712: Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (15065): error V614: Uninitialized variable 'status' used.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (13818): error V512: A call of the 'memcpy' function will lead to overflow of the buffer '& pIoErrorPayload->IoError'.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (13851): error V512: A call of the 'memcpy' function will lead to overflow of the buffer '& pIoEventPayload->IoEvent'.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (1939): error V595: The 'agIOCTLPayload' pointer was utilized before it was verified against nullptr. Check lines: 1939, 1942.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (2522): error V712: Be advised that compiler may delete this cycle or make it infinity. Use volatile variable(s) or synchronization primitives to avoid this.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (3396): error V614: Uninitialized variable 'status' used.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (1918): error V512: A call of the 'memcpy' function will lead to overflow of the buffer '& pIoEventPayload->IoEvent'.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (1340): error V595: The 'tiRoot' pointer was utilized before it was verified against nullptr. Check lines: 1340, 1352.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (1344): error V595: The 'agIOCTLPayload' pointer was utilized before it was verified against nullptr. Check lines: 1344, 1352.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdioctl.c (1885): error V512: A call of the 'memcpy' function will lead to overflow of the buffer '& pIoErrorPayload->IoError'.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2680): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2653): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3272): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3367): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3599): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3630): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3096): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3242): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3337): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3694): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (5210): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'localname'.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (5213): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'remotename'.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1749): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3724): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3810): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (5200): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'localname'.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2797): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2835): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2864): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2714): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2742): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2770): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2893): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3009): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3038): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (3067): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2922): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2951): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2980): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1374): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1401): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1345): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1289): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1316): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1608): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1640): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1577): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1430): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1546): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1258): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (356): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (388): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (318): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (248): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (281): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1204): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1231): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1177): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (422): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (453): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2160): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2195): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2125): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2064): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2094): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2348): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2374): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2323): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2225): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2271): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2034): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1821): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1851): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1781): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1670): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1710): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1974): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (2004): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1943): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1882): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\common\tdport.c (1912): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itddisc.c (17555): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'tdSMPRequestBody->smpPayload'.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itddisc.c (17596): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'tdSMPRequestBody->smpPayload'.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itddisc.c (12268): error V621: Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itddisc.c (12034): error V621: Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itddisc.c (7272): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'tdSMPRequestBody->smpPayload'.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itddisc.c (539): error V621: Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itddisc.c (278): error V621: Consider inspecting the 'for' operator. It's possible that the loop will be executed incorrectly or won't be executed at all.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itddisc.c (7403): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'tdSMPRequestBody->smpPayload'.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itdinit.c (12058): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sas\ini\itdinit.c (310): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\ossasat.c (8320): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\ossasat.c (8355): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\ossasat.c (4473): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\ossasat.c (17143): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\ossasat.c (20877): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\ossasat.c (20842): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\sat.c (8827): error V547: Expression '(scsiCmnd->cdb[2] & 0x20) == 0x01' is always false.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\sat.c (10484): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\sat.c (29409): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\sat.c (21152): error V547: Expression '(scsiCmnd->cdb[2] & 0x20) == 0x01' is always false.
+\sys\dev\pms\RefTisa\tisa\sassata\sata\host\sat.c (18591): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\qlxgb\qla_hw.c (799): error V547: Expression is always true. Probably the '&&' operator should be used here.
+\sys\dev\qlxgbe\ql_isr.c (728): error V522: Dereferencing of the null pointer 'ha' might take place.
+\sys\dev\qlxge\qls_dump.c (1615): error V512: A call of the 'memcpy' function will lead to the '"MPI Coredump"' buffer becoming out of range.
+\sys\dev\qlxge\qls_dump.c (589): error V610: Unspecified behavior. Check the shift operator '>>'. The left operand '(0x1 << 31)' is negative.
+\sys\dev\re\if_re.c (1787): error V595: The 'ifp' pointer was utilized before it was verified against nullptr. Check lines: 1787, 1803.
+\sys\dev\rl\if_rl.c (1941): error V571: Recurring check. This condition was already verified in line 1940.
+\sys\dev\rtwn\if_rtwn.c (682): error V512: A call of the 'memset' function will lead to underflow of the buffer 'desc'.
+\sys\dev\safe\safe.c (1608): error V547: Expression 'j >= 0' is always true. Unsigned type value is always >= 0.
+\sys\dev\safe\safe.c (1596): error V547: Expression 'j >= 0' is always true. Unsigned type value is always >= 0.
+\sys\dev\sfxge\common\efx_filter.c (664): error V547: Expression '__x >= __y' is always true. Unsigned type value is always >= 0.
+\sys\dev\sfxge\common\efx_rx.c (1096): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\sfxge\common\efx_tx.c (821): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\sfxge\common\hunt_filter.c (973): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\sfxge\common\hunt_phy.c (594): error V595: The 'valuesp' pointer was utilized before it was verified against nullptr. Check lines: 594, 601.
+\sys\dev\sfxge\common\hunt_rx.c (698): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\sfxge\common\hunt_tx.c (500): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\sfxge\common\siena_phy.c (715): error V595: The 'valuesp' pointer was utilized before it was verified against nullptr. Check lines: 715, 728.
+\sys\dev\sfxge\common\siena_phy.c (474): error V595: The 'esmp' pointer was utilized before it was verified against nullptr. Check lines: 474, 484.
+\sys\dev\si\si.c (313): error V622: Consider inspecting the 'switch' statement. It's possible that the first 'case' operator is missing.
+\sys\dev\sk\if_sk.c (3141): error V595: The 'ifp0' pointer was utilized before it was verified against nullptr. Check lines: 3141, 3157.
+\sys\dev\sk\if_sk.c (3149): error V595: The 'ifp1' pointer was utilized before it was verified against nullptr. Check lines: 3149, 3160.
+\sys\dev\sound\midi\midi.c (1153): error V595: The 'm' pointer was utilized before it was verified against nullptr. Check lines: 1153, 1157.
+\sys\dev\sound\midi\sequencer.c (944): error V595: The 'scp' pointer was utilized before it was verified against nullptr. Check lines: 944, 947.
+\sys\dev\sound\pci\cmi.c (1007): error V595: The 'sc' pointer was utilized before it was verified against nullptr. Check lines: 1007, 1016.
+\sys\dev\sound\pci\emu10kx.c (3494): error V595: The 'childlist' pointer was utilized before it was verified against nullptr. Check lines: 3494, 3496.
+\sys\dev\sound\pci\es137x.c (1882): error V595: The 'es' pointer was utilized before it was verified against nullptr. Check lines: 1882, 1893.
+\sys\dev\sound\pci\via8233.c (1375): error V595: The 'via' pointer was utilized before it was verified against nullptr. Check lines: 1375, 1392.
+\sys\dev\sound\pci\via82c686.c (604): error V595: The 'via' pointer was utilized before it was verified against nullptr. Check lines: 604, 613.
+\sys\dev\sound\pcm\channel.c (676): error V595: The 'c' pointer was utilized before it was verified against nullptr. Check lines: 676, 695.
+\sys\dev\sound\pcm\channel.c (777): error V595: The 'c' pointer was utilized before it was verified against nullptr. Check lines: 777, 786.
+\sys\dev\sound\pcm\dsp.c (2729): error V535: The variable 'i' is being used for this loop and for the outer loop. Check lines: 2573, 2729.
+\sys\dev\sound\pcm\dsp.c (2561): error V595: The 'i_dev' pointer was utilized before it was verified against nullptr. Check lines: 2561, 2589.
+\sys\dev\sound\pcm\dsp.c (2582): error V595: The 'd' pointer was utilized before it was verified against nullptr. Check lines: 2582, 2589.
+\sys\dev\stge\if_stge.c (511): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\sym\sym_hipd.c (617): error V595: The 'vbp' pointer was utilized before it was verified against nullptr. Check lines: 617, 620.
+\sys\dev\sym\sym_hipd.c (4402): error V595: The 'cp' pointer was utilized before it was verified against nullptr. Check lines: 4402, 4424.
+\sys\dev\syscons\scvidctl.c (551): error V595: The 'adp' pointer was utilized before it was verified against nullptr. Check lines: 551, 554.
+\sys\dev\syscons\syscons.c (1695): error V595: The 'scp->sc->kbd' pointer was utilized before it was verified against nullptr. Check lines: 1695, 1698.
+\sys\dev\syscons\syscons.c (1673): error V595: The 'scp->sc->kbd' pointer was utilized before it was verified against nullptr. Check lines: 1673, 1678.
+\sys\dev\ti\if_ti.c (3826): error V547: Expression 'mem_param->tgAddr >= 0x0' is always true. Unsigned type value is always >= 0.
+\sys\dev\ti\if_ti.c (806): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\dev\twe\twe.c (1679): error V595: The 'p[0]' pointer was utilized before it was verified against nullptr. Check lines: 1679, 1690.
+\sys\dev\twe\twe_freebsd.c (731): error V595: The 'sc' pointer was utilized before it was verified against nullptr. Check lines: 731, 735.
+\sys\dev\tws\tws_cam.c (1066): error V522: Dereferencing of the null pointer 'sc' might take place.
+\sys\dev\txp\if_txp.c (401): error V595: The 'rsp' pointer was utilized before it was verified against nullptr. Check lines: 401, 403.
+\sys\dev\usb\controller\ehci.c (3335): error V512: A call of the 'memset' function will lead to underflow of the buffer 'sc->sc_hub_desc.temp'.
+\sys\dev\usb\controller\ohci.c (2307): error V512: A call of the 'memset' function will lead to underflow of the buffer 'sc->sc_hub_desc.temp'.
+\sys\dev\usb\controller\uhci.c (2692): error V512: A call of the 'memset' function will lead to underflow of the buffer 'sc->sc_hub_desc.temp'.
+\sys\dev\usb\controller\xhci.c (3500): error V512: A call of the 'memset' function will lead to underflow of the buffer 'sc->sc_hub_desc.temp'.
+\sys\dev\usb\net\if_smsc.c (1365): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\usb\storage\umass.c (2748): error V512: A call of the 'memset' function will lead to underflow of the buffer 'sc->sc_transfer.cmd_data'.
+\sys\dev\usb\storage\umass.c (588): error V737: It is possible that ',' comma is missing at the end of the string.
+\sys\dev\usb\storage\umass.c (2826): error V512: A call of the 'memset' function will lead to underflow of the buffer 'sc->sc_transfer.cmd_data'.
+\sys\dev\usb\storage\umass.c (619): error V737: It is possible that ',' comma is missing at the end of the string.
+\sys\dev\usb\usb_debug.c (294): error V547: Expression 'val < 0' is always false. Unsigned type value is never < 0.
+\sys\dev\usb\wlan\if_rsu.c (1516): error V569: Truncation of constant value -96. The value range of unsigned char type: [0, 255].
+\sys\dev\usb\wlan\if_rum.c (2752): error V610: Undefined behavior. Check the shift operator '<<'. The right operand ('i' = [0..63]) is greater than or equal to the length in bits of the promoted left operand.
+\sys\dev\vmware\vmxnet3\if_vmx.c (2747): error V590: Consider inspecting the 'error == 0 || error != 27' expression. The expression is excessive or contains a misprint.
+\sys\dev\vte\if_vte.c (431): error V593: Consider reviewing the expression of the 'A = B != C' kind. The expression is calculated as following: 'A = (B != C)'.
+\sys\dev\vxge\vxgehal\vxgehal-blockpool.c (225): error V595: The 'blockpool' pointer was utilized before it was verified against nullptr. Check lines: 225, 233.
+\sys\dev\vxge\vxgehal\vxgehal-doorbells.c (255): error V629: Consider inspecting the '1 << (16 - vp->vpath->vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-doorbells.c (113): error V629: Consider inspecting the '1 << (16 - vp->vpath->vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-mm.c (454): error V595: The 'mempool->memblocks_priv_arr' pointer was utilized before it was verified against nullptr. Check lines: 454, 484.
+\sys\dev\vxge\vxgehal\vxgehal-mm.c (448): error V595: The 'mempool->shadow_items_arr' pointer was utilized before it was verified against nullptr. Check lines: 448, 471.
+\sys\dev\vxge\vxgehal\vxgehal-mrpcim.c (2383): error V629: Consider inspecting the '1 << (16 - hldev->first_vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-mrpcim.c (2494): error V629: Consider inspecting the '1 << (16 - hldev->first_vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (515): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (497): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (500): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (518): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (552): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (5363): error V595: The 'vpath' pointer was utilized before it was verified against nullptr. Check lines: 5363, 5371.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (5014): error V629: Consider inspecting the '1 << (16 - vpath->vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (5305): error V595: The 'vpath' pointer was utilized before it was verified against nullptr. Check lines: 5305, 5313.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (5205): error V595: The 'vp' pointer was utilized before it was verified against nullptr. Check lines: 5205, 5213.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (573): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (570): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (341): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (2935): error V567: Undefined behavior. The 'Key' variable is modified while being used twice between sequence points.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (591): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (588): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (338): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (383): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (479): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (482): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (356): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (359): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (380): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (9321): error V595: The 'vp' pointer was utilized before it was verified against nullptr. Check lines: 9321, 9329.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (9275): error V595: The 'vp' pointer was utilized before it was verified against nullptr. Check lines: 9275, 9283.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (555): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (10402): error V629: Consider inspecting the '1 << (16 - vpath->vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (10346): error V629: Consider inspecting the '1 << (16 - vpath->vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (7933): error V629: Consider inspecting the '1 << (16 - vpath->vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (6122): error V629: Consider inspecting the '1 << (16 - vpath->vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (10285): error V629: Consider inspecting the '1 << (16 - vpath->vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (7835): error V629: Consider inspecting the '1 << (16 - vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\vxge\vxgehal\vxgehal-virtualpath.c (7800): error V629: Consider inspecting the '1 << (16 - vpath->vp_id)' expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\dev\xen\blkfront\blkfront.c (677): error V522: Dereferencing of the null pointer 'sc' might take place.
+\sys\dev\xen\blkfront\blkfront.c (1133): error V562: It's odd to compare 0 or 1 with a value of 0.
+\sys\dev\xen\netback\netback_unit_tests.c (1497): error V595: The 'mbufc' pointer was utilized before it was verified against nullptr. Check lines: 1497, 1498.
+\sys\dev\xen\netback\netback_unit_tests.c (1977): error V595: The 'mbufc' pointer was utilized before it was verified against nullptr. Check lines: 1977, 1978.
+\sys\dev\xen\netback\netback_unit_tests.c (1540): error V595: The 'mbufc' pointer was utilized before it was verified against nullptr. Check lines: 1540, 1541.
+\sys\dev\xen\netback\netback_unit_tests.c (1622): error V595: The 'mbufc' pointer was utilized before it was verified against nullptr. Check lines: 1622, 1623.
+\sys\dev\xen\netback\netback_unit_tests.c (1264): error V595: The 'pMbuf' pointer was utilized before it was verified against nullptr. Check lines: 1264, 1274.
+\sys\fs\cd9660\cd9660_rrip.c (562): error V595: The 'bp' pointer was utilized before it was verified against nullptr. Check lines: 562, 567.
+\sys\fs\cd9660\cd9660_vfsops.c (739): error V595: The 'bp' pointer was utilized before it was verified against nullptr. Check lines: 739, 744.
+\sys\fs\cd9660\cd9660_vfsops.c (466): error V595: The 'supbp' pointer was utilized before it was verified against nullptr. Check lines: 466, 469.
+\sys\fs\cd9660\cd9660_vfsops.c (261): error V627: Consider inspecting the expression. The argument of sizeof() is the macro which expands to a number.
+\sys\fs\cd9660\cd9660_vnops.c (831): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'ap->a_fhp'.
+\sys\fs\ext2fs\ext2_vnops.c (1048): error V595: The 'xp' pointer was utilized before it was verified against nullptr. Check lines: 1048, 1052.
+\sys\fs\fuse\fuse_node.c (247): error V595: The 'cnp' pointer was utilized before it was verified against nullptr. Check lines: 247, 250.
+\sys\fs\msdosfs\msdosfs_lookup.c (865): error V595: The 'dep' pointer was utilized before it was verified against nullptr. Check lines: 865, 879.
+\sys\fs\nfs\nfs_commonacl.c (59): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonacl.c (58): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonacl.c (57): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonkrpc.c (856): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonkrpc.c (868): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonkrpc.c (828): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonkrpc.c (852): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonkrpc.c (851): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonkrpc.c (933): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonkrpc.c (827): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonsubs.c (780): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonsubs.c (1368): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonsubs.c (1353): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonsubs.c (1572): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfs\nfs_commonsubs.c (3201): error V595: The 'nfsuserhash' pointer was utilized before it was verified against nullptr. Check lines: 3201, 3220.
+\sys\fs\nfsclient\nfs_clbio.c (687): error V595: The 'bp' pointer was utilized before it was verified against nullptr. Check lines: 687, 691.
+\sys\fs\nfsclient\nfs_clrpcops.c (4806): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4169): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4798): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4170): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4168): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4114): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4209): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4208): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4207): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4210): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4633): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4622): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4635): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4204): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4174): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4172): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4793): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4206): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4205): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4752): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4808): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (2082): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (2075): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (2945): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (3879): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (3352): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (476): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (232): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (483): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (1701): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (1689): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (5133): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (5770): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4933): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4898): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4900): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4112): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4111): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4113): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (5782): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clrpcops.c (4528): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clstate.c (3326): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clstate.c (3345): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clstate.c (3452): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clstate.c (3325): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clstate.c (1000): error V614: Potentially uninitialized pointer 'clp' used. Consider checking the first actual argument of the 'nfscl_finddeleg' function.
+\sys\fs\nfsclient\nfs_clstate.c (3192): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clstate.c (3195): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clstate.c (3454): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clstate.c (3248): error V595: The 'nfhp' pointer was utilized before it was verified against nullptr. Check lines: 3248, 3278.
+\sys\fs\nfsclient\nfs_clstate.c (3453): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsclient\nfs_clstate.c (4710): error V595: The 'lyp' pointer was utilized before it was verified against nullptr. Check lines: 4710, 4716.
+\sys\fs\nfsclient\nfs_clvnops.c (2889): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\fs\nfsserver\nfs_nfsdport.c (599): error V507: Pointer to local array 'iv' is stored outside the scope of this array. Such a pointer will become invalid.
+\sys\fs\nfsserver\nfs_nfsdport.c (3311): error V595: The 'procp' pointer was utilized before it was verified against nullptr. Check lines: 3311, 3316.
+\sys\fs\nfsserver\nfs_nfsdport.c (1829): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdport.c (1572): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3896): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3897): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2615): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3895): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3880): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3881): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3894): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3898): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2515): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2497): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3231): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2516): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3967): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3968): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3969): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3116): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3177): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2616): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3035): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2663): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2768): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3031): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3235): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3877): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3878): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3879): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3869): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3236): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3524): error V595: The 'clp' pointer was utilized before it was verified against nullptr. Check lines: 3524, 3532.
+\sys\fs\nfsserver\nfs_nfsdserv.c (3776): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (4078): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2194): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (1870): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2229): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2234): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2230): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (834): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (825): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (852): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (818): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (1190): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (327): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (1226): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2388): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (2257): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (678): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdserv.c (655): error V567: Undefined behavior. The 'tl' variable is modified while being used twice between sequence points.
+\sys\fs\nfsserver\nfs_nfsdstate.c (949): error V614: Potentially uninitialized pointer 'lfp' used.
+\sys\fs\nfsserver\nfs_nfsdstate.c (515): error V595: The 'nd' pointer was utilized before it was verified against nullptr. Check lines: 515, 525.
+\sys\fs\unionfs\union_subr.c (281): error V595: The 'lowervp' pointer was utilized before it was verified against nullptr. Check lines: 281, 293.
+\sys\fs\unionfs\union_vnops.c (499): error V595: The 'lvp' pointer was utilized before it was verified against nullptr. Check lines: 499, 514.
+\sys\gdb\gdb_main.c (263): error V501: There are identical sub-expressions 'gdb_rx_char() != ';'' to the left and to the right of the '||' operator.
+\sys\geom\geom_slice.c (320): error V595: The 'pp' pointer was utilized before it was verified against nullptr. Check lines: 320, 323.
+\sys\geom\raid\md_nvidia.c (531): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\geom\raid\md_promise.c (1852): error V595: The 'pd->pd_meta[j]' pointer was utilized before it was verified against nullptr. Check lines: 1852, 1857.
+\sys\geom\vinum\geom_vinum_plex.c (173): error V503: This is a nonsensical comparison: pointer >= 0.
+\sys\geom\vinum\geom_vinum_raid5.c (610): error V503: This is a nonsensical comparison: pointer >= 0.
+\sys\geom\vinum\geom_vinum_raid5.c (602): error V503: This is a nonsensical comparison: pointer >= 0.
+\sys\geom\vinum\geom_vinum_state.c (186): error V564: The '&' operator is applied to bool type value. You've probably forgotten to include parentheses or intended to use the '&&' operator.
+\sys\gnu\fs\reiserfs\reiserfs_vfsops.c (647): error V627: Consider inspecting the expression. The argument of sizeof() is the macro which expands to a number.
+\sys\gnu\fs\reiserfs\reiserfs_vfsops.c (230): error V595: The 'rmp' pointer was utilized before it was verified against nullptr. Check lines: 230, 241.
+\sys\kern\imgact_elf.c (2156): error V614: Uninitialized variable 'structsize' used. Consider checking the second actual argument of the 'sbuf_bcat' function.
+\sys\kern\kern_cpuset.c (1107): error V595: The 'p' pointer was utilized before it was verified against nullptr. Check lines: 1107, 1134.
+\sys\kern\kern_module.c (162): error V595: The 'container' pointer was utilized before it was verified against nullptr. Check lines: 162, 176.
+\sys\kern\kern_ntptime.c (721): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '(int64_t)(- 500000L)' is negative.
+\sys\kern\kern_ntptime.c (409): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '(int64_t)(- 500000L)' is negative.
+\sys\kern\kern_numa.c (153): error V595: The 'p' pointer was utilized before it was verified against nullptr. Check lines: 153, 159.
+\sys\kern\kern_rmlock.c (669): error V523: The 'then' statement is equivalent to the 'else' statement.
+\sys\kern\link_elf_obj.c (956): error V595: The 'ef->relatab' pointer was utilized before it was verified against nullptr. Check lines: 956, 959.
+\sys\kern\subr_turnstile.c (1196): error V583: The '?:' operator, regardless of its conditional expression, always returns one and the same value: td->td_name.
+\sys\kern\subr_turnstile.c (1029): error V583: The '?:' operator, regardless of its conditional expression, always returns one and the same value: td->td_name.
+\sys\kern\subr_turnstile.c (1112): error V583: The '?:' operator, regardless of its conditional expression, always returns one and the same value: td->td_name.
+\sys\kern\uipc_socket.c (1738): error V595: The 'm' pointer was utilized before it was verified against nullptr. Check lines: 1738, 1762.
+\sys\kern\uipc_socket.c (1751): error V595: The 'm' pointer was utilized before it was verified against nullptr. Check lines: 1751, 1762.
+\sys\kern\vfs_bio.c (2339): error V595: The 'bp->b_vp' pointer was utilized before it was verified against nullptr. Check lines: 2339, 2349.
+\sys\libkern\iconv_ucs.c (110): error V549: The first argument of 'strcmp' function is equal to the second argument.
+\sys\net\if_bridge.c (2452): error V696: The 'continue' operator will terminate 'do { ... } while (FALSE)' loop because the condition is always false. Check lines: 2452, 2452.
+\sys\net\if_bridge.c (2461): error V696: The 'continue' operator will terminate 'do { ... } while (FALSE)' loop because the condition is always false. Check lines: 2461, 2461.
+\sys\net\if_enc.c (290): error V595: The '* ctx->mp' pointer was utilized before it was verified against nullptr. Check lines: 290, 293.
+\sys\net\if_spppsubr.c (4349): error V557: Array overrun is possible. The '3' index is pointing beyond array bound.
+\sys\net\if_spppsubr.c (4348): error V557: Array overrun is possible. The '2' index is pointing beyond array bound.
+\sys\net\route.c (1805): error V595: The 'rt->rt_ifa' pointer was utilized before it was verified against nullptr. Check lines: 1805, 1817.
+\sys\net\rtsock.c (963): error V595: The 'sa' pointer was utilized before it was verified against nullptr. Check lines: 963, 974.
+\sys\net\slcompress.c (565): error V567: Undefined behavior. The 'cp' variable is modified while being used twice between sequence points.
+\sys\net\slcompress.c (567): error V567: Undefined behavior. The 'cp' variable is modified while being used twice between sequence points.
+\sys\net\slcompress.c (563): error V567: Undefined behavior. The 'cp' variable is modified while being used twice between sequence points.
+\sys\net\slcompress.c (571): error V567: Undefined behavior. The 'cp' variable is modified while being used twice between sequence points.
+\sys\net\slcompress.c (559): error V567: Undefined behavior. The 'cp' variable is modified while being used twice between sequence points.
+\sys\net80211\ieee80211_adhoc.c (676): error V634: The priority of the '*' operation is higher than that of the '<<' operation. It's possible that parentheses should be used in the expression.
+\sys\net80211\ieee80211_crypto_ccmp.c (347): error V512: A call of the 'memcpy' function will lead to the 'wh->i_addr1' buffer becoming out of range.
+\sys\net80211\ieee80211_hostap.c (1436): error V610: Undefined behavior. Check the shift operator '<<'. The right operand ('rsn_cipher(frm, & rsn->rsn_ucastkeylen)' = [0..32]) is greater than or equal to the length in bits of the promoted left operand.
+\sys\net80211\ieee80211_hostap.c (1289): error V610: Undefined behavior. Check the shift operator '<<'. The right operand ('wpa_cipher(frm, & rsn->rsn_ucastkeylen)' = [0..32]) is greater than or equal to the length in bits of the promoted left operand.
+\sys\net80211\ieee80211_hostap.c (1666): error V634: The priority of the '*' operation is higher than that of the '<<' operation. It's possible that parentheses should be used in the expression.
+\sys\net80211\ieee80211_mesh.c (3289): error V616: The '(IEEE80211_MPPID_MPM)' named constant with the value of 0 is used in the bitwise operation.
+\sys\net80211\ieee80211_mesh.c (3274): error V616: The '(IEEE80211_MPPID_MPM)' named constant with the value of 0 is used in the bitwise operation.
+\sys\net80211\ieee80211_mesh.c (3280): error V616: The '(IEEE80211_MPPID_MPM)' named constant with the value of 0 is used in the bitwise operation.
+\sys\net80211\ieee80211_output.c (924): error V616: The 'tid' named constant with the value of 0 is used in the bitwise operation.
+\sys\netgraph\atm\ngatmbase.c (160): error V595: The 'msg' pointer was utilized before it was verified against nullptr. Check lines: 160, 167.
+\sys\netgraph\bluetooth\l2cap\ng_l2cap_ulpi.c (1530): error V694: The condition (ptr+value) is only false if there is pointer overflow which is undefined behaviour anyway.
+\sys\netgraph\ng_nat.c (374): error V547: Expression is always false. Unsigned type value is never < 0.
+\sys\netgraph\ng_tty.c (387): error V547: Expression 'sc->outqlen >= 0' is always true. Unsigned type value is always >= 0.
+\sys\netinet\igmp.c (1939): error V547: Expression is always true. Probably the '&&' operator should be used here.
+\sys\netinet\in.c (1057): error V562: It's odd to compare 0 or 1 with a value of 0.
+\sys\netinet\ip_fastfwd.c (245): error V713: The pointer m was utilized in the logical expression before it was verified against nullptr in the same logical expression.
+\sys\netinet\ip_options.c (455): error V512: A call of the 'memcpy' function will lead to the '& (opts->ip_srcrt.nop)' buffer becoming out of range.
+\sys\netinet\libalias\alias_sctp.c (424): error V547: Expression 'level < 0' is always false. Unsigned type value is never < 0.
+\sys\netinet\sctp_input.c (5692): error V595: The 'stcb' pointer was utilized before it was verified against nullptr. Check lines: 5692, 5707.
+\sys\netinet\sctp_input.c (3024): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'cp'.
+\sys\netinet\sctp_input.c (3024): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& bkup'.
+\sys\netinet\sctp_input.c (912): error V595: The 'stcb->sctp_socket' pointer was utilized before it was verified against nullptr. Check lines: 912, 918.
+\sys\netinet\sctp_input.c (4863): error V595: The 'locked_tcb' pointer was utilized before it was verified against nullptr. Check lines: 4863, 4888.
+\sys\netinet\sctp_output.c (10691): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '~0' is negative.
+\sys\netinet\sctp_output.c (11290): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'hb->heartbeat.hb_info.address'.
+\sys\netinet\sctp_output.c (6861): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& ca->sndrcv'.
+\sys\netinet\sctp_output.c (2792): error V512: A call of the 'memcpy' function will lead to the '& ro->ro_dst' buffer becoming out of range.
+\sys\netinet\sctp_output.c (6861): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'srcv'.
+\sys\netinet\sctp_output.c (10616): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '~0' is negative.
+\sys\netinet\sctp_pcb.c (3127): error V512: A call of the 'memcpy' function will lead to the 'addr' buffer becoming out of range.
+\sys\netinet\sctp_pcb.c (3884): error V595: The 'stcb' pointer was utilized before it was verified against nullptr. Check lines: 3884, 3912.
+\sys\netinet\sctp_pcb.c (4730): error V595: The 'stcb' pointer was utilized before it was verified against nullptr. Check lines: 4730, 4739.
+\sys\netinet\sctp_pcb.c (4725): error V595: The 'stcb' pointer was utilized before it was verified against nullptr. Check lines: 4725, 4739.
+\sys\netinet\sctp_pcb.c (4726): error V595: The 'inp' pointer was utilized before it was verified against nullptr. Check lines: 4726, 4739.
+\sys\netinet\sctp_timer.c (116): error V595: The 'stcb' pointer was utilized before it was verified against nullptr. Check lines: 116, 120.
+\sys\netinet\sctp_usrreq.c (2861): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& ssp->ssp_addr'.
+\sys\netinet\sctp_usrreq.c (2815): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 's_info'.
+\sys\netinet\sctp_usrreq.c (2870): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& ssp->ssp_addr'.
+\sys\netinet\sctp_usrreq.c (1186): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'sas'.
+\sys\netinet\sctp_usrreq.c (1245): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'sas'.
+\sys\netinet\sctp_usrreq.c (2808): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 's_info'.
+\sys\netinet\sctputil.c (5649): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'sinfo'.
+\sys\netinet\sctputil.c (2849): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& spc->spc_aaddr'.
+\sys\netinet\sctputil.c (2837): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& spc->spc_aaddr'.
+\sys\netinet\sctputil.c (2849): error V512: A call of the 'memcpy' function will lead to the 'sa' buffer becoming out of range.
+\sys\netinet\sctputil.c (3268): error V595: The 'stcb->sctp_ep' pointer was utilized before it was verified against nullptr. Check lines: 3268, 3289.
+\sys\netinet\sctputil.c (3284): error V595: The 'stcb' pointer was utilized before it was verified against nullptr. Check lines: 3284, 3289.
+\sys\netinet\sctputil.c (3227): error V595: The 'stcb->sctp_ep' pointer was utilized before it was verified against nullptr. Check lines: 3227, 3229.
+\sys\netinet\sctputil.c (5649): error V512: A call of the 'memcpy' function will lead to underflow of the buffer 'control'.
+\sys\netinet6\icmp6.c (2358): error V562: It's odd to compare 0 or 1 with a value of 0.
+\sys\netinet6\in6.c (1318): error V502: Perhaps the '?:' operator works in a different way than it was expected. The '?:' operator has a lower priority than the '|' operator.
+\sys\netinet6\in6_mcast.c (1781): error V595: The 'in6p' pointer was utilized before it was verified against nullptr. Check lines: 1781, 1787.
+\sys\netinet6\ip6_input.c (1188): error V595: The 'm' pointer was utilized before it was verified against nullptr. Check lines: 1188, 1202.
+\sys\netinet6\ip6_input.c (560): error V595: The 'm' pointer was utilized before it was verified against nullptr. Check lines: 560, 572.
+\sys\netinet6\nd6.c (2119): error V590: Consider inspecting the 'error == 0 || error != - 1' expression. The expression is excessive or contains a misprint.
+\sys\netinet6\sctp6_usrreq.c (1164): error V512: A call of the 'memcpy' function will lead to overflow of the buffer 'addr'.
+\sys\netinet6\sctp6_usrreq.c (1201): error V512: A call of the 'memcpy' function will lead to overflow of the buffer 'addr'.
+\sys\netipsec\key.c (947): error V696: The 'continue' operator will terminate 'do { ... } while (FALSE)' loop because the condition is always false. Check lines: 947, 947.
+\sys\netipsec\key.c (2725): error V696: The 'continue' operator will terminate 'do { ... } while (FALSE)' loop because the condition is always false. Check lines: 2725, 2725.
+\sys\netipsec\key.c (1117): error V696: The 'continue' operator will terminate 'do { ... } while (FALSE)' loop because the condition is always false. Check lines: 1117, 1117.
+\sys\netipsec\key.c (7208): error V501: There are identical sub-expressions to the left and to the right of the '!=' operator: m->m_pkthdr.len != m->m_pkthdr.len
+\sys\netpfil\ipfw\ip_fw_dynamic.c (1503): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& (dst->rule)'.
+\sys\netpfil\ipfw\ip_fw_pfil.c (242): error V595: The '* m0' pointer was utilized before it was verified against nullptr. Check lines: 242, 253.
+\sys\netpfil\ipfw\ip_fw_sockopt.c (2893): error V501: There are identical sub-expressions '(uintptr_t) b->handler' to the left and to the right of the '>' operator.
+\sys\netpfil\ipfw\ip_fw_sockopt.c (2996): error V595: The 'ctl3_handlers' pointer was utilized before it was verified against nullptr. Check lines: 2996, 3000.
+\sys\netpfil\ipfw\ip_fw_sockopt.c (913): error V595: The 'map' pointer was utilized before it was verified against nullptr. Check lines: 913, 922.
+\sys\netpfil\ipfw\ip_fw_sockopt.c (2768): error V595: The 'ctl3_rewriters' pointer was utilized before it was verified against nullptr. Check lines: 2768, 2772.
+\sys\netpfil\ipfw\ip_fw_table_algo.c (3984): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& tent->k'.
+\sys\netpfil\ipfw\ip_fw_table_algo.c (1383): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& tent->k'.
+\sys\netpfil\ipfw\ip_fw_table_algo.c (529): error V512: A call of the 'memcpy' function will lead to underflow of the buffer '& tent->k'.
+\sys\netpfil\ipfw\ip_fw_table_value.c (100): error V512: A call of the 'memcmp' function will lead to underflow of the buffer '((struct table_val_link *) no)->pval'.
+\sys\netpfil\pf\if_pfsync.c (1685): error V595: The 'sc' pointer was utilized before it was verified against nullptr. Check lines: 1685, 1687.
+\sys\netpfil\pf\pf.c (1222): error V629: Consider inspecting the expression. Bit shifting of the 32-bit value with a subsequent expansion to the 64-bit type.
+\sys\netpfil\pf\pf_ioctl.c (1538): error V595: The 'newrule' pointer was utilized before it was verified against nullptr. Check lines: 1538, 1554.
+\sys\netpfil\pf\pf_ioctl.c (3592): error V595: The '* m' pointer was utilized before it was verified against nullptr. Check lines: 3592, 3594.
+\sys\netpfil\pf\pf_ioctl.c (2424): error V595: The 'newpa' pointer was utilized before it was verified against nullptr. Check lines: 2424, 2426.
+\sys\netpfil\pf\pf_table.c (464): error V595: The 'size2' pointer was utilized before it was verified against nullptr. Check lines: 464, 488.
+\sys\netpfil\pf\pf_table.c (911): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '-1' is negative.
+\sys\netpfil\pf\pf_table.c (918): error V610: Undefined behavior. Check the shift operator '<<'. The left operand '-1' is negative.
+\sys\nlm\nlm_advlock.c (317): error V595: The 'ns' pointer was utilized before it was verified against nullptr. Check lines: 317, 332.
+\sys\rpc\rpc_callmsg.c (107): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_callmsg.c (155): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_callmsg.c (118): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_callmsg.c (156): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_callmsg.c (108): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_callmsg.c (121): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_callmsg.c (120): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_callmsg.c (117): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_callmsg.c (112): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_callmsg.c (116): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_prot.c (193): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_prot.c (188): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\rpc_prot.c (187): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\svc_auth_unix.c (91): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\svc_auth_unix.c (98): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\svc_auth_unix.c (81): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\svc_auth_unix.c (82): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\svc_auth_unix.c (89): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\svc_auth_unix.c (90): error V567: Undefined behavior. The 'buf' variable is modified while being used twice between sequence points.
+\sys\rpc\svc_dg.c (275): error V595: The 'xprt->xp_socket' pointer was utilized before it was verified against nullptr. Check lines: 275, 280.
+\sys\rpc\svc_vc.c (458): error V595: The 'xprt->xp_socket' pointer was utilized before it was verified against nullptr. Check lines: 458, 465.
+\sys\security\audit\audit_syscalls.c (306): error V547: Expression 'udata.au_qctrl64.aq64_minfree < 0' is always false. Unsigned type value is never < 0.
+\sys\security\mac\mac_process.c (352): error V646: Consider inspecting the application's logic. It's possible that 'else' keyword is missing.
+\sys\security\mac_bsdextended\mac_bsdextended.c (128): error V617: Consider inspecting the condition. The '0x00000080' argument of the '|' bitwise operation contains a non-zero value.
+\sys\ufs\ufs\ufs_lookup.c (1477): error V595: The 'vp1' pointer was utilized before it was verified against nullptr. Check lines: 1477, 1487.
+\sys\x86\cpufreq\powernow.c (733): error V711: It is dangerous to create a local variable within a loop with a same name as a variable controlling this loop.
+\sys\x86\isa\clock.c (157): error V595: The 'sc' pointer was utilized before it was verified against nullptr. Check lines: 157, 169.