> libaddr2line used to be a proprietary library distributed by AdaCore > only.
This is wrong, libaddr2line never was proprietary. It can't be in any case, since it's based on binutils. > IIRC, libaddr2line never was suitable for tasking. This is also wrong, GNAT.Traceback.Symbolic is suitable for tasking. Apart from these two errors (or significant misunderstanding, pick your choice) which are now corrected, the main issue is indeed the availability of a libaddr2line. This library is indeed not always available, although this is partly independent of the comment in g-trasym.ads. One could add a comment in this file though to clarify that this facility is using libaddr2line.a and indeed assuming libaddr2line.a is part of the environment. Feel free to submit such as patch on gcc-patches@ Arno
