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-i386-kernel) found with Coverity Scan

Defect(s) Reported-by: Coverity Scan

        
** 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 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