How to fix this error "A segmentation fault occured in "edgcpfe.x​86-mingw32​.exe" "

Hello Matlab team, Am using polyspace R2012b software for "C" source code compilation. I created a project and kept using it for continuous verification. In midst, i face this error [A segmentation fault occured in "edgcpfe.x86-mingw32.exe"]. Please assist me how to fix this ?

Answer 1

[Alexandre De Barros]

Hi !

With this kind of problem, you should contact the support, and send them the log of the verification.

Best regards,

Alex

[Nikilesh]

Hi Alex Debarros,

When i encountered this issue, i recreated my project and it was working fine later. Also, in the help manuals this error is provided with a solution.

i.e

Fail with an error if no memory space is available: o

            Windows — Error: A segmentation fault occured in "edgcpfe.x86-mingw32.exe"
          o
            Linux — Error: The process "edgcpfe.x86-linux" received the signal 11.
    *
      Take a long time to complete.
To avoid this issue, rerun your verification with the following option:

-cfe-extra-flags --truncate_huge_initializer

And this is where i have a problem. How to use "-cfe-extra-flags --truncate_huge_initializer" these flags. So Alex, any assistance regarding these flags is very helpful to me.

[Alexandre De Barros]

Hi !

To specify this extra option, with the release R2012b, go to "Machine Configuration" then "Non-official options".

Regards,

Alex

[Carl]

I have the same issue, I'm also running R2012b getting the same Segmentation fault message.

I tried entering the above fix into the non-official options, however I still get the same segmentation fault.

From what I could find online, it appears the mingw stack might be too small. The fix for this (outside Polyspace), is adding -Wl, --stack, STACKSIZE, where stacksize is some number, to your make.

Is there any way to increase the stack size of mingw or is this some other error?

[Alexandre De Barros]

After some investigations with Carl, we found that it is due to the Compilation assistant.

To disable it, go to Preferences, then to the "Project and Results Folder" tab and uncheck "Use Compilation Assistant". Please note that disabling the assistant will not impact the results, since it is just a feature that suggests setup options.

--- Alex