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