Локальная переменная не инициализируется прежде чем быть считанным
Эта проверка происходит для каждого чтения локальной переменной. Это определяет, инициализируется ли считанная переменная.
Рассмотрите и зафиксируйте неинициализированные проверки локальной переменной
#include <stdio.h>
void main(void) {
int sum;
for(int i=1;i <= 10; i++)
sum+=i;
printf("The sum of the first 10 natural numbers is %d.", sum);
}Оператор sum+=i; сокращение для sum=sum+i;. Поскольку sum используется на правой стороне выражения прежде чем быть инициализированным, проверка Non-initialized local variable возвращает красную ошибку.
Одна возможная коррекция должна инициализировать sum перед for цикл.
#include <stdio.h>
void main(void) {
int sum=0;
for(int i=1;i <= 10; i++)
sum+=i;
printf("The sum of the first 10 natural numbers is %d.", sum);
}#include <stdio.h>
int getTerm();
void main(void) {
int count,sum=0,term;
while( count <= 10 && sum <1000) {
count++;
term = getTerm();
if(term > 0 && term <= 1000) sum += term;
}
printf("The sum of 10 terms is %d.", sum);
}В этом примере, переменной count не инициализируется перед сравнением count <= 10. Поэтому проверка Non-initialized local variable возвращает красную ошибку.
Одна возможная коррекция должна инициализировать count перед сравнением count <= 10.
#include <stdio.h>
int getTerm();
void main(void) {
int count=1,sum=0,term;
while( count <= 10 && sum <1000) {
count++;
term = getTerm();
if(term > 0 && term <= 1000) sum+= term;
}
printf("The sum of 10 terms is %d.", sum);
}#include <stdio.h>
int getShift();
int shift(int var) {
int shiftVal = getShift();
if(shiftVal > 0 && shiftVal < 1000)
return(var+shiftVal);
return 1000;
}
void main(void) {
int initVal;
printf("The result of a shift is %d",shift(initVal));
}
В этом примере, initVal не инициализируется, когда это передается shift(). Поэтому проверка Non-initialized local variable возвращает красную ошибку. Из-за красной ошибки Polyspace® не проверяет операции в shift().
Одна возможная коррекция должна инициализировать initVal прежде, чем передать shift(). initVal может быть инициализирован через функцию ввода. Чтобы избежать переполнения, значение, возвращенное от функции ввода, должно быть внутри границ.
#include <stdio.h>
int getShift();
int getInit();
int shift(int var) {
int shiftVal = getShift();
if(shiftVal > 0 && shiftVal < 1000)
return(var+shiftVal);
return 1000;
}
void main(void) {
int initVal=getInit();
if(initVal >0 && initVal < 1000)
printf("The result of a shift is %d",shift(initVal));
else
printf("Value must be between 0 and 1000.");
}
#include <stdio.h>
#define arrSize 19
void main(void)
{
int arr[arrSize],indexFront, indexBack;
for(indexFront = 0,indexBack = arrSize - 1;
indexFront < arrSize/2;
indexFront++, indexBack--) {
arr[indexFront] = indexFront;
arr[indexBack] = arrSize - indexBack - 1;
}
printf("The array elements are: \n");
for(indexFront = 0; indexFront < arrSize; indexFront++)
printf("Element[%d]: %d", indexFront, arr[indexFront]);
}В этом примере, в первом for цикл:
indexFront запуски от 0 до 8.
indexBack запуски от 18 до 10.
Поэтому arr[9] не инициализируется. Во втором for цикл, когда arr[9] передается printf, проверка Non-initialized local variable возвращает ошибку. Ошибка является оранжевой, потому что проверка возвращает ошибку только в одном из запусков цикла.
Из-за оранжевой ошибки в одном из запусков цикла, красная ошибка Non-terminating loop появляется на втором for цикл.
Одна возможная коррекция должна сохранить первый for неповрежденный цикл и инициализирует arr[9] вне for цикл.
#include <stdio.h>
#define arrSize 19
void main(void)
{
int arr[arrSize],indexFront, indexBack;
for(indexFront = 0,indexBack = arrSize - 1;
indexFront < arrSize/2;
indexFront++, indexBack--) {
arr[indexFront] = indexFront;
arr[indexBack] = arrSize - indexBack - 1;
}
arr[indexFront] = indexFront;
printf("The array elements are: \n");
for(indexFront = 0; indexFront < arrSize; indexFront++)
printf("Element[%d]: %d", indexFront, arr[indexFront]);
}typedef struct S {
int integerField;
char characterField;
}S;
void operateOnStructure(S);
void operateOnStructureField(int);
void main() {
S myStruct;
operateOnStructure(myStruct);
operateOnStructureField(myStruct.integerField);
}
В этом примере, структура myStruct не инициализируется. Поэтому, когда структура myStruct передается функциональному operateOnStructure, Non-initialized local variable начинает работу, структура кажется красной.
Одна возможная коррекция должна инициализировать структуру myStruct прежде, чем передать его функции.
typedef struct S {
int integerField;
char characterField;
}S;
void operateOnStructure(S);
void operateOnStructureField(int);
void main() {
S myStruct = {0,' '};
operateOnStructure(myStruct);
operateOnStructureField(myStruct.integerField);
}typedef struct S {
int integerField;
char characterField;
double doubleField;
}S;
int getIntegerField(void);
char getCharacterField(void);
void printIntegerField(int);
void printCharacterField(char);
void printFields(S s) {
printIntegerField(s.integerField);
printCharacterField(s.characterField);
}
void main() {
S myStruct;
myStruct.integerField = getIntegerField();
myStruct.characterField = getCharacterField();
printFields(myStruct);
}В этом примере Non-initialized local variable проверяет myStruct является зеленым потому что:
Поля integerField и characterField это используется, оба инициализируются.
Несмотря на то, что поле doubleField не инициализируется, нет никакой операции чтения или операции записи на поле doubleField в коде.
Чтобы определить, какие поля проверяются на инициализацию:
Выберите проверку на панели Results List или панели Source.
Просмотрите сообщение на панели Result Details.
typedef struct S {
int integerField;
char characterField;
double doubleField;
}S;
int getIntegerField(void);
char getCharacterField(void);
void printIntegerField(int);
void printCharacterField(char);
void printDoubleField(double);
void printFields(S s) {
printIntegerField(s.integerField);
printCharacterField(s.characterField);
printDoubleField(s.doubleField);
}
void main() {
S myStruct;
myStruct.integerField = getIntegerField();
myStruct.characterField = getCharacterField();
printFields(myStruct);
}В этом примере Non-initialized local variable проверяет myStruct является оранжевым потому что:
Поля integerField и characterField это используется, оба инициализируются.
Поле doubleField не инициализируется и на doubleField существует операция чтения в коде.
Чтобы определить, какие поля проверяются на инициализацию:
Выберите проверку на панели Results List или панели Source.
Просмотрите сообщение на панели Result Details.
| Группа: Поток данных |
| Язык: C | C++ |
| Акроним: NIVL |
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.