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

}