parent
e14f0fa6a3
commit
172c2333f0
@ -0,0 +1,52 @@
|
|||||||
|
#!/usr/bin/env python3
|
||||||
|
#
|
||||||
|
# Copyright (c) 2018-2022 The Bitcoin Core developers
|
||||||
|
# Distributed under the MIT software license, see the accompanying
|
||||||
|
# file COPYING or http://www.opensource.org/licenses/mit-license.php.
|
||||||
|
#
|
||||||
|
# Check for assertions with obvious side effects.
|
||||||
|
|
||||||
|
import sys
|
||||||
|
import subprocess
|
||||||
|
|
||||||
|
|
||||||
|
def git_grep(params: [], error_msg: ""):
|
||||||
|
try:
|
||||||
|
output = subprocess.check_output(["git", "grep", *params], universal_newlines=True, encoding="utf8")
|
||||||
|
print(error_msg)
|
||||||
|
print(output)
|
||||||
|
return 1
|
||||||
|
except subprocess.CalledProcessError as ex1:
|
||||||
|
if ex1.returncode > 1:
|
||||||
|
raise ex1
|
||||||
|
return 0
|
||||||
|
|
||||||
|
|
||||||
|
def main():
|
||||||
|
# PRE31-C (SEI CERT C Coding Standard):
|
||||||
|
# "Assertions should not contain assignments, increment, or decrement operators."
|
||||||
|
exit_code = git_grep([
|
||||||
|
"-E",
|
||||||
|
r"[^_]assert\(.*(\+\+|\-\-|[^=!<>]=[^=!<>]).*\);",
|
||||||
|
"--",
|
||||||
|
"*.cpp",
|
||||||
|
"*.h"
|
||||||
|
], "Assertions should not have side effects:")
|
||||||
|
|
||||||
|
# Macro CHECK_NONFATAL(condition) should be used instead of assert for RPC code, where it
|
||||||
|
# is undesirable to crash the whole program. See: src/util/check.h
|
||||||
|
# src/rpc/server.cpp is excluded from this check since it's mostly meta-code.
|
||||||
|
exit_code |= git_grep([
|
||||||
|
"-nE",
|
||||||
|
r"\<(A|a)ssert *\(.*\);",
|
||||||
|
"--",
|
||||||
|
"src/rpc/",
|
||||||
|
"src/wallet/rpc*",
|
||||||
|
":(exclude)src/rpc/server.cpp"
|
||||||
|
], "CHECK_NONFATAL(condition) should be used instead of assert for RPC code.")
|
||||||
|
|
||||||
|
sys.exit(exit_code)
|
||||||
|
|
||||||
|
|
||||||
|
if __name__ == "__main__":
|
||||||
|
main()
|
@ -1,34 +0,0 @@
|
|||||||
#!/usr/bin/env bash
|
|
||||||
#
|
|
||||||
# Copyright (c) 2018-2020 The Bitcoin Core developers
|
|
||||||
# Distributed under the MIT software license, see the accompanying
|
|
||||||
# file COPYING or http://www.opensource.org/licenses/mit-license.php.
|
|
||||||
#
|
|
||||||
# Check for assertions with obvious side effects.
|
|
||||||
|
|
||||||
export LC_ALL=C
|
|
||||||
|
|
||||||
EXIT_CODE=0
|
|
||||||
|
|
||||||
# PRE31-C (SEI CERT C Coding Standard):
|
|
||||||
# "Assertions should not contain assignments, increment, or decrement operators."
|
|
||||||
OUTPUT=$(git grep -E '[^_]assert\(.*(\+\+|\-\-|[^=!<>]=[^=!<>]).*\);' -- "*.cpp" "*.h")
|
|
||||||
if [[ ${OUTPUT} != "" ]]; then
|
|
||||||
echo "Assertions should not have side effects:"
|
|
||||||
echo
|
|
||||||
echo "${OUTPUT}"
|
|
||||||
EXIT_CODE=1
|
|
||||||
fi
|
|
||||||
|
|
||||||
# Macro CHECK_NONFATAL(condition) should be used instead of assert for RPC code, where it
|
|
||||||
# is undesirable to crash the whole program. See: src/util/check.h
|
|
||||||
# src/rpc/server.cpp is excluded from this check since it's mostly meta-code.
|
|
||||||
OUTPUT=$(git grep -nE '\<(A|a)ssert *\(.*\);' -- "src/rpc/" "src/wallet/rpc*" ":(exclude)src/rpc/server.cpp")
|
|
||||||
if [[ ${OUTPUT} != "" ]]; then
|
|
||||||
echo "CHECK_NONFATAL(condition) should be used instead of assert for RPC code."
|
|
||||||
echo
|
|
||||||
echo "${OUTPUT}"
|
|
||||||
EXIT_CODE=1
|
|
||||||
fi
|
|
||||||
|
|
||||||
exit ${EXIT_CODE}
|
|
Loading…
Reference in new issue