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, более высокая оценка размера локальной переменной для func28. Разбивка по размеру показана в этой таблице.

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

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

В этом примере, принимая один байт для char, четыре байта для int и восемь байтов для double и четыре байта для выравнивания, более высокая оценка локального размера переменной для func 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 переменные с размером четырех байтов.