GDB neden satırlar arasında tahmin edilemeyecek şekilde atlar ve değişkenleri "<optimize edilmiş değer>" olarak yazdırır?

Herhangi biri gdb'nin bu davranışını açıklayabilir mi?

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.

Neden satır 903'ü yürüttükten sonra 905 908 910 için aynı şeyi tekrar yapıyor?

Başka şeyler foundbir olduğunu bool, tipi değişken yani neden o gösteriyor value optimized out? Ben de değerini ayarlayamıyorum found.

Bu bir derleyici optimizasyonu gibi görünüyor (bu durumda onun -O2); değerini hala nasıl ayarlayabilirim found?

Optimize edilmiş kodda hata ayıklamak için montaj / makine dilini öğrenin.

GDB TUI modunu kullanın. GDB kopyam, eksi yazıp Enter'a girdiğimde bunu etkinleştiriyor. Sonra Cx 2 yazın (yani Control tuşunu basılı tutun ve X'e basın, ikisini de bırakın ve sonra 2'ye basın). Bu, onu bölünmüş kaynak ve sökme ekranına koyacaktır. Ardından , her seferinde bir makine talimatını taşımak için stepive nextituşlarını kullanın . TUI pencereleri arasında geçiş yapmak için Cx o kullanın.

CPU'nuzun makine dili ve işlev çağırma kuralları hakkında bir PDF indirin. İşlev bağımsız değişkenleri ve dönüş değerleri ile ne yapıldığını hızlıca öğreneceksiniz.

Bir GDB komutu kullanarak bir kaydın değerini görüntüleyebilirsiniz. p $eax

Optimizasyon yapmadan yeniden derleyin (gcc'de -O0).

"Uçucu" olarak bulundu beyanı . Bu, derleyiciye onu optimize etmemesini söylemelidir.

volatile int found = 0;

Derleyici, optimizasyonlar açıkken çok akıllıca şeyler yapmaya başlayacaktır. Hata ayıklayıcı, değişkenlerin yazmaçlarda depolanma biçiminin optimize edilmesi nedeniyle kodun ileri ve geri atladığını gösterecektir. Hata ayıklayıcının erişebileceği bir doğrudan bellek konumuna sahip olmak yerine hız için kayıtlar arasında akıllıca dağıtıldığı için değişkeninizi ayarlayamamanızın (veya bazı durumlarda değerini görmenizin) nedeni muhtemelen budur.

Optimizasyon olmadan derlemek mi?

Tipik olarak, bu şekilde hesaplandıktan hemen sonra dallarda kullanılan boole değerleri aslında hiçbir zaman değişkenlerde depolanmaz. Bunun yerine, derleyici , önceki karşılaştırmadan ayarlanan koşul kodlarından doğrudan ayrılır . Örneğin,

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

Genellikle şu şekilde derler:

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

"Bool" un nasıl aslında hiçbir yerde depolanmadığına dikkat edin.

Bulunan değeri hemen hemen ayarlayamazsınız. Optimize edilmiş programların hatalarını ayıklamak nadiren zahmete değer, derleyici kodu hiçbir şekilde kaynak koduna karşılık gelmeyecek şekilde yeniden düzenleyebilir (aynı sonucu üretmek dışında), böylece hata ayıklayıcıları sonu gelmeyecek şekilde karıştırır.

Optimize edilmiş programlarda hata ayıklarken (hata ayıklama yapılarında hata görünmüyorsa gerekli olabilir), genellikle oluşturulan derleme derleyicisini anlamanız gerekir.

Sizin özel durumunuzda, dönüş değeri, cpnd_find_exact_ckptinfoplatformunuzda dönüş değerleri için kullanılan kayıt defterinde saklanacaktır. Açık ix86, bu olurdu %eax. Açık x86_64:, %raxvb. Yukarıdakilerden hiçbiri değilse, "[işlemciniz] prosedür çağırma kuralı" için Google'da arama yapmanız gerekebilir.

Bu kaydı inceleyebilir GDBve ayarlayabilirsiniz. Örneğin ix86:

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

Gdb ile QtCreator kullanıyorum.

Ekleme

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

Benim için iyi çalışıyor