Merge branch 'lukeshu/irq'

1 files changed, 18 insertions, 2 deletions

diff --git a/build-aux/lint-bin b/build-aux/lint-bin
index 0b955de..c487f36 100755
--- a/build-aux/lint-bin
+++ b/build-aux/lint-bin
@@ -25,7 +25,7 @@ RESET=$(tput sgr0)
 
 err() {
 	printf "${RED}%s${RESET}: %s\n" "$1" "$2" >&2
-	#r=1
+	r=1
 }
 
 # Input is `ld --print-map` format.
@@ -107,6 +107,21 @@ lint_stack() {
 		     <(readelf_funcs "$in_elffile" | sed 's/\.part\.[0-9]*$//' | sort -u))
 }
 
+lint_func_blocklist() {
+	local in_elffile
+	in_elffile=$1
+
+	local blocklist=(
+		gpio_default_irq_handler
+	)
+
+	while read -r func; do
+		err "$in_elffile" "Contains blocklisted function: ${func}"
+	done < <(readelf --syms --wide -- "$in_elffile" |
+			 awk '$4 == "FUNC" { print $8 }' |
+			 grep -Fx "${blocklist[@]/#/-e}")
+}
+
 main() {
 	r=0
 
@@ -116,7 +131,8 @@ main() {
 			echo 'Global variables:'
 			lint_globals "${elf}.map" | sed 's/^/  /'
 		} > "${elf%.elf}.lint.globals"
-		lint_stack "$elf" &> "${elf%.elf}.lint.stack"
+		(lint_stack "$elf") &> "${elf%.elf}.lint.stack"
+		lint_func_blocklist "$elf"
 	done
 
 	return $r