Intel® C++ Compiler
Community support and assistance for creating C++ code that runs on platforms based on Intel® processors.

Static verifier error

Lrdx
Beginner
358 Views

Hello,

I have Visual Studio 2008 SP1 and ICC 10.1.025 installed, and tried to use ICC's static verifier on one project of the solution, but I get the following output:


------ Rebuild All started: Project: XMLSaveLoad (NPS10\XMLSaveLoad), Configuration: DebugICC Win32 ------
Deleting intermediate files and output files for project 'XMLSaveLoad', configuration 'DebugICC|Win32'.
Compiling with Intel C++ 10.1.025 [IA-32]... (Intel C++ Environment)
XMLSaver.cpp
Edison Design Group C/C++ Front End, version 3.8 (Aug 5 2008 10:40:54)
Copyright 1988-2006 Edison Design Group, Inc.

XMLLoader.cpp
Edison Design Group C/C++ Front End, version 3.8 (Aug 5 2008 10:40:54)
Copyright 1988-2006 Edison Design Group, Inc.

Performing static verification... (Intel C++ Environment)
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1473): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1483): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1493): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1503): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1513): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1523): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1533): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1544): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1555): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1565): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1575): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1585): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1595): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1605): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1615): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1625): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1635): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1645): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1655): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1665): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1675): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1685): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1695): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1705): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1722): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1732): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1742): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1752): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1762): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1772): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1782): UNKNOWN lang_type->kind: 3
COMPicl: error #10014: problem during multi-file optimization compilation (code -1073741819)
Build log was saved at "file://C:\NPS10\0\Intermediate\XMLSaveLoad\DebugICC\BuildLog.htm"
XMLSaveLoad - 1 error(s), 0 warning(s)
========== Rebuild All: 1 succeeded, 0 failed, 0 skipped ==========


Also if I enable the diagnostic file, the second and the last line is truncated:


icl: error #10014: problem during multi-file optimization compilation (code -1073741819)
omcli.h:1473): UNKNOWN lang_type->kind: 3
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1483): UNKNOWN lang_type->kind: 3
(...)
COMPARE: VAR: pmField (C:\Program Files\Microsoft Visual Studio 9.0\VC\atlmfc\include\atlcomcli.h:1782): UNKNOWN lang_type->kind: 3
COMP


The fields the verifier complains on look like:


template<>
class CVarTypeInfo< unsigned char >
{
public:
static const VARTYPE VT = VT_UI1;
static unsigned char VARIANT::* const pmField;
};

__declspec( selectany ) unsigned char VARIANT::* const CVarTypeInfo< unsigned char >::pmField = &VARIANT::bVal;


with different types instead of unsigned char (char *, int, etc.)

If I disable static verifier, the code compiles with no warning. For other projects in the solution, I get similar errors.
Am I doing something wrong? It does not feel like the right output. Even, it complains to standard Microsoft headers.

Robert

0 Kudos
0 Replies
Reply