int flag();

int func(int param) {
  int var_1;
  int var_2;
  if (flag()) {
      int var_3;
      int var_4;
    } else {
      int var_5;
    }
}

В этом примере, принимая 4 байта для int, более высокая оценка размера локальной переменной равняется 28. Разрыв размера показывают в этой таблице.

Никакое дополнение не введено для выравнивания памяти, потому что все включенные переменные имеют тот же тип.

char func(char param) {
  int var_1;
  char var_2;
  double var_3;
}

В этом примере, принимая один байт для char, четыре байта для int и восемь байтов для double и четыре байта для выравнивания, более высокая оценка размера локальной переменной равняется 20. Выравнивание обычно является размером слова на вашей платформе. В вашем проекте Polyspace вы задаете выравнивание через свой целевой процессор. Для получения дополнительной информации см. столбец Выравнивания в Target processor type (-target).

Разрыв размера показывают в этой таблице.

Правила для объема дополнения:

class MySimpleClass {
  public:
    MySimpleClass() {};
    MySimpleClass(int) {};
    ~MySimpleClass() {};  
};

int main() {
  MySimpleClass c;
  return 0;
}

В этом примере предполагаемые размеры локальной переменной:

class MyClass {
  public:
    MyClass() {};
    MyClass(int) {};
    ~MyClass() {};
  private:
    int i[10];   
};
void func1(const MyClass& c) {
}

void func2() {
  func1(4);  
}

В этом примере предполагаемый размер локальной переменной для func2() составляет 40 байтов. Когда func2() вызывает func1(), временный объект класса, MyClass создается. Объект имеет десять переменных int, каждого с размером четырех байтов.