opt: Make sure facts_when_impure sees *all* impure literals

1 files changed, 7 insertions, 1 deletions

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*'
 }