[Guile-commits] 10/19: DCE ignores setters to dead objects

[Andy Wingo]

wingo pushed a commit to branch main
in repository guile.

commit 26b43f35c51564dc0ace42293dc1ab566599e7df
Author: Andy Wingo <wingo@pobox.com>
AuthorDate: Thu Jun 22 12:16:59 2023 +0200

    DCE ignores setters to dead objects
    
    * module/language/cps/dce.scm (compute-live-code): Add the new
    higher-level object mutators.
---
 module/language/cps/dce.scm | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/module/language/cps/dce.scm b/module/language/cps/dce.scm
index 8b0604624..6c55245a5 100644
--- a/module/language/cps/dce.scm
+++ b/module/language/cps/dce.scm
@@ -1,6 +1,6 @@
 ;;; Continuation-passing style (CPS) intermediate language (IL)
 
-;; Copyright (C) 2013-2021 Free Software Foundation, Inc.
+;; Copyright (C) 2013-2021, 2023 Free Software Foundation, Inc.
 
 ;;;; This library is free software; you can redistribute it and/or
 ;;;; modify it under the terms of the GNU Lesser General Public
@@ -197,8 +197,13 @@ sites."
                 (match exp
                   (($ $primcall
                       (or 'scm-set! 'scm-set!/tag 'scm-set!/immediate
-                          'word-set! 'word-set!/immediate) _
-                      (obj . _))
+                          'word-set! 'word-set!/immediate
+                          'vector-set! 'vector-set!/immediate
+                          'set-car! 'set-cdr!
+                          'box-set!
+                          'struct-set!
+                          'closure-set!)
+                      _ (obj . _))
                    (or (var-live? obj live-vars)
                        (not (intset-ref known-allocations obj))))
                   (_ #t)))))