How to fix this error "A segmentation fault occured in "edgcpfe.x86-mingw32.exe" "
4 次查看(过去 30 天)
显示 更早的评论
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 ?
0 个评论
回答(1 个)
Alexandre De Barros
2014-9-22
Hi !
With this kind of problem, you should contact the support, and send them the log of the verification.
Best regards,
Alex
4 个评论
Carl
2014-10-14
编辑:Carl
2014-10-14
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
2014-10-17
编辑:Alexandre De Barros
2014-10-17
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
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Get Started with Polyspace Products for Ada 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!