Polyspace error during Normalization of xiosbase include file

2012 2 7
2 个回答
4 次查看（30 天）

0 个投票

Hi,
I am facing following Polyspace error while analyzing c++ code. Can any one help me in resolving this issue. Thanks in advance.
"c:\Program File (x86)\Microsoft Visual Studio 9.0\include\xiosbase, line 290 (column 13): Limitation: Unauthorized throw outside of the handler. This construction is not supported by polyspace Verifier. The computation has been halted"

请先登录，再回答此问题。

回答（2 个）

Christian Bard
Christian Bard 2012-6-14

0 个投票

The way to workaround this issue is to follow these steps:
  • copy xiosbase near configuration file and rename it as ps_xiosbase
  • Edit ps_xiosbase and replace at line 290 _RERAISE; with ;
  • relaunch using -include path_to/ps_xiosbase
ps_xiosbase will then be used before xiosbase and allows to workaround limitation
Christian Bard
Christian Bard 2012-9-21

0 个投票

Another way to workaround the limitation consists in relaunching with option –functions-to-stub std::ios_base::clear. It will force Polyspace to stub all clear() methods inside ios_base class even if bodies have been provided.

类别

在 帮助中心 和 File Exchange 中查找有关 Troubleshoot Compilation Errors 的更多信息

标签

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by