A strange error occurs during Compilation part Failed with the message: The process “ps_cxx_fe” received the signal 9

Hello

While running Polyspace Code Prover, Compilation part Failed with the message: The process “ps_cxx_fe” received the signal 9

Using with the version : <polyspace-code-prover R2020a PID3692 PGID3692> polyspace-version=10.2 (R2020a)

Type /home/arc/BMWARCAM/SVN/Module_1/CP_Result_Algo_2/kill-rte-kernel on host arc-ubuntu to halt Verifier process

Checking license ...

License is OK

Polyspace C++ verification

Copyright 1999-2020 The MathWorks, Inc.

All rights reserved.

Starting at: Mon May 23 13:31:36 2022

Host: Linux arc-ubuntu 5.13.0-40-generic x86_64

User: arc

**********************************************************

***

*** GNU C++ 7.x source compliance checking

***

**********************************************************

Warning: wchar_t is defined as unsigned int

Verifying GNU C++ 7.x sources ...

Verifying XXXXservice.h

Error: The process "ps_cxx_fe" received the signal 9.

/home/arc/FOLDER/CodeBase/user_application/src/XXXX/include/XXXXservice.h: warning: Failed compilation.

Verifying diagnostic.h

Verifying huinterface.h

Error: The process "ps_cxx_fe" received the signal 9.

/home/arc/FOLDER/CodeBase/user_application/src/XXXX/include/huinterface.h: warning: Failed compilation.

Verifying nsmclient.h

Verifying vehparamclient.h

Verifying XXXXservice.cpp

Error: The process "ps_cxx_fe" received the signal 9.

/home/arc/FOLDER/CodeBase/user_application/src/XXXX/src/XXXXservice.cpp: warning: Failed compilation.

Verifying diagnostic.cpp

Verifying huinterface.cpp

Error: The process "ps_cxx_fe" received the signal 9.

/home/arc/FOLDER/CodeBase/user_application/src/XXXX/src/huinterface.cpp: warning: Failed compilation.

Verifying nsmclient.cpp

Verifying vehparamclient.cpp

Warning: 4 files failed to compile (40% of all files).

| Trying to link compiled files anyway.

|

Error: The process "ps_cxx_fe" received the signal 9.

Can you please let me know how to resolve this Error ?

Thanks in Advance!!

[Anirban]

Please contact MathWorks Technical Support for further investigation into the problem. This error has been seen in rare cases, and depends on the context really. Technical Support will need some more information from you to diagnose the problem.

Answer 1

[Benjamin Colle]

Hello,

I am facing the same issue, for Bug Finder. Code Prover runs smoothly. Any tip to share, please?

Thanks.