PVS-Studio warning V547 for ReactOS

static VOID
DetectBiosDisks(....)
{
  UCHAR DiskCount, i;
  ...
  for (i = 0; ! Changed && i < 512; i++)
  {
    Changed = ((PUCHAR)DISKREADBUFFER)[i] != 0xcd;
  }
  ...
}

An infinite loop will occur here if the first 255 bytes contain value 0xcd.


This suspicious code was found in ReactOS project by PVS-Studio static code analyzer.
Warning message is:
V547 Expression 'i < 512' is always true. The value range of unsigned char type: [0, 255]. freeldr_common xboxhw.c 344

PVS-Studio is a static analyzer for detecting bugs in the source code of applications written in C, C++, C++11, C++/CX. Site: http://www.viva64.com/en/pvs-studio/