2019-04-04 10:33:22 +00:00
|
|
|
#!/bin/bash
|
|
|
|
#
|
2019-04-18 12:09:25 +00:00
|
|
|
# Create a file named identifiers containing identifiers from internal header
|
|
|
|
# files or all header files, based on --internal flag.
|
|
|
|
# Outputs the line count of the file to stdout.
|
2019-04-04 10:33:22 +00:00
|
|
|
#
|
|
|
|
# Usage: list-identifiers.sh [ -i | --internal ]
|
2015-04-02 16:59:30 +00:00
|
|
|
|
|
|
|
set -eu
|
|
|
|
|
2015-04-09 08:15:10 +00:00
|
|
|
if [ -d include/mbedtls ]; then :; else
|
|
|
|
echo "$0: must be run from root" >&2
|
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
2019-04-04 10:33:22 +00:00
|
|
|
INTERNAL=""
|
|
|
|
|
|
|
|
until [ -z "${1-}" ]
|
|
|
|
do
|
|
|
|
case "$1" in
|
|
|
|
-i|--internal)
|
|
|
|
INTERNAL="1"
|
|
|
|
;;
|
|
|
|
*)
|
|
|
|
# print error
|
|
|
|
echo "Unknown argument: '$1'"
|
|
|
|
exit 1
|
|
|
|
;;
|
|
|
|
esac
|
|
|
|
shift
|
|
|
|
done
|
|
|
|
|
|
|
|
if [ $INTERNAL ]
|
|
|
|
then
|
2019-05-01 12:14:16 +00:00
|
|
|
HEADERS=$( ls include/mbedtls/*_internal.h library/*.h | egrep -v 'compat-1\.3\.h|bn_mul' )
|
2019-04-04 10:33:22 +00:00
|
|
|
else
|
2019-05-01 12:14:16 +00:00
|
|
|
HEADERS=$( ls include/mbedtls/*.h include/psa/*.h library/*.h | egrep -v 'compat-1\.3\.h|bn_mul' )
|
2019-04-04 10:33:22 +00:00
|
|
|
fi
|
2015-04-02 16:59:30 +00:00
|
|
|
|
|
|
|
rm -f identifiers
|
|
|
|
|
|
|
|
grep '^[^ /#{]' $HEADERS | \
|
|
|
|
sed -e 's/^[^:]*://' | \
|
2019-07-23 15:38:41 +00:00
|
|
|
egrep -v '^(extern "C"|(typedef )?(struct|union|enum)( {)?$|};?$)' \
|
2015-04-02 16:59:30 +00:00
|
|
|
> _decls
|
|
|
|
|
|
|
|
if true; then
|
|
|
|
sed -n -e 's/.* \**\([a-zA-Z_][a-zA-Z0-9_]*\)(.*/\1/p' \
|
|
|
|
-e 's/.*(\*\(.*\))(.*/\1/p' _decls
|
|
|
|
grep -v '(' _decls | sed -e 's/\([a-zA-Z0-9_]*\)[;[].*/\1/' -e 's/.* \**//'
|
|
|
|
fi > _identifiers
|
|
|
|
|
|
|
|
if [ $( wc -l < _identifiers ) -eq $( wc -l < _decls ) ]; then
|
|
|
|
rm _decls
|
|
|
|
egrep -v '^(u?int(16|32|64)_t)$' _identifiers | sort > identifiers
|
|
|
|
rm _identifiers
|
|
|
|
else
|
2015-04-09 08:15:10 +00:00
|
|
|
echo "$0: oops, lost some identifiers" 2>&1
|
2015-04-02 16:59:30 +00:00
|
|
|
exit 1
|
|
|
|
fi
|
|
|
|
|
|
|
|
wc -l identifiers
|