Polyspace: Errors from Using Namespace std Without Prefix

Hi guys,

I have problem in Polyspace stating that the global scope has no "mblen".

I have tried the solution by adding std in using std::mblen; and also adding -using-std in the Advanced Setting by retaining the current code.

All those works still give error.

Thank you in advance.

Answer 1

[Anirban]

Please contact MathWorks Technical Support for a full investigation.

If you run Polyspace on the simple example on the mblen reference page, this error does not seem to appear (with the last few releases of Polyspace). MathWorks Technical Support will need to look at your analysis log to figure out what might be happening. See also Contact MathWorks Technical Support for information on what details might be useful for Technical Support.

[Zulham Mr]

Thank you, it works with the mblen reference page example. I will check my project setup again.