------- Comment #17 from mmitchel at gcc dot gnu dot org 2009-02-09 22:53 ------- The patch to remove addr2name.awk has now been committed to mainline. I am not sure what else, if anything, remains on this PR. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=5303