;;;; gc.test --- test guile's garbage collection -*- scheme -*-
-;;;; Copyright (C) 2000, 2001, 2004 Free Software Foundation, Inc.
+;;;; Copyright (C) 2000, 2001, 2004, 2006, 2007, 2008, 2009,
+;;;; 2011, 2012, 2013 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
;;;; License as published by the Free Software Foundation; either
-;;;; version 2.1 of the License, or (at your option) any later version.
+;;;; version 3 of the License, or (at your option) any later version.
;;;;
;;;; This library is distributed in the hope that it will be useful,
;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;;;;
;;;; 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)
- (test-suite lib))
+(define-module (tests gc)
+ #:use-module (ice-9 documentation)
+ #:use-module (test-suite lib)
+ #:use-module ((system base compile) #:select (compile)))
+;; Some of these tests verify that things are collectable. As we use a
+;; third-party conservative collector, we really can't guarantee that --
+;; we can try, but on some platforms, on some versions (possibly), the
+;; test might fail. But we don't want that to stop the build. So,
+;; instead of failing, throw 'unresolved.
+;;
+(define (maybe-gc-flakiness result)
+ (or result
+ (throw 'unresolved)))
+
;;;
;;; miscellaneous
;;;
(add-hook! after-gc-hook thunk)
(gc)
(remove-hook! after-gc-hook thunk)
- foo)))
+ foo))
+
+ (pass-if "Unused modules are removed"
+ (let* ((guard (make-guardian))
+ (total 1000))
+
+ (for-each (lambda (x) (guard (make-module))) (iota total))
+
+ ;; Avoid false references to the modules on the stack.
+ (clear-stale-stack-references)
+
+ (gc)
+ (gc) ;; twice: have to kill the weak vectors.
+ (gc) ;; thrice: because the test doesn't succeed with only
+ ;; one gc round. not sure why.
+
+ (maybe-gc-flakiness
+ (= (let lp ((i 0))
+ (if (guard)
+ (lp (1+ i))
+ i))
+ total))))
+
+ (pass-if "Lexical vars are collectable"
+ (let ((l (compile
+ '(begin
+ (define guardian (make-guardian))
+ (let ((f (list 'foo)))
+ (guardian f))
+ ((@ (test-suite lib) clear-stale-stack-references))
+ (gc)(gc)(gc)
+ (guardian))
+ ;; Prevent the optimizer from propagating f.
+ #:opts '(#:partial-eval? #f))))
+ (maybe-gc-flakiness (equal? l '(foo))))))