Примеры ошибок, обнаруженных с помощью диагностики V650

V650. Type casting is used 2 times in a row. The '+' operation is executed. Probably meant: (T1)((T2)a + b).

Wine Is Not an Emulator

V650 Type casting operation is utilized 2 times in succession. Next, the '+' operation is executed. Probably meant: (T1)((T2)a + b). typelib.c 9147

static DWORD WMSFT_append_arraydesc(.... WMSFT_TLBFile *file)
{
  ....
  DWORD offs = file->arraydesc_seg.len;
  DWORD *encoded;
  encoded=(DWORD*)((char*)file->arraydesc_seg.data) + offs; // <=
  ....
}

Similar errors can be found in some other places:

• V650 Type casting operation is utilized 2 times in succession. Next, the '+' operation is executed. Probably meant: (T1)((T2)a + b). protocol.c 194

Wine Is Not an Emulator

V650 Type casting operation is utilized 2 times in succession. Next, the '+' operation is executed. Probably meant: (T1)((T2)a + b). descriptor.c 967

WINE_HIDP_PREPARSED_DATA* build_PreparseData(....)
{
  ....
  wine_report =
    (WINE_HID_REPORT*)((BYTE*)wine_report)+wine_report->dwSize;
  ....
}