-inline)Укажите функции, которые должны быть клонированы внутри для каждого вызова функции
Этот параметр влияет только на анализ программы проверки кода.
Укажите функции, которые должна клонировать проверка для каждого вызова функции.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта опция доступна в узле Масштабирование.
файл командной строки и параметров: Использовать параметр -inline. См. раздел Сведения о командной строке.
Используйте этот параметр экономно. Иногда использование опции помогает обойти проблемы масштабирования во время проверки. Если проверка занимает слишком много времени, служба технической поддержки может попросить вас использовать этот параметр для определенных функций.
Не используйте этот параметр для понимания результатов. Например, предположим, что функция вызывается дважды в коде. Цвет проверки для каждой операции в теле функции является совокупным результатом обоих вызовов. Если требуется различить цвета в двух вызовах, используйте опцию Sensitivity context (-context-sensitivity).
По умолчанию нет
Введите имена функций или выберите их из списка.
Щелкните
для добавления поля и введите имя функции.
Щелкните
, чтобы перечислить функции в коде. Выберите функции из списка.
Проверка внутренне клонирует функцию для каждого вызова. Например, если указана функция func для встраивания и func вызывается дважды, программное обеспечение внутренне создает две копии func для проверки.
Однако для каждой проверки во время выполнения в теле функции в результатах проверки отображается только один цвет. Семантика цвета проверки отличается от обычной спецификации.
Красные чеки:
Как правило, если функция вызывается дважды и операция вызывает определенную ошибку только в одном из вызовов, цвет проверки оранжевый.
При использовании этого параметра цвет изменяется на темно-оранжевый (отображается в списке результатов с оранжевым восклицательным знаком).
Серые чеки:
Обычно, если функция вызывается дважды, и if ветвь оператора недоступна только в одном из вызовов, ветвь отображается как доступная.
При использовании этой опции для проверки отображается наихудший цвет. Следовательно, if ветвь отображается серым цветом.
Под каждой сдачей на хранение встроенной функции отображается информация, относящаяся к каждому вызывающему контексту. Например, если возникает темно-оранжевое деление на ноль, поскольку вызов определенной функции приводит к определенному делению на ноль, можно идентифицировать вызов вместе со значениями, полученными в результате этого вызова.
Не используйте этот параметр для понимания результатов. Используйте эту опцию, только если определенная функция вызывает проблемы масштабирования.
Использование этой опции иногда может дублировать много кода и привести к проблемам масштабирования. Поэтому тщательно выбирайте функции, которые необходимо встроить.
Выберите функции для встраивания на основе подсказок, предоставленных при проверке псевдонима.
Не используйте эту опцию для функций точки входа, включая main.
Использование этой опции может увеличить количество серых проверок недостижимого кода.
Например, в следующем коде при вводе max для Inline вы получаете две проверки недостижимого кода, по одной для каждого вызова max.
int max(int a, int b) {
return a > b ? a : b;
}
void main() {
int i=3, j=1, k;
k=max(i,j);
i=0;
k=max(i,j);
}Если используется ключевое слово inline перед определением функции поместите определение в файл заголовка и вызовите функцию из нескольких исходных файлов. Результат будет таким же, как при использовании опции Inline.
Для кода C++ этот параметр применяется ко всем перегруженным методам класса.
Параметр: -inline |
Значение: |
| По умолчанию нет |
Пример (проверка кода): polyspace-code-prover -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |