Effects analysis sees match-error, throw-bad-structs as bailouts

[bpt/guile.git] / module / language / tree-il / effects.scm

diff --git a/module/language/tree-il/effects.scm b/module/language/tree-il/effects.scm
index 6302662..22af4f8 100644 (file)
--- a/module/language/tree-il/effects.scm
+++ b/module/language/tree-il/effects.scm
@@ -322,6 +322,22 @@ of an expression."
            (logior (accumulate-effects args)
                    (cause &definite-bailout)
                    (cause &possible-bailout)))
+          (($ <call> _
+              (and proc
+                   ($ <module-ref> _ mod name public?)
+                   (? (lambda (_)
+                        (false-if-exception
+                         (procedure-property
+                          (module-ref (if public?
+                                          (resolve-interface mod)
+                                          (resolve-module mod))
+                                      name)
+                          'definite-bailout?)))))
+              args)
+           (logior (compute-effects proc)
+                   (accumulate-effects args)
+                   (cause &definite-bailout)
+                   (cause &possible-bailout)))
 
           ;; A call to a lexically bound procedure, perhaps labels
           ;; allocated.