mirror of
https://forgejo.xatacraft.ru/Sunshine/mkxp-sunshine.git
synced 2026-08-19 21:39:57 +00:00
33 lines
1 KiB
Bash
33 lines
1 KiB
Bash
#!/bin/bash
|
|
set -euo pipefail
|
|
FASTERER_PATH="$1"
|
|
|
|
check_file() {
|
|
local f="$1"
|
|
|
|
case "$f" in
|
|
*.c|*.cc|*.cpp|*.cxx)
|
|
#cppcheck --check-level=exhaustive --disable=missingInclude --enable=all --force -q -I . "$f" \
|
|
# || echo "cppcheck is not installed or reported issues for: $f"
|
|
|
|
#gcc -fanalyzer -Wall -Wextra -Wpedantic -std=c11 -c "$f" -o /dev/null 2>/dev/null \
|
|
# || echo "gcc is not installed or analyzer reported issues for: $f"
|
|
|
|
cbmc "$f" \
|
|
|| echo "cbmc is not installed or reported issues for: $f"
|
|
;;
|
|
*.h|*.hh|*.hpp|*.hxx)
|
|
cppcheck --check-level=exhaustive --enable=all --disable=missingInclude -q "$f" \
|
|
|| echo "cppcheck is not installed or reported issues for header: $f"
|
|
;;
|
|
esac
|
|
}
|
|
export -f check_file
|
|
|
|
find . -type f \( \
|
|
-name '*.c' -o -name '*.cc' -o -name '*.cpp' -o -name '*.cxx' \
|
|
-o -name '*.h' -o -name '*.hh' -o -name '*.hpp' -o -name '*.hxx' \
|
|
\) -print0 \
|
|
| xargs -0 -n 1 bash -c 'check_file "$1"' _
|
|
|
|
find . | grep .rb | $FASTERER_PATH
|