Static verifier out of memory message

[albert]

I tried the "Static Verifier" on the project I'm working on.
I succesfully coompiled al sources to .o files. During running the linker I get the following message:
Fatal compilation error: Out of memory asking for 2097160.
icpc: error #10014: problem during multi-file optimization compilation (code 1)

I'm using the Intel 10.1 compiler on a 64-bit linux system.

Is there a way to overcome this problem?

Albert

[Steven_L_Intel1]

Unfortunately, not. While 10.1 does reduce the memory needed by SV, it still uses a lot and large applications may not be buildable with SV.

[albert]

That is a pity. That the application is not buildable would be OK but I would like to have it checked at least (but this probably requires building it).

I did another run (on the same soures) wit some other settings and now I get:
(0): internal error: backend signals

icpc: error #10014: problem during multi-file optimization compilation (code 4)

Best Regards

Albert