| # This awk script expects to get command-line files that are each |
| # the output of 'readelf -d' on a single shared object. |
| # It exits successfully (0) if none contained any TEXTREL markers. |
| # It fails (1) if any did contain a TEXTREL marker. |
| # It fails (2) if the input did not take the expected form. |
| |
| BEGIN { result = textrel = sanity = 0 } |
| |
| function check_one(name) { |
| if (!sanity) { |
| print name ": *** input did not look like readelf -d output"; |
| result = 2; |
| } else if (textrel) { |
| print name ": *** text relocations used"; |
| result = result ? result : 1; |
| } else { |
| print name ": OK"; |
| } |
| |
| textrel = sanity = 0; |
| } |
| |
| FILENAME != lastfile { |
| if (lastfile) |
| check_one(lastfile); |
| lastfile = FILENAME; |
| } |
| |
| $1 == "Tag" && $2 == "Type" { sanity = 1 } |
| $2 == "(TEXTREL)" { textrel = 1 } |
| $2 == "(FLAGS)" { |
| for (i = 3; i <= NF; ++i) { |
| if ($i == "TEXTREL") |
| textrel = 1; |
| } |
| } |
| |
| END { |
| check_one(lastfile); |
| exit(result); |
| } |