From faee855b1e886dacc999e1dccf7f8e2c750f33c6 Mon Sep 17 00:00:00 2001
From: Tavian Barnes <tavianator@tavianator.com>
Date: Sun, 7 Jun 2020 13:50:53 -0400
Subject: opt: Make sure facts_when_impure sees *all* impure literals

---
 tests.sh | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'tests.sh')

diff --git a/tests.sh b/tests.sh
index df92a8e..c84907c 100755
--- a/tests.sh
+++ b/tests.sh
@@ -657,10 +657,11 @@ bfs_tests=(
     test_L_unique_depth
 
     test_xtype_multi
-    test_xtype_reorder
 
     # Optimizer tests
     test_data_flow_hidden
+    test_xtype_reorder
+    test_xtype_depth
 
     # PATH_MAX handling
     test_deep_strict
@@ -1323,6 +1324,11 @@ function test_xtype_reorder() {
     invoke_bfs loops -links 100 -xtype l
 }
 
+function test_xtype_depth() {
+    # Make sure -xtype is considered side-effecting for facts_when_impure
+    ! invoke_bfs loops -xtype l -depth 100 2>/dev/null
+}
+
 function test_iname() {
     bfs_diff basic -iname '*F*'
 }
-- 
cgit v1.2.3