<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta http-equiv="content-type" content="text/html; charset=UTF-8">
  </head>
  <body 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>
    <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>
  </body>
</html>