1 files changed, 19 insertions, 0 deletions
diff --git a/test/Analysis/DSGraph/HardBUCase.ll b/test/Analysis/DSGraph/HardBUCase.ll
new file mode 100644
index 0000000..e8f316f
--- /dev/null
+++ b/test/Analysis/DSGraph/HardBUCase.ll
@@ -0,0 +1,19 @@
+
+%MidFnTy = type void (\2*)
+
+implementation
+
+int %main() {
+	call %MidFnTy* %Mid(%MidFnTy* %Mid)
+	ret int 0
+}
+
+internal void %Mid(%MidFnTy *%F) {
+	call void %Bottom(%MidFnTy* %F)
+	ret void
+}
+
+internal void %Bottom(%MidFnTy* %F) {
+	call void %F(%MidFnTy* %Mid)
+	ret void
+}