diff options
author | EuAndreh <eu@euandre.org> | 2023-04-14 14:07:43 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2023-04-14 14:08:18 -0300 |
commit | 7afce21a30355068a4bdd186b44d79dd37d94937 (patch) | |
tree | 13dbb2350efc192a64ee7e738d5d4dd343fa789b /tests/c-lint.sh | |
parent | rm -rf aux/ (diff) | |
download | gistatic-7afce21a30355068a4bdd186b44d79dd37d94937.tar.gz gistatic-7afce21a30355068a4bdd186b44d79dd37d94937.tar.xz |
Cleanup repo, reinit in sh
Diffstat (limited to 'tests/c-lint.sh')
-rwxr-xr-x | tests/c-lint.sh | 65 |
1 files changed, 0 insertions, 65 deletions
diff --git a/tests/c-lint.sh b/tests/c-lint.sh deleted file mode 100755 index 0fa0b01..0000000 --- a/tests/c-lint.sh +++ /dev/null @@ -1,65 +0,0 @@ -#!/bin/sh -set -eu - -awk ' -BEGIN { - ret = 0 - msg = "function not on the start of the line:" -} - -/^[a-zA-Z0-9_]+ .+\(/ { - if (ret == 0) { - print msg - } - printf "%s:%s:%s\n", FILENAME, FNR, $0 - ret = 1 -} - -END { - exit ret -} -' "$@" - - -awk ' -BEGIN { - ret = 0 - static = 1 - msg = "non-static function is not declared in a header:" -} - -/^[a-zA-Z0-9_]+\(.*$/ && static == 0 { - split($0, line, /\(/) - fn_name = line[1] - if (fn_name != "main") { - header = substr(FILENAME, 0, length(FILENAME) - 2) ".h" - if (system("grep -q ^\"" fn_name "\" \"" header "\"")) { - if (ret == 0) { - print msg - } - printf "%s:%s:%s\n", FILENAME, FNR, $0 - ret = 1 - } - } -} - -/^static / { - static = 1 -} - -!/^static / { - static = 0 -} - -END { - exit ret -} -' "$@" - - -RE='[a-z]+\(\) {' -if grep -Eq "$RE" "$@"; then - echo 'Functions with no argument without explicit "void" parameter:' >&2 - grep -En "$RE" "$@" - exit 1 -fi |