| lh | 9ed821d | 2023-04-07 01:36:19 -0700 | [diff] [blame] | 1 | # This awk script expects to get command-line files that are each | 
|  | 2 | # the output of 'readelf -d' on a single shared object. | 
|  | 3 | # It exits successfully (0) if none contained any TEXTREL markers. | 
|  | 4 | # It fails (1) if any did contain a TEXTREL marker. | 
|  | 5 | # It fails (2) if the input did not take the expected form. | 
|  | 6 |  | 
|  | 7 | BEGIN { result = textrel = sanity = 0 } | 
|  | 8 |  | 
|  | 9 | function check_one(name) { | 
|  | 10 | if (!sanity) { | 
|  | 11 | print name ": *** input did not look like readelf -d output"; | 
|  | 12 | result = 2; | 
|  | 13 | } else if (textrel) { | 
|  | 14 | print name ": *** text relocations used"; | 
|  | 15 | result = result ? result : 1; | 
|  | 16 | } else { | 
|  | 17 | print name ": OK"; | 
|  | 18 | } | 
|  | 19 |  | 
|  | 20 | textrel = sanity = 0; | 
|  | 21 | } | 
|  | 22 |  | 
|  | 23 | FILENAME != lastfile { | 
|  | 24 | if (lastfile) | 
|  | 25 | check_one(lastfile); | 
|  | 26 | lastfile = FILENAME; | 
|  | 27 | } | 
|  | 28 |  | 
|  | 29 | $1 == "Tag" && $2 == "Type" { sanity = 1 } | 
|  | 30 | $2 == "(TEXTREL)" { textrel = 1 } | 
|  | 31 | $2 == "(FLAGS)" { | 
|  | 32 | for (i = 3; i <= NF; ++i) { | 
|  | 33 | if ($i == "TEXTREL") | 
|  | 34 | textrel = 1; | 
|  | 35 | } | 
|  | 36 | } | 
|  | 37 |  | 
|  | 38 | END { | 
|  | 39 | check_one(lastfile); | 
|  | 40 | exit(result); | 
|  | 41 | } |