Сомнение в отношении оптимизированного для хвоста кода под 'gdb' - PullRequest
3 голосов
/ 18 мая 2009

Рассмотрим хвостовую рекурсивную факториальную реализацию в C:

#include <stdio.h>

unsigned long long factorial(unsigned long long fact_so_far, unsigned long long count, unsigned long long max_count){

if (max_count==0 || max_count==1 || count >= max_count)
        return fact_so_far;
else
{
        printf("%llu  %p \n", count, &factorial);
        return factorial(fact_so_far * count, ++count, max_count);
}

}


int main(int argc, char **argv)
{
        unsigned long long n;
        scanf("%llu", &n);
        printf("\n Factorial %llu \n",factorial(1,0,n));
        return 0;

}

Я ставлю точку останова в 'factorial' и запускаю вышеупомянутое в 'gdb'. Точка останова никогда не срабатывает.

Предполагая, что его хвостовой вызов оптимизирован (я скомпилировал его, используя gcc -O2), он должен достичь точки останова, по крайней мере, один раз, IIRC.

РЕДАКТИРОВАТЬ: я получаю окончательный результат, не достигнув точки останова. Например,

(gdb) b factorial
Breakpoint 1 at 0x8048429: file factorial-tail.c, line 3.
(gdb) run
Starting program: /home/amit/quest/codes/factorial-tail 
5
0  0x8048420 
1  0x8048420 
2  0x8048420 
3  0x8048420 
4  0x8048420 

 Factorial 120 

Program exited normally.
(gdb) 

Куда я иду не так?

Ответы [ 2 ]

3 голосов
/ 18 мая 2009

Работает нормально для меня. Вы участвуете в использовании флага -g для добавления отладочной информации при компиляции? И вы помните, что вам нужно ввести число, чтобы вычислить факториал?

2 голосов
/ 19 мая 2009

Возможно, факториальная функция встроена в основную. Если это произойдет, будет вторая копия факториала, используемая для вызовов из других файлов .c; вот где была ваша точка останова. Попробуйте передать -fno-inline.

...