PVS-Studio warning V529 for VirtualBox

void
SERVER_DISPATCH_APIENTRY crServerDispatchGetAttachedShaders(....)
{
  ....
  for (i=0; i<*pLocal; ++i);                          //<==
    ids[i] = crStateGLSLShaderHWIDtoID(ids[i]);
  ....
}

This suspicious code was found in VirtualBox project by PVS-Studio static code analyzer.
Warning message is:
V529 Odd semicolon ';' after 'for' operator. server_getshaders.c 92

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/