]> git.ipfire.org Git - thirdparty/gcc.git/blob - libjava/addr2name.awk
Add missing docs for feature added by Richard Henderson.
[thirdparty/gcc.git] / libjava / addr2name.awk
1 #!/bin/awk -f
2
3 # Copyright (C) 2000 Free Software Foundation
4
5 # This file is part of libgcj.
6
7 # This software is copyrighted work licensed under the terms of the
8 # Libgcj License. Please consult the file "LIBGCJ_LICENSE" for
9 # details.
10
11 # This script emulates a little of the functionality of addr2line for
12 # those systems that don't have it. The only command line argument is
13 # an executable name. The script reads hexadecimal addresses from
14 # stdin and prints the corresponding symbol names to stdout. The
15 # addresses must begin with "0x" and be fully zero filled or this
16 # won't work.
17
18 BEGIN {
19 object = ARGV[1];
20 ARGV[1] = "";
21
22 while ("nm " object "| sort" | getline) {
23 if ($2 == "t" || $2 == "T") {
24 address[i] = "0x" $1; name[i] = $3;
25 i++;
26 }
27 }
28 syms = i;
29 }
30
31 {
32 lo = 0;
33 hi = syms - 1;
34
35 while ((hi-1) > lo)
36 {
37 try = int ((hi + lo) / 2);
38 if ($0 < address[try])
39 hi = try;
40 else if ($0 >= address[try])
41 lo = try;
42 }
43 print name[lo] "\n"; fflush();
44 }
45
46