After annotation and suitability report for a code segment, I failed to generate correctness report. Before the program launches, the process is stopped by an error message:
Loaded module: C:\Windows\system32\VERSION.dll.
Loaded module: C:\Windows\system32\MSVCR100.dll.
Loaded module: C:\Windows\system32\uxtheme.dll.
Loaded module: C:\Windows\system32\dwmapi.dll.
Loaded module: C:\Windows\system32\MFC100ENU.DLL.
Loaded module: C:\Program Files (x86)\Intel\Advisor XE 2013\bin32\runtime\libittnotify.dll.
Loaded module: C:\Windows\system32\profapi.dll.
An internal error has occurred. Our apologies for this inconvenience. Please gather a description of the steps leading up to the problem and contact the Intel customer support team.
Application exit code: -1"
I use Visual C++ compiler on Windows 7 platform, debug build with recommended settings. I understand this question is very vague at this point, as I do not have any clue about it, but I could provide any further details upon request.
P.S. similar problem happens while running Intel Inspector.