Error statement has no effect

error with code

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189

 
#include <iostream>
 #include <fstream>
 using namespace std;

void ifPrime(int, int, int);

int main()
 {
 ifstream inFile;
 ifstream savedata;
 ifPrime;
 int value;
	int value1; 
	int value2; 
	int value3; 
	int value4; 
	int value5; 
	int value6;
	int value7; 
	int value8;
	int value9;
	int value10; 
	int value11;
	int value12; 
	int value13; 
	int value14; 
	int value15; 
	int value16; 
	int value17; 
	int value18; 
	int value19; 
	int value20;
    int value21; 
	int value22; 
	int value23;
	int value24; 
	int value25; 
	int value26; 
	int value27; 
	int value28;
	int value29; 
	int value30; 
	int value31; 
	int value32; 
	int value33; 
	int value34; 
	int value35; 
	int value36; 
	int value37; 
	int value38; 
	int value39;
	int value40;
    int value41;
	int value42; 
	int value43; 
	int value44; 
	int value45; 
	int value46; 
	int value47;
	int value48; 
	int value49; 
	int value50;

 inFile.open("numbersinput.txt");
 cout << "reading data from the file" << endl;

 			inFile >> value1; 
            inFile >> value2; 
            inFile >> value3; 
			inFile >> value4; 
            inFile >> value5; 
            inFile >> value6; 
            inFile >> value7; 
            inFile >> value8;
            inFile >> value9;
            inFile >> value10;
            inFile >> value11; 
            inFile >> value12; 
            inFile >> value13; 
            inFile >> value14; 
            inFile >> value15; 
            inFile >> value16; 
            inFile >> value17; 
            inFile >> value18;
            inFile >> value19;
            inFile >> value20;
            inFile >> value21; 
            inFile >> value22; 
            inFile >> value23; 
            inFile >> value24; 
            inFile >> value25; 
            inFile >> value26; 
            inFile >> value27; 
            inFile >> value28;
            inFile >> value29;
            inFile >> value30;
            inFile >> value31; 
            inFile >> value32; 
            inFile >> value33; 
            inFile >> value34; 
			inFile >> value35;
			inFile >> value36;  
            inFile >> value37; 
            inFile >> value38;
            inFile >> value39;
            inFile >> value40;
            inFile >> value41;
            inFile >> value42;
            inFile >> value43;
            inFile >> value44;
            inFile >> value45;
            inFile >> value46;
            inFile >> value47;
            inFile >> value48;
            inFile >> value49;
            inFile >> value50;
            inFile.close();
            
            cout << "now saving numbers";
            
          savedata.open("inputnumbers.txt");
          	savedata >> value1; 
            savedata >> value2; 
            savedata >> value3; 
			savedata >> value4; 
           	savedata >> value5; 
            savedata >> value6; 
            savedata >> value7; 
            savedata >> value8;
            savedata >> value9;
            savedata >> value10;
            savedata >> value11; 
            savedata >> value12; 
            savedata >> value13; 
            savedata >> value14; 
            savedata >> value15; 
            savedata >> value16; 
            savedata >> value17; 
            savedata >> value18;
			savedata >> value19;
            savedata >> value20;
            savedata >> value21; 
            savedata >> value22; 
            savedata >> value23; 
            savedata >> value24; 
            savedata >> value25; 
            savedata >> value26; 
            savedata >> value27; 
            savedata >> value28;
            savedata >> value29;
            savedata >> value30;
            savedata >> value31; 
            savedata >> value32; 
            savedata >> value33; 
            savedata >> value34; 
			savedata >> value35;
			savedata >> value36;  
            savedata >> value37; 
            savedata >> value38;
            savedata >> value39;
            savedata >> value40;
            savedata >> value41;
            savedata >> value42;
            savedata >> value43;
			savedata >> value44;
            savedata >> value45;
            savedata >> value46;
            savedata >> value47;
            savedata >> value48;
            savedata >> value49;
            savedata >> value50;
     		savedata.close();
    ifPrime(value1, value2, value3);
        return 0;
        
}

 void IfPrime(int value1, int value2, int value3)
{
	if (value1 /=1, value1/=value1)
	{
		cout << "this number is prime";
	}
	else 
	{
		cout << "this number isnt prime";
	}
}

1
2
3

for( initialValue ; conditional ; update ) {
       // Do stuff as long as the conditional is true here
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

#include <iostream>
#include <fstream>
#include <cassert> // assert()

#define NUM_VALUES 50 // Easier to maintain/edit

using namespace std;

void ifPrime(int, int, int);

int main()
{
	ifstream inFile;
	//ifstream savedata;
	ofstream savedata; // This should be an output file stream, not an input file stream
	//ifPrime; What is this line supposed to do?
	int values[NUM_VALUES]; // Declares NUM_VALUES number of integer variables

	inFile.open("numbersinput.txt");
	assert(inFile); // Verifies file was found

	cout << "Reading data from the file..." << endl;

	for(unsigned int i = 0; i < NUM_VALUES; i++) {
		inFile >> values[i];
	}
	
	inFile.close();

	cout << "Now saving numbers...";

	savedata.open("inputnumbers.txt");
	assert(savedata); // Verifies file was opened

	for(unsigned int i = 0; i < NUM_VALUES; i++) {
		savedata << values[i];
	}

	savedata.close();

	ifPrime(values[0], values[1], values[2]);

	return 0;
}

//void IfPrime(int value1, int value2, int value3)
void ifPrime(int value1, int value2, int value3)
{
	//if( value1 /= 1, value1 /= value1 ) This is not a conditional (the way you intend at least)
	if( (value1 /= 1) == ?? || (value1 /= value1) == ?? ) // Every real number is divisible by one and itself
	{
		cout << "this number is prime";
	} else
	{
		cout << "this number isnt prime";
	}
}

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

#include <iostream>
#include <fstream>

// return true if n is a prime number; false otherwise
bool is_prime( int n )
{
    if( n < 2 ) return false ; // less than two: not prime
    if( n == 2 ) return true ; // two: prime
    if( n%2 == 0 ) return false ; // even number greater than two: not prime

    // TO DO rest of the code for the function
    // check if n is divisible by any number 3, 5, 7, 9 ... less than n 
    //      (less than or equal to square root of n, if we want to get fancy)
    // if it is divisible, it is not a prime; return false 

    return true ; // if n comes through the division tests
}

int main()
{
    const char* input_file_name = "numbersinput.txt" ;
    const char* output_file_name = "output.txt" ;

    std::ifstream input_file(input_file_name) ; // ifstream: open for input
    std::ofstream output_file(output_file_name) ; // ofstream: open for output

    int number ; // number to be read in from the input file
    while( input_file >> number ) // for each number read from the input file
    {
        if( is_prime(number) ) // if it is a prime number
        {
            output_file << number << 'n' ; // write it to the output file
        }
    }
}

Topic archived. No new replies allowed.

Сообщения об ошибках Сообщения об ошибках периода компиляции

«,» expected (Нужно указать «,»).

Array bounds missing «]» (Массив ограничивает отсутствие «]»).

Array must have at least one element (Массив должен иметь по крайней мере один элемент).

Call of nonfunction (Нефункциональное обращение).

Call to function ‘function’ with no prototype (Обращение к функции «функция» без прототипа).

Code has no effect (Код не имеет эффекта).

Compound statement missing «>» (Утверждение, пропускающее «>»).

Declaration is not allowed here (Здесь не допускается объявление).

Declaration missing «;» (Отсутствие объявления «;»).

Declaration syntax error (Синтаксическая ошибка, объявление переменной).

Declaration terminated incorrectly (Объявления, завершенные неправильно).

Delete array size missing «]» (Отсутствие скобки «]»).

do-while statement missing ;OR For statement missing ; (Отсутствие утверждения do-while, или отсутствие утверждения For).

Expression syntax (Ошибка синтаксиса в выражении).

Extra parameter in call to function (Недопустимый параметр в обращении к функции).

Function call missing «)» (В обращении к функции отсутствует «)»).

Illegal initialization (Неверная инициализация).

Illegal character ‘character’ (Неверный символ » символ «).

Illegal structure operation (Неверная операция структуры).

Illegal use of pointer (Неверное использование указателя).

‘identifier’ cannot start a parameter declaration (Идентификатор не может начать объявление параметра).

‘identifier‘ is assigned a value which is never used (Идентификатор определяет значение, которое ранее не использовалось).

Invalid indirection (Недопустимый ссылка).

Lvalue required (Требуется наименование выражения (адрес переменной)).

Member identifier expected (Ожидается значение идентификатора).

Multiple declaration for ‘identifier’ (Многократные объявления для идентификатора).

Must take address of a memory location (Необходимо взять адрес расположения памяти).

Non-portable pointer conversion (Преобразования указателя не переносятся).

Not an allowed type (Недопустимый тип).

Operator «[]» missing «]» (Оператор «[]» не имеет «]»).

Overlays only supported in medium, large, and huge memory models (Оверлейные программы, поддерживаемые только в среде, большие и огромные модели памяти).

Parameter ‘parameter‘ is never used (Параметр «параметр» ранее никогда не использовался).

Size of ‘identifier’ is unknown or zero (Размер идентификатора неизвестен или нуль).

Structure required on left side of . or .* (Ошибка структуры на левой стороне, или отсутствие «*»).

Two consecutive dots (Наличие двух последовательных точек).

Too few parameters in call to ‘function’ (Несколько параметров в обращении к «функции»).

Too many initializers (Слишком много инициализаторов).

Too many error or warning messages (Слишком много ошибок или предупреждений).

Type mismatch in parameter ‘parameter‘ in call to ‘function‘ (Несоответствие типов в параметре «параметр» при обращении к «функции»).

Type mismatch in redeclaration of ‘identifier‘ (Несоответствия типов в повторном определении идентификатора).

Value of type void is not allowed (Недопустимые значения типа).

Variable ‘identifier‘ is initialized more than once (Идентификатор переменной инициализирован более одного раза).

Unable to open include file ‘filename’ (Невозможно открыть файл).

Undefined structure ‘structure’ (Неопределенная структура «структура»).

Undefined symbol ‘identifier’ (Неопределенный символ идентификатора).

Undefined symbol ‘symbol‘ in module ‘module‘ (Неопределенный символ «символ» в модуле «модуль»).

Unknown preprocessor directive: ‘identifier‘ (Неизвестны директивы препроцессора: идентификатора).

Wrong number of arguments in call of macro ‘macro‘ (Неправильное число параметров в обращении макрокоманды » макрокоманда «).

Источник

MSC12-C. Detect and remove code that has no effect or is never executed

Code that has no effect or is never executed (that is, dead or unreachable code) is typically the result of a coding error and can cause unexpected behavior. Such code is usually optimized out of a program during compilation. However, to improve readability and ensure that logic errors are resolved, it should be identified, understood, and eliminated.

Statements or expressions that have no effect should be identified and removed from code. Most modern compilers, in many cases, can warn about code that has no effect or is never executed. (See MSC00-C. Compile cleanly at high warning levels.)

Noncompliant Code Example

This noncompliant code example demonstrates how dead code can be introduced into a program [Fortify 2006]. The second conditional statement, if (s) , will never evaluate true because it requires that s not be assigned NULL , and the only path where s can be assigned a non-null value ends with a return statement.

Compliant Solution

Remediation of dead code requires the programmer to determine why the code is never executed and then to resolve the situation appropriately. To correct the preceding noncompliant code, the return is removed from the body of the first conditional statement.

Noncompliant Code Example

In this example, the strlen() function is used to limit the number of times the function s_loop() will iterate. The conditional statement inside the loop evaluates to true when the current character in the string is the null terminator. However, because strlen() returns the number of characters that precede the null terminator, the conditional statement never evaluates true.

Compliant Solution

Removing the dead code depends on the intent of the programmer. Assuming the intent is to flag and process the last character before the null terminator, the conditional is adjusted to correctly determine if the i refers to the index of the last character before the null terminator.

Noncompliant Code Example (Assignment)

In this noncompliant code example, the comparison of a to b has no effect:

This code is likely a case of the programmer mistakenly using the equals operator == instead of the assignment operator = .

Compliant Solution (Assignment)

The assignment of b to a is now properly performed:

Noncompliant Code Example (Dereference)

In this example, a pointer increment and then a dereference occur, but the dereference has no effect:

Compliant Solution (Dereference)

Correcting this example depends on the intent of the programmer. For example, if dereferencing p was a mistake, then p should not be dereferenced.

If the intent was to increment the value referred to by p , then parentheses can be used to ensure p is dereferenced and then incremented. (See EXP00-C. Use parentheses for precedence of operation.)

Another possibility is that p is being used to reference a memory-mapped device. In this case, the variable p should be declared as volatile .

Noncompliant Code Example (if/else if)

A chain of if/else if statements is evaluated from top to bottom. At most, only one branch of the chain will be executed: the first one with a condition that evaluates to true. Consequently, duplicating a condition in a sequence of if/else if statements automatically leads to dead code.

Note that duplicating a condition violates this guideline only if the duplicate conditions always behave similarly. see a compliant solution below for a condition that is textually a duplicate but behaves differently.

Compliant Solution (if/else if)

In this compliant solution, the third conditional expression has been corrected.

Compliant Solution (Conditional Side-Effects)

This code does not violate this recommendation, because even though the conditions are textually identical, they have different side effects, because the getc() function advances the stream marker.

Noncompliant Code Example (logical operators)

Using the same subexpression on either side of a logical operator is almost always a mistake. In this noncompliant code example, the rightmost subexpression of the controlling expression of each if statement has no effect.

Compliant Solution (logical operators)

In this compliant solution, the rightmost subexpression of the controlling expression of each if statement has been removed.

Noncompliant Code Example (Unconditional Jump)

Unconditional jump statements typically has no effect.

Compliant Solution (Unconditional Jump)

The continue statement has been removed from this compliant solution.

Exceptions

MSC12-EX1: In some situations, seemingly dead code may make software resilient. An example is the default label in a switch statement whose controlling expression has an enumerated type and that specifies labels for all enumerations of the type. (See MSC01-C. Strive for logical completeness.) Because valid values of an enumerated type include all those of its underlying integer type, unless enumeration constants are provided for all those values, the default label is appropriate and necessary.

MSC12-EX2: It is permissible to temporarily remove code that may be needed later. (See MSC04-C. Use comments consistently and in a readable fashion for an illustration.)

MSC12-EX3: Unused functions and variables that are part of an exported library do not violate this guideline. Likewise, code that is never executed because it is #ifdef ed out does not violate this guideline, on the grounds that it could be subsequently used in another application, or built on a different platform.

Risk Assessment

The presence of code that has no effect or is never executed can indicate logic errors that may result in unexpected behavior and vulnerabilities. Such code can be introduced into programs in a variety of ways and eliminating it can require significant analysis.

Источник

expression has no effect error ? for loop and array

I have been trying to get my head around for loops in order to store data in an array.

I read this as if a occurs start loop if a does not occur (!a) stop loop and add that a has occurred again a++.

Then store the High[i] value in the array i created High_Array[h]=Current.

Any thoughts would be greatly appreciated

hey thanks whroeder1.

I thought a; was initiating the loop as in when a happens.

Ill change it to the equivalent and try that.

The warnings have now gone so a value must be present but still no change on the chart.

a = essentially a fractal with one candle either side.

Current = High[i] so the high point of the fractal.

Shouldn’t this store the high value when a fractal occurs in the High_Array.

Then i am asking if the current fractal High_Array[0] is less than

A is a boolean. What does it mean to increment true/false? If it was false, zero becomes one or true. if it was true, one becomes two which is true.

If it enters the loop, it can never exit and your indicator is forcibly terminated after 2.5 seconds. See the log.

A is a boolean. What does it mean to increment true/false? If it was false, zero becomes one or true. if it was true, one becomes two which is true.

If it enters the loop, it can never exit and your indicator is forcibly terminated after 2.5 seconds. See the log.

Yea the log returns

Order send failed, error #0

Its a While loop though, shouldn’t it automatically switch itself off when the (a) is false and then re-enter the loop when (a) is true ?

^^Thats my understanding of it

I’m obviously wrong somewhere as it isn’t plotting anything and I’m getting the error in the log but it compiles fine ?

i appreciate your help whroeder1

Error statement with no effect

cant figure out how to fix this error. here is the error code i get:
line col
11 9 [Error] statement has no effect [-Werror=unused-value]
11 9 [Error] statement is a reference, not call, to function ‘ifPrime’ [-Werror=address]
12 6 [Error] unused variable ‘value’ [-Werror=unused-variable]

help is greatly appreciated.

here is the numbers for the numbersinput file:

This program seems like a good chance to use a loop. A for loop has the following syntax:

Your conditionals for the ifPrime() function are also off.

Here is a link that will explain these things better than I can:
http://www.cplusplus.com/doc/tutorial/control/

Below is a restructured version of your program, although the ifPrime() function is still not correct:

You’re on the right track for the ifPrime function. I would use the modulus operator (%) which will return the remainder of division. EX: 15 % 2 = 1, since 15 / 2 has one as a remainder. Using that and a loop, iterate through values less than the value1 and break if value1 % loopCount equals 0. Additionally, why are there 3 values being passed to ifPrime? It only uses one of them.

In this situation, there is no need to store all the values from the file, not in an array, nor in many separate variables.

Just read a single value from the file, test whether or not it is prime, write it to the output file only if it is prime. Repeat.

Function ifprime should have a return type of bool and take a single parameter, the number being tested. Return true in the case of a prime number, otherwise return false.

bool ifPrime( int );

11 9 [Error] statement has no effect [-Werror=unused-value]
The statement ifPrime; does not call ifPrime, it just returns the function’s address, which is then thrown away. So the

on the program.

11 9 [Error] statement is a reference, not call, to function ‘ifPrime’ [-Werror=address]

Like I said, that statement doesn’t call function ifPrime.

12 6 [Error] unused variable ‘value’ [-Werror=unused-variable]
At line 13 you declare variable «value», but you never use it in the program.

One other bug: function names in C++ are case sensitive, so the function ifPrime() that you declare at line 6 is NOT the same as the function IfPrime that you call define at line 179

> this is for a project where they want us to test 50 numbers from an input file
> test them to see if they are prime and then if they are prime to put them in an output file.

Chervil +1
>> there is no need to store all the values from the file, not in an array, nor in many separate variables.
>> Just read a single value from the file, test whether or not it is prime,
>> write it to the output file only if it is prime. Repeat.

Источник

Исследование одного неопределённого поведения

В статье исследуются возможные проявления неопределённого поведения, возникающего в c++ при завершении не-void функции без вызова return с подходящим значением. Статья носит больше научно-развлекательный характер, чем практический.

Кому не нравится весело скакать по граблям — проходим мимо, не задерживаемся.

Введение

Всем известно, что при разработке c++-кода следует не допускать неопределённого поведения.
Однако:

• неопределённое поведение может казаться не достаточно опасным из-за абстрактности возможных последствий;
• не всегда понятно, где грань.

Попробуем конкретизировать возможные проявления неопределённого поведения, возникающего в одном довольно простом случае — в не-void функции отсутствует return.

Для этого рассмотрим код, генерируемый наиболее популярными компиляторами в разных режимах оптимизации.

Исследования под Linux будут проводиться с помощью Compiler Explorer. Исследования под Windows и macOs X — на непосредственно доступном мне железе.

Все сборки будут делаться для x86-x64.

Никаких мер для усиления либо подавления предупреждений/ошибок компиляторов предприниматься не будет.

Будет много дизассемблированного кода. Его оформление, к сожалению, разношёрстное, т.к. приходится использовать несколько разных инструментов (хорошо хоть удалось добиться везде синтаксиса Intel). К дизассемблированному коду я буду давать в меру подробные комментарии, которые, однако, не избавляют от необходимости знания регистров процессора и принципов работы стека.

Читаем Стандарт

6.6.3 The return statement
…
Flowing off the end of a function is equivalent to a return with no value; this results in undefined
behavior in a value-returning function.
…

Достижение конца функции эквивалентно выражению return без возвращаемого значения; для функции, у которой возвращаемое значение предусмотрено, это приводит к неопределённому поведению.

9.6.3 The return statement
…
Flowing off the end of a constructor, a destructor, or a function with a cv void return type is equivalent to a return with no operand. Otherwise, flowing off the end of a function other than main (6.8.3.1) results in undefined behavior.
…

Достижение конца конструктора, деструктора или функции с возвращаемым значением void (возможно, с квалификаторами const и volatile) эквивалентно выражению return без возвращаемого значения. Для всех других функций это приводит к неопределённому поведению (кроме функции main).

Что это значит на практике?

Если сигнатура функции предусматривает возвращаемое значение:

• её выполнение должно завершаться выражением return с экземпляром подходящего типа;
• иначе — неопределённое поведение;
• неопределённое поведение начинается не с момента вызова такой функции и не с момента использования возвращённого значение, а с момента ненадлежащего завершения такой функции;
• если функция содержит как корректные, так и некорректные пути выполнения — неопределённое поведение будет возникать только на некорректных путях;
• рассматриваемое неопределённое поведение не затрагивает выполнение инструкций, содержащихся в теле функции.

Фраза про функцию main не является новшеством c++17 — в предыдущих версиях Стандарта аналогичное исключение было описано в разделе 3.6.1 Main function.

Пример 1 — bool

В c++ нет ни одного типа с состоянием более простым, чем bool. Вот с него и начнём.

MSVC выдаёт на такой пример ошибку компиляции C4716, поэтому для MSVC код придётся слегка усложнить, предоставив хотя бы один корректный путь выполнения:

Даже в этом простейшем примере четыре компилятора продемонстрировали как минимум три варианта проявления неопределённого поведения.

Идём разбираться, что же там эти компиляторы накомпилировали.

Linux x86-x64 Clang 10.0.0, -O0

Последняя инструкция в функции bad() — ud2.

Описание инструкции из Intel 64 and IA-32 Architectures Software Developer’s Manual:

UD2—Undefined Instruction
Generates an invalid opcode exception. This instruction is provided for software testing to explicitly generate an invalid opcode exception. The opcode for this instruction is reserved for this purpose.
Other than raising the invalid opcode exception, this instruction has no effect on processor state or memory.

Even though it is the execution of the UD2 instruction that causes the invalid opcode exception, the instruction pointer saved by delivery of the exception references the UD2 instruction (and not the following instruction).

This instruction’s operation is the same in non-64-bit modes and 64-bit mode.

Если кратко — это специальная инструкция для генерации исключения.

Надо обернуть вызов bad() в блок try… catch !?

Как бы не так. Это не c++-исключение.

Можно ли отловить ud2 в рантайме?
Под Windows для этого следует использовать __try, под Linux и macOs X — обработчик сигнала SIGILL.

Linux x86-x64 Clang 10.0.0, -O1, -O2

В результате оптимизации компилятор просто взял и выбросил как тело функции bad(), так и её вызов.

Linux x86-x64 gcc 9.3, -O0

Пояснения (в обратном порядке, т.к. в данном случае цепочку проще разбирать с конца):

5. Вызывается оператор вывода в stream для bool (строка 14);

4. В регистр edi помещается адрес std::cout — это первый аргумент оператора вывода в stream (строка 13);

3. В регистр esi помещается содержимое регистра eax — это второй аргумент оператора вывода в stream (строка 12);

2. Обнуляются три старших байта eax, значение al при этом не меняется (строка 11);

1. Вызывается функция bad() (строка 10);

0. Функция bad() должна поместить возвращаемое значение в регистр al.

Вместо этого в строке 4 — nop (No Operation, пустышка).

В консоль выводится один байт мусора из регистра al. Программа завершается штатно.

Linux x86-x64 gcc 9.3, -O1, -O2, -O3

Компилятор всё повыбрасывал в результате оптимизации.

macOs X Apple clang version 11.0.0, -O0

Путь булевского аргумента оператора вывода в поток (на сей раз в прямом порядке):

1. В регистр edx помещается содержимое регистра al (строка 8);

2. Зануляются все биты регистра edx, кроме младшего (строка 9);

3. В регистр rdi помещается указатель на std::cout — это первый аргумент оператора вывода в stream (строка 10);

4. В регистр esi помещается содержимое регистра edx — это второй аргумент оператора вывода в stream (строка 11);

5. Вызывается оператор вывода в stream для bool (строка 13);

Функция main ожидает получить результат выполнения функции bad() из регистра al.

1. В регистр al помещается значение из следующего, ещё не выделенного, байта стека (строка 4);

2. Зануляются все биты регистра al, кроме младшего (строка 5);

В консоль выводится один бит мусора из нераспределённого стека. Так получилось, что при тестовом запуске там оказался ноль.

Программа завершается штатно.

macOs X Apple clang version 11.0.0, -O1, -O2

Булевский аргумент оператора вывода в stream обнуляется (строка 5).

Вызов bad() выброшен при оптимизации.

Программа всегда выводит в консоль ноль и завершается штатно.

Windows MSVC 2019 16.5.4, усложнённый пример, /Od

Видно, что функция bad() должна предоставить возвращаемое значение в регистре al.

Значение, возвращённое функцией bad(), помещается сначала на стек, а потом в регистр edx для вывода в stream.

В консоль выводится один байт мусора из регистра al (если чуть точнее — то младший байт результата rand()). Программа завершается штатно.

Windows MSVC 2019 16.5.4, усложнённый пример, /O1, /O2

Компилятор принудительно заинлайнил вызов bad(). Функция main():

• копирует в ebx один байт из памяти, находящейся по адресу [rsp+30h];
• в случае, если rand() вернул ноль, копирует единицу из ecx в ebx (строка 11);
• копирует это же значение в dl (точнее, его младший байт) (строка 13);
• вызывает функцию вывода в stream, осуществляющую вывод значения dl (строка 14).

В stream выводится один байт мусора из оперативной памяти (из адреса rsp+30h).

Вывод по примеру 1

Как оказалось, компиляторы продемонстрировали не 3, а целых 6 вариантов неопределённого поведения — просто до рассмотрения листингов дизассемблера мы не могли различить некоторые из них.

Пример 1a — управление неопределённым поведением

Попробуем немного порулить неопределённым поведением — повлиять на значение, возвращаемое функцией bad().

Это можно проделать только с теми компиляторами, которые выводят мусор.
Для этого надо подсовывать желаемые значения в те места, из которых компиляторы их будут брать.

Linux x86-x64 gcc 9.3, -O0

Пустая функция bad() не модифицирует значение регистра al, как от неё требует вызывающий код. Таким образом, если мы разместим в al определённое значение до вызова bad(), то ожидаем увидеть именно это значение в качестве результата выполнения bad().

Очевидно, что это можно сделать с помощью вызова любой другой функции, возвращающей bool. Но также это можно сделать с помощью функции, возвращающей, например, unsinged char.

Windows MSVC 2019 16.5.4, /Od

В примере для MSVC функция bad() возвращает младший байт результата rand().

Без модификации функции bad() внешний код может повлиять на возвращаемое ею значение, изменяя результат rand().

Windows MSVC 2019 16.5.4, /O1, /O2

macOs X Apple clang version 11.0.0, -O0

Надо перед вызовом bad() вписать определённое значение в ту ячейку памяти, которая будет на единицу младше вершины стека в момент вызова bad().

Пример предназначен для компиляции с опцией -O0, так что не стоит беспокоиться о сохранности переменной memory. Она не будет выброшена при оптимизации даже несмотря на то, что нигде не используется.

При этом переменная memory должна быть не просто единичным значением, а массивом — иначе компилятор располагает её в регистр процессора, а не на стек, как нам надо.

Пример не является универсальным, т.к. вообще компиляторы могут выделять на стеке больше памяти, чем необходимо для пользовательских переменных — тогда функция putToStack в текущем виде будет промахиваться.

Вроде получилось: удаётся менять выдачу функции bad(), и при этом учитывается только младший бит.

Вывод по примеру 1a

Пример позволил убедиться в корректности трактовки листингов дизассемблера.

Пример 1b — сломанный bool

Ну подууууумаешь, в консоль выведется «41» вместо «1»… Разве это опасно?

Проверять будем на двух компиляторах, предоставивших целый байт мусора.

Windows MSVC 2019 16.5.4, /Od

Неопределённое поведение привело к возникновению булевской переменной, которая ломает как минимум:

• операторы сравнения булевских значений;
• хеш-функцию булевского значения.

Windows MSVC 2019 16.5.4, /O1, /O2

badBool1: 213
badBool2: 137
if (badBool1): true
if (!badBool1): false
(badBool1 == true || badBool1 == false || badBool1 == badBool2): false
std::set .size(): 4
std::unordered_set .size(): 4

Работа с испорченной булевской переменной не изменилась при включении оптимизации.

Linux x86-x64 gcc 9.3, -O0

По сравнению с MSVC, в gcc добавилась ещё и некорректная работа оператора not.

Вывод по примеру 1b

Нарушение работы базовых операций с булевскими значениями может иметь серьёзные последствия для высокоуровневой логики.

Почему так произошло?

Потому что некоторые операции с булевскими переменными реализованы в предположении, что true — это строго единица.

В дизассемблере этот вопрос рассматривать не будем — статья и так получилась объёмной.

В очередной раз уточним таблицу с поведением компиляторов:

Четыре компилятора дали 7 различных проявлений неопределённого поведения.

Пример 2 — struct

Возьмём пример чуть посложнее:

Структура Test требует для конструирования один параметр типа int. Из её конструктора и деструктора производится вывод диагностических сообщений. Функция bad(int) имеет два корректных пути выполнения, ни один из которых не будет реализован при единственном вызове.

На этот раз — сначала таблица, потом разбор дизассемблера по непонятным пунктам.

Test() Проверка if (v == 1) не производится. Блок else if превратился в просто else. Linux x86-x64 gcc 9.3 -O0 rnd: 1804289383
4198608
Test::

Test() nop вместо вызова конструктора на некорректном пути выполнения.
value содержит мусор из стека. -O1, -O2, -O3 rnd: 1804289383
Test::Test(142)
142
Test::

Test() Проверка if (v == 1) не производится. Блок else if превратился в просто else. macOs X Apple clang version 11.0.0 -O0 The program has unexpectedly finished. rnd: 16807 ud2 -O1, -O2 rnd: 16807
Test::Test(142)
142
Test::

Test() Проверка if (v == 1) не производится. Блок else if превратился в просто else. Windows MSVC 2019 16.5.4 /Od /RTCs Access violation reading location 0x00000000CCCCCCCC rnd: 41 Побочный эффект MSVC stack frame run-time error checking /Od, /O1, /O2 rnd: 41
8791061810776
Test::

Test() Мусор из ячейки памяти, адрес которой оказался в rax

Опять мы видим множество вариантов: кроме уже известного ud2 есть ещё как минимум 4 разных поведения.

Весьма интересно обращение компиляторов с конструктором:

• в одних случаях выполнение продолжилось без вызова конструктора — в этом случае объект оказался в каком-то случайном состоянии;
• в других случаях произошёл вызов конструктора, не предусмотренный на пути выполнения, что довольно странно.

Linux x86-x64 Clang 10.0.0, -O1, -O2

В коде производится только одно сравнение (строка 14), и присутствует только один условный переход (строка 15). Компилятор проигнорировал второе сравнение и второй условный переход.
Это наводит на подозрение, что неопределённое поведение началось раньше, чем предписывает Стандарт.

Но проверка условия второго if не содержит побочных эффектов, и логика компилятора сработала следующим образом:

• если второе условие окажется верным — надо вызвать конструктор Test с аргументом 142;
• если второе условие окажется не верным — произойдёт выход из функции без возрата значения, что означает неопределённое поведение, при котором компилятор может сделать всё, что угодно. В том числе — вызвать тот же конструктор с тем же аргументом;
• проверка является лишней, вызов конструктора Test с аргументом 142 можно производить без проверки условия.

Посмотрим, что произойдёт, если вторая проверка будет содержать условие с побочными эффектами:

Компилятор честно воспроизвёл все положенные побочные эффекты, вызвав rand() (строка 16), чем развеял сомнения о неподобающе раннем начале неопределённого поведения.

Windows MSVC 2019 16.5.4, /Od /RTCs

Опция /RTCs включает stack frame run-time error checking. Эта опция доступна только в debug-сборке. Рассмотрим дизассемблированный код участка main():

Перед вызовом bad(int) (строка 4) производится подготовка аргументов — в регистр edx копируется значение переменной rnd (строка 2), и в регистр rcx загружается эффективный адрес какой-то локальной переменной, расположенной по адресу rsp+28h (строка 3).

Предположительно, rsp+28 — адрес временной переменной, хранящей результат вызова bad(int).

Это предположение подтверждается строками 19 и 20 — эффективный адрес этой же переменной загружается в rcx, после чего вызывается деструктор.

Однако в интервале строк 4 — 18 к этой переменной нет обращения, несмотря на вывод в stream значения её поля данных.

Как мы видели из прошлых листингов MSVC, аргумент для оператора вывода в поток следует ожидать в регистре rdx. В регистр rdx попадает результат разыменования адреса, находящегося в rax (строка 9).

Таким образом, вызывающий код ожидает от bad(int):

• заполнения переменной, адрес которой передан через регистр rcx (тут мы видим RVO в действии);
• возврат адреса этой переменной через регистр rax.

Переходим к рассмотрению листинга bad(int):

• в eax заносится значение 0xCCCCCCCC, которое мы видели в сообщении Access violation (строка 9) (обратите внимание — только 4 байта, в то время как в сообщении AccessViolation адрес состоит из 8 байт);
• вызывается команда rep stos, осуществляющая 0xC циклов записи содержимого eax в память начиная с адреса rdi (строка 10). Это 48 байтов — ровно столько, сколько выделено на стеке в строке 6;
• на корректных путях выполнения в rax заносится значение из rsp+40h (строки 23, 36);
• значение регистра rcx (через который main() передал адрес назначения) помещается на стек по адресу rsp+8 (строка 4);
• в стек впихивается rdi, что приводит к уменьшению rsp на 8 (строка 5);
• на стеке выделяется 30h байт путём уменьшению rsp (строка 6).

Таким образом, rsp+8 в строке 4 и rsp+40h в остальной части кода — одно и то же значение.
Код довольно запутанный, т.к. в нём не применяется rbp.

В сообщении Access Violation есть целых две случайности:

• нули в старшей части адреса — там мог быть любой мусор;
• адрес случайно оказался некорректным.

Судя по всему, опция /RTCs включила затирание стека определёнными ненулевыми значениями, а сообщение Access Violation — лишь случайный побочный эффект.

Посмотрим, чем отличается код со включённой опцией /RTCs от кода без неё.

Код участков main() отличается только адресами локальных переменных на стеке.

(для наглядности я разместил рядом два варианта функции bad(int) — с /RTCs и без)
Без /RTCs исчезла инструкция rep stos и подготовка аргументов для неё в начале функции.

Пример 2a

Снова попробуем поуправлять неопределённым поведением. На этот раз только для одного компилятора.

Windows MSVC 2019 16.5.4, /Od /RTCs

С опцией /RTCs компилятор вставляет в начало функции bad(int) код, заполняющий младшую половину rax фиксированным значеним, что может приводить к Access violation.

Чтобы изменить это поведение, достаточно заполнить rax каким-либо корректным адресом.
Этого можно добиться очень простой модификацией: добавить в тело bad(int) вывод чего-нибудь в std::cout.

Источник

Code that has no effect or is never executed (that is, dead or unreachable code) is typically the result of a coding error and can cause unexpected behavior. Such code is usually optimized out of a program during compilation. However, to improve readability and ensure that logic errors are resolved, it should be identified, understood, and eliminated.

Statements or expressions that have no effect should be identified and removed from code. Most modern compilers, in many cases, can warn about code that has no effect or is never executed. (See MSC00-C. Compile cleanly at high warning levels.) 

Noncompliant Code Example

This noncompliant code example demonstrates how dead code can be introduced into a program [Fortify 2006]. The second conditional statement, if (s), will never evaluate true because it requires that s not be assigned NULL, and the only path where s can be assigned a non-null value ends with a return statement.

int func(int condition) {
    char *s = NULL;
    if (condition) {
        s = (char *)malloc(10);
        if (s == NULL) {
           /* Handle Error */
        }
        /* Process s */
        return 0;
    }
    /* Code that doesn't touch s */
    if (s) {
        /* This code is unreachable */
    }
    return 0;
}

Compliant Solution

Remediation of dead code requires the programmer to determine why the code is never executed and then to resolve the situation appropriately. To correct the preceding noncompliant code, the return is removed from the body of the first conditional statement.

int func(int condition) {
    char *s = NULL;
    if (condition) {
        s = (char *)malloc(10);
        if (s == NULL) {
           /* Handle error */
        }
        /* Process s */
    }
    /* Code that doesn't touch s */
    if (s) {
        /* This code is now reachable */
    }
    return 0;
}

Noncompliant Code Example

In this example, the strlen() function is used to limit the number of times the function s_loop() will iterate. The conditional statement inside the loop evaluates to true when the current character in the string is the null terminator. However, because strlen() returns the number of characters that precede the null terminator, the conditional statement never evaluates true.

int s_loop(char *s) {
    size_t i;
    size_t len = strlen(s);
    for (i=0; i < len; i++) {
        /* Code that doesn't change s, i, or len */
	  if (s[i] == '') {
	    /* This code is never reached */
      }
    }
    return 0;
}

Compliant Solution

Removing the dead code depends on the intent of the programmer. Assuming the intent is to flag and process the last character before the null terminator, the conditional is adjusted to correctly determine if the i refers to the index of the last character before the null terminator.

int s_loop(char *s) {
    size_t i;
    size_t len = strlen(s);
    for (i=0; i < len; i++) {
        /* Code that doesn't change s, i, or len */
	  if (s[i+1] == '') {
	    /* This code is now reached */
      }
    }
    return 0;
}

Noncompliant Code Example (Assignment)

In this noncompliant code example, the comparison of a to b has no effect:

int a;
int b;
/* ... */
a == b;

This code is likely a case of the programmer mistakenly using the equals operator == instead of the assignment operator =.

Compliant Solution (Assignment)

The assignment of b to a is now properly performed:

int a;
int b;
/* ... */
a = b;

Noncompliant Code Example (Dereference)

In this example, a pointer increment and then a dereference occur, but the dereference has no effect:

Compliant Solution (Dereference)

Correcting this example depends on the intent of the programmer. For example, if dereferencing p was a mistake, then p should not be dereferenced.

If the intent was to increment the value referred to by p, then parentheses can be used to ensure p is dereferenced and then incremented. (See EXP00-C. Use parentheses for precedence of operation.)

int *p;
/* ... */
(*p)++;

Another possibility is that p is being used to reference a memory-mapped device. In this case, the variable p should be declared as volatile.

volatile int *p;
/* ... */
(void) *(p++);

Noncompliant Code Example (if/else if)

A chain of if/else if statements is evaluated from top to bottom. At most, only one branch of the chain will be executed: the first one with a condition that evaluates to true. Consequently, duplicating a condition in a sequence of if/else if statements automatically leads to dead code.

if (param == 1)
   openWindow();
 else if (param == 2)
   closeWindow();
 else if (param == 1) /* Duplicated condition */
   moveWindowToTheBackground();

Note that duplicating a condition violates this guideline only if the duplicate conditions always behave similarly…see a compliant solution below for a condition that is textually a duplicate but behaves differently.

Compliant Solution (if/else if)

In this compliant solution, the third conditional expression has been corrected.

if (param == 1)
   openWindow();
 else if (param == 2)
   closeWindow();
 else if (param == 3)
   moveWindowToTheBackground();

Compliant Solution (Conditional Side-Effects)

This code does not violate this recommendation, because even though the conditions are textually identical, they have different side effects, because the getc()  function advances the stream marker.

if (getc() == ':')
   readMoreInput();
 else if (getc() == ':')
   readMoreInput();
 else if (getc() == ':')
   readMoreInput();

Noncompliant Code Example (logical operators)

Using the same subexpression on either side of a logical operator is almost always a mistake.  In this noncompliant code example, the rightmost subexpression of the controlling expression of each if statement has no effect.  

if (a == b && a == b) { // if the first one is true, the second one is too
  do_x();
}
if (a == c || a == c ) { // if the first one is true, the second one is too
  do_w();
}

Compliant Solution (logical operators)

In this compliant solution, the rightmost subexpression of the controlling expression of each if statement has been removed.

if (a == b) { 
  do_x();
}
if (a == c) { 
  do_w();
}

Noncompliant Code Example (Unconditional Jump)

Unconditional jump statements typically has no effect.  

#include <stdio.h>
 
for (int i = 0; i < 10; ++i) {
  printf("i is %d", i);
  continue;  // this is meaningless; the loop would continue anyway
}

Compliant Solution (Unconditional Jump)

The continue statement has been removed from this compliant solution.

#include <stdio.h>
 
for (int i = 0; i < 10; ++i) {
   printf("i is %d", i); 
}

Exceptions

MSC12-EX1: In some situations, seemingly dead code may make software resilient. An example is the default label in a switch statement whose controlling expression has an enumerated type and that specifies labels for all enumerations of the type. (See MSC01-C. Strive for logical completeness.) Because valid values of an enumerated type include all those of its underlying integer type, unless enumeration constants are provided for all those values, the default label is appropriate and necessary.

typedef enum { Red, Green, Blue } Color;
const char* f(Color c) {
  switch (c) {
    case Red: return "Red";
    case Green: return "Green";
    case Blue: return "Blue";
    default: return "Unknown color";   /* Not dead code */
  }
}

void g() {
  Color unknown = (Color)123;
  puts(f(unknown));
}

MSC12-EX2: It is permissible to temporarily remove code that may be needed later. (See MSC04-C. Use comments consistently and in a readable fashion for an illustration.)

MSC12-EX3: Unused functions and variables that are part of an exported library do not violate this guideline.  Likewise, code that is never executed because it is #ifdefed out does not violate this guideline, on the grounds that it could be subsequently used in another application, or built on a different platform.

Risk Assessment

The presence of code that has no effect or is never executed can indicate logic errors that may result in unexpected behavior and vulnerabilities. Such code can be introduced into programs in a variety of ways and eliminating it can require significant analysis.

Automated Detection

Related Vulnerabilities

Search for vulnerabilities resulting from the violation of this rule on the CERT website.

CVE-2014-1266 results from a violation of this rule. There is a spurious goto fail statement on line 631 of sslKeyExchange.c. This goto statement gets executed unconditionally, even though it is indented as if it were part of the preceding if statement. As a result, the call to sslRawVerify() (which would perform the actual signature verification) becomes dead code [ImperialViolet 2014].

Bibliography