Неизвестная ошибка прототипа функции

Проблема

На фазе компиляции программное обеспечение отображает предупреждение или сообщение об ошибке о неизвестном прототипе функции.

the prototype for function 'myfunc' is unknown
Сообщение указывает, что Polyspace® не удается найти прототип функции. Поэтому он не может идентифицировать типы данных аргумента функции и возвращаемого значения, и должен вывести их из вызовов функции.

Для определения типов данных для таких функций Polyspace следует стандарту C99 (ISO/IEC 9899:1999, глава 6.5.2.2: Вызовы).

  • Тип возврата принимается следующим int.

  • Количество и тип аргументов определяются первым вызовом функции. Например, если функция принимает одну double аргумент в первом вызове, для последующих вызовов программное обеспечение принимает один double аргумент. Если вы передаете int аргумент в последующем вызове, преобразование из int на double происходит.

Во время фазы связывания, если происходит несоответствие между количеством или типом аргументов или типом возврата в различных модулях компиляции, анализ следует внутреннему алгоритму, чтобы устранить это несоответствие и определить общий прототип.

Причина

Указанный исходный код не содержит прототипа функции. Например, функция объявлена в файле включения, который Polyspace не может найти.

Если вы #include-d файл включения в исходный код, но не добавил его к своему проекту Polyspace, вы видите предыдущее предупреждение:

Warning: could not find include file "my_include.h"

Решение

Поиск объявления функции в вашем исходном репозитории.

Если вы находите объявление функции в файле включения, добавьте папку, которая содержит файл включения.