[Guile-commits] 02/03: Fix bug verifying $calli instructions

[Andy Wingo]

wingo pushed a commit to branch wip-tailify
in repository guile.

commit 6a0c1c4f1ccf6f046a3c7d6997e0dec41ce1a3f6
Author: Andy Wingo <wingo@pobox.com>
AuthorDate: Mon May 15 11:09:45 2023 +0200

    Fix bug verifying $calli instructions
    
    * module/language/cps/verify.scm (check-valid-var-uses): Return the
    first-order set.
---
 module/language/cps/verify.scm | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/module/language/cps/verify.scm b/module/language/cps/verify.scm
index e9c74f592..97619d63a 100644
--- a/module/language/cps/verify.scm
+++ b/module/language/cps/verify.scm
@@ -176,7 +176,8 @@ definitions that are available at LABEL."
          (visit-first-order kfun))
         (($ $calli args callee)
          (for-each check-use args)
-         (check-use callee))
+         (check-use callee)
+         first-order)
         (($ $primcall name param args)
          (for-each check-use args)
          first-order)))
@@ -216,7 +217,8 @@ definitions that are available at LABEL."
             (visit-first-order kfun))
            (($ $calli args callee)
             (for-each check-use args)
-            (check-use callee))
+            (check-use callee)
+            first-order)
            (($ $primcall name param args)
             (for-each check-use args)
             first-order)))