Почему GDB показывает два разных возврата?

Question

На прошлой неделе я отлаживал код, и возникла странная ситуация: GDB проходит через два разных условия возврата.Я сделал простой пример, который иллюстрирует ситуацию:

#include <iostream>

using namespace std;

int test() {

    string a = "asd";
    string b = "asd";

    while (true) {
        if (a == b) {
            return 0;
        }
    }
    return -1;
}

int main() {
    int result = test();
    cout << "result: " << result << endl;
}

При отладке кода, который я получил:

(gdb) b main
Breakpoint 1 at 0x1d4c: file example.cpp, line 19.
(gdb) r
Starting program: /Users/yuppienet/temp/a.out 
Reading symbols for shared libraries +++. done

Breakpoint 1, main () at example.cpp:19
19          int result = test();
(gdb) s
test () at example.cpp:7
7           string a = "asd";
(gdb) n
8           string b = "asd";
(gdb) n
11              if (a == b) {
(gdb) n
12                  return 0;
(gdb) n
15          return -1;
(gdb) n
16      }
(gdb) n
main () at example.cpp:20
20          cout << "result: " << result << endl;
(gdb) n
result: 0
21      }
(gdb) n
0x00001ab2 in start ()

Я заметил, что даже если GDB показывает строку 15, возвращаемое значение равно 0(команда finish также подтверждает это).

Итак, вопрос: почему GDB показывает строку 15: return -1, даже если функция на самом деле не возвращает это значение?

Спасибо!

Редактировать: я забыл упомянуть, что скомпилировал следующую строку:

g++ -Wall -pedantic -g -pg example.cpp

Answer 1

Я подозреваю, что вы видите эпилог функции. Ваши две строки имеют деструкторы, которые неявно вызываются при возврате. Посмотрите, что разборка говорит, чтобы быть уверенным, но я подозреваю, что оба оператора возврата соответствуют чему-то вроде:

stash return_value;
goto epilogue;

и соответственно:

epilogue: 
  destroy a; // on the stack, so destructor will be called
  destroy b;
  really_return(stashed value);

Эпилог, похоже, происходит из строки 15 как побочный эффект того, как g ++ выполняет нумерацию строк - довольно простой формат, на самом деле просто список тегов вида «адрес X исходит из строки Y» - сообщив 15 как ближайший матч. Запутывает в этом случае, но исправляет много времени.

Answer 2

Возможно, потому что регистр счетчика программы проходит через инструкции, которые лучше всего отображают на окончательный результат, то есть последовательность выхода функции. Фактическое возвращаемое значение, вероятно, хранится в регистре, поэтому первый return просто загружает правильное значение и переходит в конец функции, а затем этот адрес «возвращается обратно» в строку исходного кода финала return.

Answer 3

Вы не говорите, но если вы скомпилировали с оптимизацией, которая точно , то поведение, которое вы увидите в gdb. Вы видите первую строку, устанавливающую возвращаемое значение, а затем она переходит к действительной инструкции возврата, но в C ++ вы видите все это, включая возвращаемое значение.