diff options
Diffstat (limited to 'tests/c-lint.sh')
| -rwxr-xr-x | tests/c-lint.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/tests/c-lint.sh b/tests/c-lint.sh new file mode 100755 index 0000000..7c5516d --- /dev/null +++ b/tests/c-lint.sh @@ -0,0 +1,22 @@ +#!/bin/sh + +if [ -n "$(grep -En '[a-z]+\(\) {' "$@")" ]; then + echo 'Functions with no argument without explicit "void" parameter:' >&2 + grep -En '[a-z]+\(\) {' "$@" + exit 1 +fi + +awk ' +/^[a-zA-Z0-9_]+.+{$/ && !/^static / { + match($0, /[a-zA-Z0-9_]+\(/) + fn_name = substr($0, RSTART, RLENGTH - 1) + if (fn_name != "main") { + header = substr(FILENAME, 0, length(FILENAME) - 1) "h" + if (system("grep -qF \"" fn_name "(\" " header)) { + print "non-static function is not declared in a header:" + printf "%s:%s:%s\n", FILENAME, FNR, $0 + exit 1 + } + } +} +' "$@" |