about summary refs log tree commit diff
path: root/REORG.TODO/scripts/check-localplt.awk
blob: 39652928883063c133181fec1fea2215b819d97b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
# This is an awk script to process the output of elf/check-localplt.
# The first file argument is the file of expected results.
# Each line is either a comment starting with # or it looks like:
#	libfoo.so: function
# or
#	libfoo.so: function + {RELA|REL} RELOC
# or
#	libfoo.so: function ?
# The first entry means that one is required.
# The second entry means that one is required and relocation may also be
# {RELA|REL} RELOC.
# The third entry means that a PLT entry for function is optional in
# libfoo.so.
# The second file argument is - and this (stdin) receives the output
# of the check-localplt program.

BEGIN { result = 0 }

FILENAME != "-" && /^#/ { next }

FILENAME != "-" {
  if (NF == 5 && $3 == "+" && ($4 == "RELA" || $4 == "REL")) {
    accept_type[$1 " " $2] = $4;
    accept_reloc[$1 " " $2] = $5;
  } else if (NF != 2 && !(NF == 3 && $3 == "?")) {
    printf "%s:%d: bad data line: %s\n", FILENAME, FNR, $0 > "/dev/stderr";
    result = 2;
  } else {
    accept[$1 " " $2] = NF == 2;
  }
  next;
}

NF != 2 && !(NF == 4 && ($3 == "RELA" || $3 == "REL")) {
  print "Unexpected output from check-localplt:", $0 > "/dev/stderr";
  result = 2;
  next
}

{
  key = $1 " " $2
  if ($3 == "RELA" || $3 == "REL") {
    # Entries like:
    # libc.so: free + RELA R_X86_64_GLOB_DAT
    # may be ignored.
    if (key in accept_type && accept_type[key] == $3 && accept_reloc[key] == $4) {
      # Match
      # libc.so: free + RELA R_X86_64_GLOB_DAT
      delete accept_type[key]
    }
  } else if (NF == 2 && key in accept_reloc) {
    # Match
    # libc.so: free
    # against
    # libc.so: free + RELA R_X86_64_GLOB_DAT
    if (key in accept_type)
      delete accept_type[key]
  } else if (key in accept) {
    delete accept[key]
  } else {
    print "Extra PLT reference:", $0;
    if (result == 0)
      result = 1;
  }
}

END {
  for (key in accept) {
    if (accept[key]) {
      # It's mandatory.
      print "Missing required PLT reference:", key;
      result = 1;
    }
  }

  for (key in accept_type) {
    # It's mandatory.
    print "Missing required PLT or " accept_reloc[key] " reference:", key;
    result = 1;
  }

  exit(result);
}