list-identifiers.sh 808 B

12345678910111213141516171819202122232425262728293031323334
  1. #!/bin/sh
  2. set -eu
  3. if [ -d include/mbedtls ]; then :; else
  4. echo "$0: must be run from root" >&2
  5. exit 1
  6. fi
  7. HEADERS=$( ls include/mbedtls/*.h | egrep -v 'compat-1\.3\.h|bn_mul' )
  8. rm -f identifiers
  9. grep '^[^ /#{]' $HEADERS | \
  10. sed -e 's/^[^:]*://' | \
  11. egrep -v '^(extern "C"|(typedef )?(struct|enum)( {)?$|};?$)' \
  12. > _decls
  13. if true; then
  14. sed -n -e 's/.* \**\([a-zA-Z_][a-zA-Z0-9_]*\)(.*/\1/p' \
  15. -e 's/.*(\*\(.*\))(.*/\1/p' _decls
  16. grep -v '(' _decls | sed -e 's/\([a-zA-Z0-9_]*\)[;[].*/\1/' -e 's/.* \**//'
  17. fi > _identifiers
  18. if [ $( wc -l < _identifiers ) -eq $( wc -l < _decls ) ]; then
  19. rm _decls
  20. egrep -v '^(u?int(16|32|64)_t)$' _identifiers | sort > identifiers
  21. rm _identifiers
  22. else
  23. echo "$0: oops, lost some identifiers" 2>&1
  24. exit 1
  25. fi
  26. wc -l identifiers