Анализ останавливается с сообщением об ошибке, которое обращается к шаблонам классов, таким как map и vector от Стандартной библиотеки шаблонов.
Часто, сообщение об ошибке утверждает, что или оператор не может быть найден или больше чем одно соответствие оператора данными операндами.
Программное обеспечение Polyspace® обеспечивает эффективное внедрение всех шаблонов классов от Стандартной библиотеки шаблонов (STL). Если ваш исходный код повторно объявляет шаблоны, анализ может остановиться с сообщением об ошибке.
Использовать ваши собственные реализации шаблонов от Стандартной библиотеки шаблонов:
Отключите реализации Polyspace с помощью опции No STL stubs (-no-stl-stubs).
Добавьте папки, содержащие ваши реализации к верификации.
В пользовательском интерфейсе добавьте папку в свой проект.
Для получения дополнительной информации смотрите, Добавляют Исходные файлы для Анализа в Пользовательском интерфейсе Polyspace.
В командной строке используйте флаг -I с командой polyspace-code-prover.
Для получения дополнительной информации смотрите -I.
Используя ваш собственный шаблон определения может вызвать другую компиляцию и соединение ошибок.
