[Qemu-devel] [Bug 1840648] [NEW] qemu-4.1.0/roms/edk2/MdeModulePkg/Universal/Disk/UdfDxe/FileName.c:161: logical fault ?

[dcb]

Public bug reported:

qemu-4.1.0/roms/edk2/MdeModulePkg/Universal/Disk/UdfDxe/FileName.c:161:71:
warning: Logical disjunction always evaluates to true: EXPR != '\\' ||
EXPR != '\0'. [incorrectLogicOperator]

Source code is

       if ((*(FileName - 1) != L'\\') && ((*(FileName + 2) != L'\\') ||
                                           (*(FileName + 2) != L'\0'))) {

Maybe better code:

       if ((*(FileName - 1) != L'\\') && ((*(FileName + 2) != L'\\') &&
                                           (*(FileName + 2) != L'\0'))) {

** Affects: qemu
     Importance: Undecided
         Status: New

-- 
You received this bug notification because you are a member of qemu-
devel-ml, which is subscribed to QEMU.
https://bugs.launchpad.net/bugs/1840648

Title:
  qemu-4.1.0/roms/edk2/MdeModulePkg/Universal/Disk/UdfDxe/FileName.c:161:
  logical fault ?

Status in QEMU:
  New

Bug description:
  qemu-4.1.0/roms/edk2/MdeModulePkg/Universal/Disk/UdfDxe/FileName.c:161:71:
  warning: Logical disjunction always evaluates to true: EXPR != '\\' ||
  EXPR != '\0'. [incorrectLogicOperator]

  Source code is

         if ((*(FileName - 1) != L'\\') && ((*(FileName + 2) != L'\\') ||
                                             (*(FileName + 2) != L'\0'))) {

  Maybe better code:

         if ((*(FileName - 1) != L'\\') && ((*(FileName + 2) != L'\\') &&
                                             (*(FileName + 2) != L'\0'))) {

To manage notifications about this bug go to:
https://bugs.launchpad.net/qemu/+bug/1840648/+subscriptions