56 lines
1.7 KiB
Bash
Executable File
56 lines
1.7 KiB
Bash
Executable File
#!/usr/bin/env bash
|
|
#
|
|
# Copyright 2021 Brian Smith.
|
|
#
|
|
# Permission to use, copy, modify, and/or distribute this software for any
|
|
# purpose with or without fee is hereby granted, provided that the above
|
|
# copyright notice and this permission notice appear in all copies.
|
|
#
|
|
# THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHORS DISCLAIM ALL WARRANTIES
|
|
# WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
# MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHORS BE LIABLE FOR ANY
|
|
# SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
# WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN ACTION
|
|
# OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR IN
|
|
# CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
|
|
set -eux -o pipefail
|
|
IFS=$'\n\t'
|
|
|
|
for arg in $*; do
|
|
case $arg in
|
|
--target=*)
|
|
target=${arg#*=}
|
|
;;
|
|
*)
|
|
;;
|
|
esac
|
|
done
|
|
|
|
case "$OSTYPE" in
|
|
darwin*)
|
|
nm_exe=nm
|
|
;;
|
|
*)
|
|
llvm_version=16
|
|
nm_exe=llvm-nm-$llvm_version
|
|
;;
|
|
esac
|
|
|
|
# TODO: This should only look in one target directory.
|
|
# TODO: This isn't as strict as it should be.
|
|
#
|
|
# This assumes that if the prefix starts with "ring_core_" then it is correct.
|
|
# It would be better to get the prefix exactly correct.
|
|
#
|
|
# This is very liberal in filtering out symbols that "look like"
|
|
# Rust-compiler-generated symbols.
|
|
find target/$target -type f -name libring-*.rlib | while read -r infile; do
|
|
bad=$($nm_exe --defined-only --extern-only --print-file-name "$infile" \
|
|
| ( grep -v -E " . _?(__imp__ZN4ring|ring_core_|__rustc|_ZN|DW.ref.rust_eh_personality)" || [[ $? == 1 ]] ))
|
|
if [ ! -z "${bad-}" ]; then
|
|
echo "$bad"
|
|
exit 1
|
|
fi
|
|
done
|