void load_dwarf()
{
if (dwarf_loaded || !has_debugging_info)
return;
try {
dwarf = new DwarfReader (this, module);
} catch (Exception ex) {
Console.WriteLine ("Cannot read DWARF debugging info from " +
"symbol file `{0}': {1}", FileName, ex);
has_debugging_info = false;
return;
}
dwarf_loaded = true;
if (dwarf != null)
has_debugging_info = true;
}