Merge branch 'master' into boehm-demers-weiser-gc

[bpt/guile.git] / test-suite / tests / gc.test

diff --git a/test-suite/tests/gc.test b/test-suite/tests/gc.test
index 4d7f77e..407c4a2 100644 (file)
--- a/test-suite/tests/gc.test
+++ b/test-suite/tests/gc.test
@@ -1,5 +1,5 @@
 ;;;; gc.test --- test guile's garbage collection    -*- scheme -*-
-;;;; Copyright (C) 2000, 2001 Free Software Foundation, Inc.
+;;;; Copyright (C) 2000, 2001, 2004, 2006, 2007, 2008 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
@@ -13,9 +13,10 @@
 ;;;; 
 ;;;; You should have received a copy of the GNU Lesser General Public
 ;;;; License along with this library; if not, write to the Free Software
-;;;; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
+;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
 
-(use-modules (ice-9 documentation))
+(use-modules (ice-9 documentation)
+            (test-suite lib))
 
 
 ;;;
@@ -26,6 +27,20 @@
 (define (documented? object)
   (not (not (object-documentation object))))
 
+;; In guile 1.6.4 this test bombed, due to the record in h being collected
+;; by the gc, but not removed from h, leaving "x" as a freed cell.
+;; The usual correct result here is for x to be #f, but there's always a
+;; chance gc will mark something used when it isn't, so we allow x to be a
+;; record too.
+(pass-if "weak-values versus records"
+  (let ((rec-type (make-record-type "foo" '()))
+       (h        (make-weak-value-hash-table 61)))
+    (hash-set! h "foo" ((record-constructor rec-type)))
+    (gc)
+    (let ((x (hash-ref h "foo")))
+      (or (not x)
+         ((record-predicate rec-type) x)))))
+
 
 ;;;
 ;;; 
@@ -40,3 +55,27 @@
       (gc)
       (remove-hook! after-gc-hook thunk)
       foo)))
+
+
+(with-test-prefix "gc"
+  (pass-if "Unused modules are removed"
+          (let* ((guard (make-guardian))
+                  (total 1000))
+
+            (for-each (lambda (x) (guard (make-module))) (iota total))
+
+            ;; XXX: This hack aims to clean up the stack to make sure we
+            ;; don't leave a reference to one of the modules we created.  It
+            ;; proved to be useful on SPARC:
+            ;; http://lists.gnu.org/archive/html/guile-devel/2008-02/msg00006.html .
+             (let cleanup ((i 10))
+               (and (> i 0)
+                    (begin (cleanup (1- i)) i)))
+
+            (gc)
+            (gc) ;; twice: have to kill the weak vectors.
+             (= (length (filter (lambda (x)
+                                  (eq? x #t))
+                                (map (lambda (x) (and (guard) #t))
+                                     (iota total))))
+                total))))