ทำไม GDB จึงกระโดดข้ามบรรทัดอย่างไม่คาดคิดและพิมพ์ตัวแปรเป็น“ <value optimized out>”

ใครช่วยอธิบายพฤติกรรมของ gdb นี้ได้บ้าง?

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.

ทำไมหลังจากเรียกใช้บรรทัด 903 อีกครั้งจึงดำเนินการเหมือนกันสำหรับ 905908 910

สิ่งหนึ่งคือfoundเป็นboolตัวแปรชนิดดังนั้นทำไมมันมีการแสดงvalue optimized out? ฉันไม่สามารถตั้งค่าของfoundเช่นกัน

นี่ดูเหมือนจะเป็นการเพิ่มประสิทธิภาพคอมไพเลอร์ (ในกรณีนี้คือ-O2); ฉันจะยังคงตั้งค่าของfound?

ในการดีบักโค้ดที่ปรับให้เหมาะสมโปรดเรียนรู้ภาษาแอสเซมบลี / เครื่อง

ใช้โหมด GDB TUI สำเนา GDB ของฉันเปิดใช้งานเมื่อฉันพิมพ์เครื่องหมายลบและ Enter จากนั้นพิมพ์ Cx 2 (นั่นคือกด Control ค้างไว้แล้วกด X ปล่อยทั้งคู่แล้วกด 2) ที่จะนำไปแยกแหล่งที่มาและการแสดงผลการถอดชิ้นส่วน จากนั้นใช้stepiและnextiเพื่อย้ายคำสั่งเครื่องหนึ่งครั้ง ใช้ Cx o เพื่อสลับระหว่างหน้าต่าง TUI

ดาวน์โหลด PDF เกี่ยวกับภาษาเครื่องของ CPU และข้อกำหนดการเรียกใช้ฟังก์ชัน คุณจะเรียนรู้อย่างรวดเร็วเพื่อรับรู้ว่ากำลังทำอะไรกับอาร์กิวเมนต์ของฟังก์ชันและส่งคืนค่า

คุณสามารถแสดงค่าของรีจิสเตอร์โดยใช้คำสั่ง GDB เช่น p $eax

คอมไพล์ใหม่โดยไม่มีการปรับให้เหมาะสม (-O0 บน gcc)

ประกาศพบว่า "ระเหย" สิ่งนี้ควรบอกให้คอมไพเลอร์ไม่ปรับให้เหมาะสม

volatile int found = 0;

คอมไพเลอร์จะเริ่มทำสิ่งที่ชาญฉลาดมากโดยเปิดใช้การเพิ่มประสิทธิภาพ ดีบักเกอร์จะแสดงรหัสกระโดดไปข้างหน้าและข้างหลังจำนวนมากเนื่องจากตัวแปรทางที่ปรับให้เหมาะสมถูกเก็บไว้ในรีจิสเตอร์ นี่อาจเป็นสาเหตุที่คุณไม่สามารถตั้งค่าตัวแปรของคุณได้ (หรือในบางกรณีก็เห็นค่าของมัน) เนื่องจากมีการกระจายอย่างชาญฉลาดระหว่างรีจิสเตอร์เพื่อความเร็วแทนที่จะมีตำแหน่งหน่วยความจำโดยตรงที่ดีบักเกอร์สามารถเข้าถึงได้

รวบรวมโดยไม่มีการเพิ่มประสิทธิภาพ?

โดยปกติแล้วค่าบูลีนที่ใช้ในสาขาทันทีหลังจากคำนวณเช่นนี้จะไม่ถูกเก็บไว้ในตัวแปร แต่คอมไพลเลอร์จะแยกออกจากรหัสเงื่อนไขที่ตั้งค่าจากการเปรียบเทียบก่อนหน้านี้โดยตรง ตัวอย่างเช่น,

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

มักจะรวบรวมสิ่งต่างๆเช่น:

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

สังเกตว่า "บูล" ไม่เคยถูกเก็บไว้ที่ใดเลย

คุณไม่สามารถกำหนดมูลค่าของ found ได้ การดีบักโปรแกรมที่ปรับให้เหมาะสมนั้นแทบไม่คุ้มกับปัญหาคอมไพเลอร์สามารถจัดเรียงโค้ดใหม่ในรูปแบบที่จะไม่ตรงกับซอร์สโค้ด (นอกเหนือจากการสร้างผลลัพธ์เดียวกัน) จึงทำให้ผู้ดีบั๊กสับสนไปไม่สิ้นสุด

เมื่อทำการดีบักโปรแกรมที่ปรับให้เหมาะสมแล้ว (ซึ่งอาจจำเป็นหากจุดบกพร่องไม่ปรากฏขึ้นในการดีบักบิลด์) คุณมักจะต้องเข้าใจคอมไพเลอร์แอสเซมบลีที่สร้างขึ้น

ในกรณีเฉพาะของคุณค่าส่งคืนของcpnd_find_exact_ckptinfoจะถูกเก็บไว้ในรีจิสเตอร์ซึ่งใช้บนแพลตฟอร์มของคุณสำหรับค่าส่งคืน ในวันที่จะเป็นix86 %eaxเปิดx86_64: %raxฯลฯ คุณอาจต้องใช้ Google สำหรับ "[โปรเซสเซอร์ของคุณ] ขั้นตอนการเรียกแบบแผน" หากไม่มีข้อใดข้างต้น

คุณสามารถตรวจสอบการลงทะเบียนนั้นGDBและตั้งค่าได้ เช่นเมื่อix86:

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

ฉันใช้ QtCreator กับ gdb

การเพิ่ม

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

ทำงานได้ดีสำหรับฉัน