Компиляторы Instruments™ Техаса налагают нестандартное требование к последовательностям папки на включать пути поиска файлов файла, который непосредственно не поддерживается Polyspace® механизм создания проекта от систем сборки (использующий polyspace-configure команда).
В результате, если вы создаете проект Polyspace из сборки, которая использует компилятор Texas Instruments после запуска анализа проекта, вы можете видеть предупреждение:
warning: could not find include file "stddef.h" | #include_next <stddef.h> |
Компиляторы Texas Instruments налагают определенный порядок, включают папки во включать путь поиска файлов файла. В частности, компиляторы требуют неявно заданного libcxx подпапка компилятора включает папку, чтобы предшествовать явным подпапкам на включать пути поиска файлов файла. Когда вы создаете проект Polyspace или файл опций путем трассировки команды сборки, файл проекта или опций содержит включать последовательность папки где неявно включенный libcxx подпапка прибывает после явных подпапок. В результате include_next линии в файлах в libcxx подпапка, которые только используют позже, включает папки в путь поиска файлов для, включают поиск файла, не удаются найти включенные файлы.
Работать вокруг проблемы:
В вашем проекте Polyspace или файле опций, найдите -I опции та точка к libcxx подпапки. Они появятся в линиях начиная с -options-for-sources, например:
-options-for-sources sourcefile.c;-I some_explicitly_included_folder;-I compiler_include_folder\libcxx;
Для каждого такого -options-for-sources линия, переключите порядок -I- s так, чтобы libcxx подпапка появляется первой, например:
-options-for-sources sourcefile.c;-I compiler_include_folder\libcxx;-I some_explicitly_included_folder;
polyspace-configure | Texas Instruments Compiler (-compiler ti) | -options-for-sources | -I
