Вызванная функция не возвращается к вызову контекста
Это начинает работу, вызов функции появляется, когда следующие условия содержат:
Вызванная функция не возвращается к своему контексту вызова. Вызов приводит к определенной ошибке времени выполнения или функции завершения процесса как exit()
в теле функции.
Существуют другие вызовы той же функции, которые не приводят к определенной ошибке или функции завершения процесса в теле функции.
Когда только часть вызовов функционального вывода к определенной ошибке, эта проверка помогает идентифицировать те вызовы функции. В теле функции, даже при том, что определенная ошибка происходит, ошибка появляется в оранжевом вместо красного, потому что результаты верификации в теле функции агрегированы по всем вызовам функции. Чтобы указать, что определенная ошибка произошла, красную проверку вызова Незавершения показывают на вызове функции вместо этого.
В противном случае, если все вызовы функционального вывода к определенной ошибке или функции завершения процесса в теле функции, Не останавливающаяся ошибка вызова не отображена. Ошибка появляется в красном в теле функции, и пунктирное красное подчеркивание появляется на вызовах функции. Однако после вызова функции, как другие красные ошибки, Polyspace® не анализирует остающийся код в том же осциллографе как вызов функции.
Можно перейти непосредственно от вызова функции до операции, вызывающей ошибку времени выполнения в теле функции.
Чтобы найти источник ошибки, на панели Source, устанавливают ваш курсор на ключевое слово цикла и просматривают подсказку.
Перейдите к источнику ошибки в теле функции. Щелкните правой кнопкой по вызову функции и выберите Go to Cause, если опция существует.
Если ошибка является результатом нескольких причин, опция берет вас к первой причине в теле функции. Несколько причин могут произойти, например, когда некоторые значения аргумента функции инициировали одну определенную ошибку, и другие значения инициировали другие ошибки.
Рассмотрите и зафиксируйте неостанавливающиеся проверки вызова
Группа: Поток управления |
Язык: C | C++ |
Акроним: NTC |