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 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

Community Treasure Hunt

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

Start Hunting!

Translated by