# 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); }