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

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

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 переменные, каждая размером четыре байта.