diff --git a/test/Analysis/DSGraph/SCCSimpleExample.ll b/test/Analysis/DSGraph/SCCSimpleExample.ll
new file mode 100644
index 00000000000..3c71c3461c3
--- /dev/null
+++ b/test/Analysis/DSGraph/SCCSimpleExample.ll
@@ -0,0 +1,25 @@
+
+; RUN: analyze %s -datastructure-gc --dsgc-abort-if-merged=Y,BVal
+
+implementation
+
+internal void %F1(int* %X) {
+	%Y = alloca int
+	store int 4, int* %Y
+	%BVal = call int* %F2(int* %Y)
+	ret void
+}
+
+internal int* %F2(int* %A) {
+	%B = malloc int
+	store int 4, int* %B
+	call void %F1(int* %B)
+	ret int* %B
+}
+
+int %main() {
+	%Q = malloc int
+	store int 4, int* %Q
+	call void %F1(int* %Q)
+	ret int 0
+}