Выполните один или несколько из этих шагов, пока вы не определите фиксацию для проверки Function not returning value. Для описания проверки и примеров кода, смотрите Function not returning value.
Для общего рабочего процесса, который применяется ко всем проверкам, смотрите, Интерпретируют Результаты Программы автоматического доказательства Кода в Пользовательском интерфейсе Рабочего стола Polyspace.
Выберите проверку на панели Results List. Панель Result Details отображает дополнительную информацию о проверке.
Вы видите:
Мгновенная причина проверки.
В этом примере программное обеспечение идентифицировало что функция с non-void возвратитесь тип не может иметь return оператор.
Вероятная первопричина проверки, если обозначено.
В этом примере программное обеспечение идентифицировало, что проверка возможно связана с путем. Больше чем один вызов функции существует, и проверка является зеленой по крайней мере на одном вызове.
Определите почему return оператор не существует на определенных путях к выполнению.
Просмотрите тело функции return операторы.
Если вы находите return оператор:
Смотрите если return оператор происходит в блоке в функции.
Например, return оператор происходит в if блок. Путь к выполнению, который не вводит if блок обходит return оператор.
Смотрите, можно ли идентифицировать пути к выполнению, которые обходят return оператор.
Например, if блокируйтесь, который содержит return оператор исключен для определенных входных параметров функции.
Если функция вызвана многократно в вашем коде, можно идентифицировать который вызов функции, ведомый к обходу return оператор. Используйте Контекст Чувствительности опции, чтобы определить цвет проверки для каждого вызова функции.
Возможная фиксация: Если тип возврата функции является неправильным, измените его. В противном случае добавьте return оператор на всех путях к выполнению. Например, если только часть ветвей if-else if-else условие имеет return оператор, добавляет return оператор в остающихся ветвях. В качестве альтернативы добавьте return оператор вне if-else if-else условие.
