Inconsistent results in addr2line with repeated addresses

[Harald Servat]

Dear all,

  I've found that addr2line gives inconsistent results when using it. 
In particular, below I ask for addresses 0x40b746, 0x461883 and again 
0x40b746 and notice that while the information for 0x40b746 mismatches 
between the first and the last call.

  I've tested versions 2.21.1, 2.22 and 2.23.2 with the same results.

$ ~/aplic/binutils/2.21.1/bin/addr2line -C -fe hacc_tpm
0x40b746
main
/.statelite/tmpfs/gpfs/scratch/bsc28/bsc28794/HACC_new_kernel/HACC/src/cpu/driver_hires-local.cxx:574
0x461883
SimpleTimings::timingStats(double, std::string, int)
/.statelite/tmpfs/gpfs/scratch/bsc28/bsc28794/HACC_new_kernel/HACC/src/simulation/SimpleTimings.cxx:51
0x40b746
main
/.statelite/tmpfs/gpfs/scratch/bsc28/bsc28794/HACC_new_kernel/HACC/src/halo_finder/GridExchange.cxx:479


Thank you in advance.
--


WARNING / LEGAL TEXT: This message is intended only for the use of the
individual or entity to which it is addressed and may contain
information which is privileged, confidential, proprietary, or exempt
from disclosure under applicable law. If you are not the intended
recipient or the person responsible for delivering the message to the
intended recipient, you are strictly prohibited from disclosing,
distributing, copying, or in any way using this message. If you have
received this communication in error, please notify the sender and
destroy and delete any copies you may have received.

http://www.bsc.es/disclaimer