Coverity-updates archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

New Defects reported by Coverity Scan for NetBSD



Hi,
Please find the latest report on new defect(s) introduced to NetBSD 
(NetBSD-amd64-kernel) found with Coverity Scan
Defect(s) Reported-by: Coverity Scan
 
** CID 1128447: Structurally dead code (UNREACHABLE)
/sys/kern/exec_elf.c: 983
** CID 1128380: Structurally dead code (UNREACHABLE)
/sys/kern/exec_elf.c: 983
** CID 1128377: Logically dead code (DEADCODE)
/sys/arch/x86/x86/intel_busclock.c: 216
________________________________________________________________________
CID 1128447: Structurally dead code (UNREACHABLE)
/sys/kern/exec_elf.c: 983 ( unreachable)
 980 /*
 981 * Dunno, warn for diagnostic
 982 */
>>> CID 1128447: Structurally dead code (UNREACHABLE)
>>> This code cannot be reached: "goto bad;".
 983 goto bad;
 984 
 985 case ELF_NOTE_TYPE_SUSE_VERSION_TAG:
 986 break;
 987 
 
________________________________________________________________________
CID 1128380: Structurally dead code (UNREACHABLE)
/sys/kern/exec_elf.c: 983 ( unreachable)
 980 /*
 981 * Dunno, warn for diagnostic
 982 */
>>> CID 1128380: Structurally dead code (UNREACHABLE)
>>> This code cannot be reached: "goto bad;".
 983 goto bad;
 984 
 985 case ELF_NOTE_TYPE_SUSE_VERSION_TAG:
 986 break;
 987 
 
________________________________________________________________________
CID 1128377: Logically dead code (DEADCODE)
/sys/arch/x86/x86/intel_busclock.c: 216 ( dead_error_condition)
 213 goto print_msr;
 214 }
 215 break;
>>> The switch value "(ci->ci_signature >> 4) & 0xfU" cannot be "28U".
 216 case 0x1c: /* Atom */
 217 case 0x26:
 218 case 0x27:
 219 case 0x35:
 220 case 0x36:
 
/sys/arch/x86/x86/intel_busclock.c: 216 ( dead_error_line)
 213 goto print_msr;
 214 }
 215 break;
>>> CID 1128377: Logically dead code (DEADCODE)
>>> Execution cannot reach this statement "case 28U:".
 216 case 0x1c: /* Atom */
 217 case 0x26:
 218 case 0x27:
 219 case 0x35:
 220 case 0x36:
 
________________________________________________________________________
To view the defects in Coverity Scan visit, http://scan.coverity.com
To unsubscribe from the email notification for new defects, 
http://scan5.coverity.com/cgi-bin/unsubscribe.py


Home | Main Index | Thread Index | Old Index

AltStyle によって変換されたページ (->オリジナル) /