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