Add $branch expression type

[bpt/guile.git] / module / language / cps / effects-analysis.scm

diff --git a/module/language/cps/effects-analysis.scm b/module/language/cps/effects-analysis.scm
index 98b5757..0e65875 100644 (file)
--- a/module/language/cps/effects-analysis.scm
+++ b/module/language/cps/effects-analysis.scm
@@ -445,6 +445,8 @@ is or might be a read or a write to the same location as A."
      (&write-object &prompt))
     ((or ($ $call) ($ $callk))
      &all-effects)
+    (($ $branch k exp)
+     (expression-effects exp dfg))
     (($ $primcall name args)
      (primitive-effects dfg name args))))