std Без префиксаАнализ Polyspace ® останавливается с сообщением об ошибке, например:
error: the global scope has no "modfl"
std:: префикс.Некоторые компиляторы позволяют использовать элементы стандартного пространства имен библиотеки без явного указания std:: префикс. Для таких компиляторов код может содержать такие строки:
using ::mblen;
mblen является членом стандартной библиотеки C++. Компиляция Polyspace рассматривает члены как часть глобального пространства имен и показывает ошибку.Это хорошая практика, чтобы квалифицировать членов стандартной библиотеки с std:: префикс. Например, для использования mblen в предыдущем примере перезаписать строку следующим образом:
using std::mblen;
Чтобы сохранить текущий код и обойти ошибку Polyspace, используйте опцию анализа -using-std. Если анализ выполняется в интерфейсе пользователя Polyspace, введите опцию в поле Другое (Other). Посмотрите Other.