Polyspace error during Normalization of xiosbase include file

3 visualizaciones (últimos 30 días)
Ranga Kolipaka
Ranga Kolipaka el 7 de Feb. de 2012
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"

Respuestas (2)

Christian Bard
Christian Bard el 14 de Jun. de 2012
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 el 21 de Sept. de 2012
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.

Community Treasure Hunt

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

Start Hunting!

Translated by