int flag();

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

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

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

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() 0. Когда func2() вызовы func1(), временный объект класса MyClass создается. Временная переменная исключена из вычисления. Поскольку нет никаких явным образом заявленных переменных в теле func2, метрическое значение, о котором сообщают, 0.

class WrapperA {
private:
	int       start;
	int       end;
public:

	virtual int get_start() {
		return start;
	}
};


WrapperA aG;

WrapperA get_WrapperA_1() {
	//...
	return aG;
}


WrapperA  get_WrapperA_2() {
	//...
	WrapperA bL;
	return bL;
}


int main(){
	return 1;
}

В этом примере, функции get_WrapperA_1 и get_WrapperA_2 возвратите объекты класса WrapperA. Вы можете ожидать оценку для get_WrapperA_1 быть равным размеру aG. После возвращают оптимизацию типа, get_wrapperA_1() содержит WrapperA* введите указатель, который указывает на копию aG. Более низкая оценка размера локальной переменной для get_wrapperA_1() четыре байта.

Точно так же после оптимизации типа возврата, get_WrapperA_2 содержит WrapperA возразите и WrapperA* указатель. Более низкая оценка размера локальной переменной для get_wrapperA_2() 16 байтов.