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

Проблема

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

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"

Решение

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

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