aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--test/Transforms/DSAnalysis/recursion.ll24
1 files changed, 24 insertions, 0 deletions
diff --git a/test/Transforms/DSAnalysis/recursion.ll b/test/Transforms/DSAnalysis/recursion.ll
new file mode 100644
index 0000000000..669b0a4e1b
--- /dev/null
+++ b/test/Transforms/DSAnalysis/recursion.ll
@@ -0,0 +1,24 @@
+implementation ; Functions:
+
+declare void %__main()
+
+void %A(int* %L) {
+bb0: ; No predecessors!
+ call void %B( int* %L )
+ call void %A( int* %L )
+ ret void
+}
+
+void %B(int* %L) {
+bb0: ; No predecessors!
+ call void %A( int* %L )
+ ret void
+}
+
+void %main() {
+bb0: ; No predecessors!
+ call void %__main( )
+ call void %A( int* null )
+ ret void
+}
+