Размер функционального возвращаемого значения

Размеры параметров функции

Размеры локальных переменных

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

type func (type param_1, ...) {

  {
    /* Scope 1 */
    type var_1, ...;
  }
  {
    /* Scope 2 */
    type var_2, ...;
  }
}

Переменная, заданная во вложенном осциллографе, не видима вне осциллографа. Поэтому некоторое стековое пространство повторного использования компиляторов для переменных задано в отдельных осциллографах. Эта метрика обеспечивает более точную оценку использования стека для таких компиляторов. В противном случае используйте метрический Higher Estimate of Local Variable Size. Эта метрика добавляет размер всех локальных переменных, заданы ли они во вложенных осциллографах.

Дополнительное дополнение введено для выравнивания памяти

Некоторые переменные хранятся в регистрах вместо на стеке.

Ваш компилятор выполняет переменный анализ живучести, чтобы включить определенную оптимизацию памяти. При вычислении этой метрики Polyspace^® не рассматривает эту оптимизацию.

Ваш компилятор использует дополнительную память во время вызова функции. Например, компиляторы хранят адрес, к которому выполнение возвращается после вызова функции. При вычислении этой метрики Polyspace не рассматривает это скрытое использование памяти.