<div dir="ltr"><div class="gmail_extra">On Tue, Jun 18, 2013 at 6:58 PM, <span dir="ltr"><<a href="mailto:jingham@apple.com" target="_blank">jingham@apple.com</a>></span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<div class=""><div class="im">> If we have no prologue_end marker, would it make sense to not skip anything?<br>
<br>
</div></div>I don't know what more recent gcc's do, but they used to omit the prologue_end marker, and instead use the convention that the first line table entry for the function is the beginning of the function, and the second is the end of the prologue. gdb has relied on that for a long long time (in absence of the prologue_end and back to the stabs days when there was no such thing.) So not skipping the prologue in this case seems like throwing the baby out with the bath water. Better would be to get your compiler to get it right...</blockquote>
</div><div class="gmail_extra"><br></div><div class="gmail_extra">On Wed, Jun 19, 2013 at 10:34 AM, Greg Clayton <span dir="ltr"><<a href="mailto:gclayton@apple.com" target="_blank">gclayton@apple.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">I agree with Jim here and I would vote to still try and skip something. The strongest reason I have for this recommendation is that the debug info for args and locals _relies_ on being past the prologue, and doesn't describe the location correctly for the arguments and locals in the prologue. So when users set a breakpoint on "printf" and they stop there, all variable information is usually bogus until the prologue has been executed. Users don't like seeing garbage values (they file bugs) and then stepping over the first line and then saying "now the variables are correct".</blockquote>
</div><br>I agree it'd be nice for the compiler to get it right, but we have folks that are going to try to use this debugger, they're going to try to set a breakpoint, and when it sets that breakpoint in the middle of the function they will just switch back to gdb - they rightfully won't care about prologue end markers or compiler bugs.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra" style>I'm all for figuring out how to skip something when we don't have that info, but I'd prefer to error on the side of caution. Having some locals with garbage in them seems better to me than having your breakpoint not hit at all or hit after something important you wanted to debug.</div>
<div class="gmail_extra"><br></div><div class="gmail_extra" style>For whatever it's worth, this is broken with gcc 4.6, and it appears to be broken in gcc 4.8. It's tough to tell what happens with lldb & gcc 4.8 because something else is broken there - I think lldb has trouble with dwarf4.</div>
<div class="gmail_extra" style><br></div><div class="gmail_extra" style><div>This is the debug_line info gcc 4.8 produces (identical to gcc 4.6) for the little program down below.</div><div><br></div><div><div>.debug_line: line number info for a single cu</div>
<div>Source lines (from CU-DIE at .debug_info offset 0x0000000b):</div><div><br></div><div> NS new statement, BB new basic block, ET end of text sequence</div><div> PE prologue end, EB epilogue begin</div>
<div> IA=val ISA number, DI=val discriminator value</div><div><pc> [row,col] NS BB ET PE EB IS= DI= uri: "filepath"</div><div>0x00400900 [ 6, 0] NS uri: "/home/mikesart/data/src/blah2/blah.cpp"</div>
<div>0x00400932 [ 6, 0] NS</div><div>0x00400959 [ 10, 0] NS</div><div>0x00400986 [ 11, 0] NS</div><div>0x004009ac [ 14, 0] NS</div><div>0x004009bc [ 15, 0] NS</div><div>0x004009be [ 18, 0] NS</div><div>0x004009cd [ 19, 0] NS</div>
<div>0x004009e1 [ 20, 0] NS</div><div>0x004009e6 [ 21, 0] NS</div><div>0x004009e8 [ 21, 0] NS ET</div></div></div><div class="gmail_extra" style><br></div><div class="gmail_extra" style> 1 #include <stdio.h><br>
</div><div class="gmail_extra" style><div><div> 2 #include <stdarg.h></div><div> 3 </div><div> 4 int</div><div> 5 myprintf (const char *format, ...)</div><div> 6 {</div><div> 7 va_list arg;</div><div>
8 int done;</div>
<div> 9 </div><div> 10 va_start (arg, format);</div><div> 11 done = vfprintf (stdout, format, arg);</div><div> 12 va_end (arg);</div><div> 13 </div><div> 14 return done;</div><div> 15 }</div><div> 16 </div>
<div> 17 int main( int argc, char *argv[] )</div><div> 18 {</div><div> 19 myprintf("blah is %d\n", 5);</div><div> 20 return 0;</div><div> 21 }</div></div><div><br></div><div style><br></div></div></div>