Warum springt GDB unvorhersehbar zwischen Zeilen und druckt Variablen als "<Wert optimiert aus>"?

Kann jemand dieses Verhalten von GDB erklären?

900         memset(&new_ckpt_info,'\0',sizeof(CKPT_INFO));
(gdb)
**903         prev_offset   = cp_node->offset;**
(gdb)
**905         m_CPND_CKPTINFO_READ(ckpt_info,(char *)cb->shm_addr.ckpt_addr+sizeof(CKPT_** HDR),i_offset);
(gdb)
**903         prev_offset   = cp_node->offset;**
(gdb)
**905         m_CPND_CKPTINFO_READ(ckpt_info,(char *)cb->shm_addr.ckpt_addr+sizeof(CKPT_ HDR),i_offset);**
(gdb)
**908         bitmap_offset  = client_hdl/32;**
(gdb)
**910         bitmap_value = cpnd_client_bitmap_set(client_hdl%32);**
(gdb)
**908         bitmap_offset  = client_hdl/32;**
(gdb)
**910         bitmap_value = cpnd_client_bitmap_set(client_hdl%32);**
(gdb)
**908         bitmap_offset  = client_hdl/32;**
(gdb)
**910         bitmap_value = cpnd_client_bitmap_set(client_hdl%32);**
(gdb)
913         found = cpnd_find_exact_ckptinfo(cb , &ckpt_info , bitmap_offset , &offset , &prev_offset);
(gdb)
916         if(!found)
(gdb) p found
$1 = <value optimized out>
(gdb) set found=0
Left operand of assignment is not an lvalue.

Warum wird nach Ausführung von Zeile 903 dasselbe für 905 908 910 erneut ausgeführt?

Eine andere Sache ist foundeine boolVariable vom Typ. Warum wird sie angezeigt value optimized out? Ich kann den Wert auch nicht einstellen found.

Dies scheint eine Compiler-Optimierung zu sein (in diesem Fall seine -O2); Wie kann ich den Wert von noch einstellen found?

Lernen Sie zum Debuggen von optimiertem Code die Assembler- / Maschinensprache.

Verwenden Sie den GDB-TUI-Modus. Meine Kopie von GDB aktiviert es, wenn ich das Minus und die Eingabetaste eingebe. Geben Sie dann Cx 2 ein (dh halten Sie die Strg-Taste gedrückt und drücken Sie X, lassen Sie beide los und drücken Sie dann 2). Dadurch wird die Anzeige für geteilte Quellen und Demontage angezeigt. Verwenden Sie dann stepiund nexti, um jeweils eine Maschinenanweisung zu verschieben. Verwenden Sie Cx o, um zwischen den TUI-Fenstern zu wechseln.

Laden Sie ein PDF über die Maschinensprache Ihrer CPU und die Funktionsaufrufkonventionen herunter. Sie werden schnell erkennen, was mit Funktionsargumenten und Rückgabewerten gemacht wird.

Sie können den Wert eines Registers mit einem GDB-Befehl wie anzeigen p $eax

Ohne Optimierungen neu kompilieren (-O0 auf gcc).

Declare gefunden als „flüchtig“. Dies sollte den Compiler anweisen, es NICHT zu optimieren.

volatile int found = 0;

Der Compiler wird mit aktivierten Optimierungen sehr clevere Dinge tun. Der Debugger zeigt den Code an, der aufgrund der optimierten Art und Weise, wie Variablen in Registern gespeichert werden, viel vorwärts und rückwärts springt. Dies ist wahrscheinlich der Grund, warum Sie Ihre Variable nicht festlegen können (oder in einigen Fällen ihren Wert sehen können), da sie aus Geschwindigkeitsgründen geschickt zwischen den Registern verteilt wurde, anstatt über einen direkten Speicherort zu verfügen, auf den der Debugger zugreifen kann.

Ohne Optimierungen kompilieren?

In der Regel werden boolesche Werte, die unmittelbar nach ihrer Berechnung in Zweigen verwendet werden, nie tatsächlich in Variablen gespeichert. Stattdessen verzweigt der Compiler direkt von den Bedingungscodes , die aus dem vorherigen Vergleich festgelegt wurden. Beispielsweise,

int a = SomeFunction();
bool result = --a >= 0; // use subtraction as example computation
if ( result ) 
{
   foo(); 
}
else
{
   bar();
}
return;

Kompiliert normalerweise zu etwas wie:

call .SomeFunction  ; calls to SomeFunction(), which stores its return value in eax
sub eax, 1 ; subtract 1 from eax and store in eax, set S (sign) flag if result is negative
jl ELSEBLOCK ; GOTO label "ELSEBLOCK" if S flag is set
call .foo ; this is the "if" black, call foo()
j FINISH ; GOTO FINISH; skip over the "else" block
ELSEBLOCK: ; label this location to the assembler
call .bar
FINISH: ; both paths end up here
ret ; return

Beachten Sie, dass der "Bool" niemals irgendwo gespeichert wird.

Sie können den Wert von found so gut wie nicht festlegen. Das Debuggen optimierter Programme ist selten die Mühe wert. Der Compiler kann den Code so neu anordnen, dass er in keiner Weise dem Quellcode entspricht (außer dass das gleiche Ergebnis erzielt wird), wodurch die Debugger ohne Ende verwirrt werden.

Beim Debuggen optimierter Programme (was erforderlich sein kann, wenn der Fehler in Debug-Builds nicht auftritt) müssen Sie häufig den generierten Assembly-Compiler verstehen.

In Ihrem speziellen Fall wird der Rückgabewert von cpnd_find_exact_ckptinfoin dem Register gespeichert, das auf Ihrer Plattform für Rückgabewerte verwendet wird. Auf ix86, das wäre %eax. Ein x86_64: %raxusw. Möglicherweise müssen Sie nach der Konvention zum Aufrufen der Prozedur [Ihres Prozessors] googeln, wenn dies nicht der Fall ist.

Sie können dieses Register in überprüfen GDBund festlegen. ZB am ix86:

(gdb) p $eax
(gdb) set $eax = 0 

Ich benutze QtCreator mit GDB.

Hinzufügen

QMAKE_CXXFLAGS += -O0
QMAKE_CXXFLAGS -= -O1
QMAKE_CXXFLAGS -= -O2
QMAKE_CXXFLAGS -= -O3

Funktioniert gut für mich