Polyspace error during Normalization of xiosbase include file

1 次查看（过去 30 天）
Ranga Kolipaka
Ranga Kolipaka 2012-2-7
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
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
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.

类别

在 Help Center 和 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