diff --git a/go/analysis/passes/ctrlflow/testdata/src/a/a.go b/go/analysis/passes/ctrlflow/testdata/src/a/a.go
index 462aeaa8..a65bd748 100644
--- a/go/analysis/passes/ctrlflow/testdata/src/a/a.go
+++ b/go/analysis/passes/ctrlflow/testdata/src/a/a.go
@@ -8,6 +8,8 @@ import (
 	"runtime"
 	"syscall"
 	"testing"
+
+	"lib"
 )
 
 var cond bool
@@ -97,3 +99,11 @@ func spurious() { // want spurious:"noReturn"
 }
 
 func noBody()
+
+func g() {
+	lib.CanReturn()
+}
+
+func h() { // want h:"noReturn"
+	lib.NoReturn()
+}
diff --git a/go/analysis/passes/ctrlflow/testdata/src/lib/lib.go b/go/analysis/passes/ctrlflow/testdata/src/lib/lib.go
new file mode 100644
index 00000000..c0bf7dff
--- /dev/null
+++ b/go/analysis/passes/ctrlflow/testdata/src/lib/lib.go
@@ -0,0 +1,8 @@
+package lib
+
+func CanReturn() {}
+
+func NoReturn() {
+	for {
+	}
+}