<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><div><div>On Jun 24, 2011, at 1:12 PM, Carlo Alberto Ferraris wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite">
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<div bgcolor="#ffffff" text="#000000">
<br>
<blockquote id="mid_6277AD83-DCB8-4F05-A9E4-D4A71E302862_gmail_com" cite="mid:6277AD83-DCB8-4F05-A9E4-D4A71E302862@gmail.com" type="cite">
<div>
<div>I meant on the stack trace, for your initial trace:</div>
<div><br>
</div>
<div>$ addr2line -e CGF.so <span class="Apple-style-span" style="font-family: monospace;"><b><font color="#cc0000">0x0000<font color="#3366ff"><font color="#ff0000">7f</font>640b6a2</font>4fd</font></b></span></div>
</div>
</blockquote>
It doesn't work (it prints <tt>??:0</tt>) I guess because it's PIC
code (in the address above the blue part changes at each invocation
of opt)<br></div></blockquote><div><br></div><div>Seems to be some issue with gdb not being able to read all of the debug symbols. I'm not sure what else to try.</div><br><blockquote type="cite"><div bgcolor="#ffffff" text="#000000">
<br>
<div class="moz-signature">-- <br>
<style type="text/css">
.signature {
}
.signature a, .signature a:link, .signature a:hover, .signature a:active,
</style>
<div style="background: none repeat scroll 0% 0% rgb(238, 238,
238); border: 1px solid rgb(221, 221, 221); padding: 7px 9px;
display: inline-block; -moz-border-radius: 6px 6px 6px 6px;">
Carlo Alberto Ferraris <<a href="mailto:cafxx@strayorange.com">cafxx@strayorange.com</a>><br>
<a href="http://cafxx.strayorange.com/">website/blog</a> - +39
333 7643 235
</div>
</div>
</div>
<span><cafxx.vcf></span></blockquote></div><br><div>
<span class="Apple-style-span" style="border-collapse: separate; color: rgb(0, 0, 0); font-family: 'Lucida Grande'; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; line-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; text-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -webkit-border-horizontal-spacing: 0px; -webkit-border-vertical-spacing: 0px; -webkit-text-decorations-in-effect: none; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; font-size: medium; ">Thanks,<br><br>Justin Holewinski</span>
</div>
<br></body></html>