Sistema

Instalación nueva de Codeblocks 12.11 + paquete mingw.

• ganar7 64
• CCG 4.7.1
• gdb 7.5

Código de ejemplo

Compilado con -g y sin optimización.

#include <stdio.h>

void foo(int a, int b);

int main() {

    foo(400, 42);

    return 0;
}

void foo(int a, int b) {

    a = a - 10;
    b = a + 1;

    printf("y2 %d\n", b);

}

Problema

Pongo un punto de interrupción en “void foo(int a, int b)” y busco el valor de b mientras paso por las 3 líneas. Ya sea con las funciones de depuración de Codeblocks o con la línea de comando gdb, el valor de b es 42 en lugar de ser 391. La salida de la consola es correcta, 391.

Comandos GDB

C:\DebugTest>"C:\Program Files (x86)\CodeBlocks\MinGW\bin\gdb.exe"
GNU gdb (GDB) 7.5
Copyright (C) 2012 Free Software Foundation, Inc.
License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html>
This is free software: you are free to change and redistribute it.
There is NO WARRANTY, to the extent permitted by law.  Type "show copying"
and "show warranty" for details.
This GDB was configured as "i686-pc-mingw32".
For bug reporting instructions, please see:  
<http://www.gnu.org/software/gdb/bugs/>.
(gdb) file bin/Debug/DebugTest.exe
Reading symbols from C:\DebugTest\bin\Debug\DebugTest.exe...done.
(gdb) break foo
Breakpoint 1 at 0x401363: file C:\DebugTest\main.c, line 14.
(gdb) run
Starting program: C:\DebugTest\bin\Debug\DebugTest.exe
[New Thread 3596.0x658]

Breakpoint 1, foo (a=400, b=42) at C:\DebugTest\main.c:14
14          a = a - 10;
(gdb) print b
$1 = 42
(gdb) step
15          b = a + 1;
(gdb) print b
$2 = 42
(gdb) step
17          printf("y2 %d\n", b);
(gdb) print b
$3 = 42
(gdb)

Observaciones

• Cuando el mismas operaciones están hechos sin una función, con a y b como variables locales dentro de main, la salida de depuración es correcto.
• Cuando se compila con gcc 4.4.1, la salida de depuración es correcto.

¿Alguna idea de lo que podría estar mal? =)

Busqué en gcc bugzilla y encontré este informe de error:

• Error 54218: la información de depuración de los parámetros de función es incorrecta cuando se compila con -O0″

Aunque el informe es sobre gcc 4.8 y estoy usando 4.7, probé la solución propuesta y ¡funciona!

Compilando con -fvar-tracking permite que GDB imprima el valor correcto para b después de la asignación.

gcc no genera información de depuración correctamente para valores que están en registros, ya sea valores que se han puesto en registros o valores que comienzan allí debido a las convenciones de llamadas. Este es un problema de larga data con gcc desde al menos 4.0, y hace que sea complicado depurar las cosas.

A veces, el optimizador es más inteligente que el depurador. Intente depurar el código no optimizado, o paso a paso el desensamblado y observe los registros HW directamente en lugar de recorrer las líneas fuente de C y observar la idea del depurador de cuáles son las variables.