aboutsummaryrefslogtreecommitdiff
path: root/tests/c-lint.sh
diff options
context:
space:
mode:
authorEuAndreh <eu@euandre.org>2023-04-14 14:07:43 -0300
committerEuAndreh <eu@euandre.org>2023-04-14 14:08:18 -0300
commit7afce21a30355068a4bdd186b44d79dd37d94937 (patch)
tree13dbb2350efc192a64ee7e738d5d4dd343fa789b /tests/c-lint.sh
parentrm -rf aux/ (diff)
downloadgistatic-7afce21a30355068a4bdd186b44d79dd37d94937.tar.gz
gistatic-7afce21a30355068a4bdd186b44d79dd37d94937.tar.xz
Cleanup repo, reinit in sh
Diffstat (limited to 'tests/c-lint.sh')
-rwxr-xr-xtests/c-lint.sh65
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