Examples of errors detected by the V650 diagnostic.


V650. Type casting operation is utilized 2 times in succession. Next, 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;
  ....
}


Do you make errors in the code?

Check your code
with PVS-Studio

Static code analysis
for C, C++, and C#

goto PVS-Studio;
On our website we use a cookie to collect information of a technical nature.
If you do not agree, please leave the site. Learn More →
Do not show again