Add 2008 to copyright years.
[bpt/emacs.git] / lisp / emacs-lisp / find-gc.el
CommitLineData
9584e63a
GM
1;;; find-gc.el --- detect functions that call the garbage collector
2
d59c3137 3;; Copyright (C) 1992, 2001, 2002, 2003, 2004, 2005,
8b72699e 4;; 2006, 2007, 2008 Free Software Foundation, Inc.
9584e63a
GM
5
6;; Maintainer: FSF
7
8;; This file is part of GNU Emacs.
9
10;; GNU Emacs is free software; you can redistribute it and/or modify
11;; it under the terms of the GNU General Public License as published by
e0085d62 12;; the Free Software Foundation; either version 3, or (at your option)
9584e63a
GM
13;; any later version.
14
15;; GNU Emacs is distributed in the hope that it will be useful,
16;; but WITHOUT ANY WARRANTY; without even the implied warranty of
17;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18;; GNU General Public License for more details.
19
20;; You should have received a copy of the GNU General Public License
21;; along with GNU Emacs; see the file COPYING. If not, write to the
3a35cf56
LK
22;; Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
23;; Boston, MA 02110-1301, USA.
9584e63a
GM
24
25;;; Commentary:
26
b63ecadb
RS
27;; Produce in find-gc-unsafe-list the set of all functions that may invoke GC.
28;; This expects the Emacs sources to live in find-gc-source-directory.
9584e63a
GM
29;; It creates a temporary working directory /tmp/esrc.
30
31;;; Code:
32
b63ecadb
RS
33(defvar find-gc-unsafe-list nil
34 "The list of unsafe functions is placed here by `find-gc-unsafe'.")
35
36(defvar find-gc-source-directory)
37
dc9c856d
RS
38(defvar find-gc-subrs-callers nil
39 "Alist of users of subrs, from GC testing.
40Each entry has the form (FUNCTION . FUNCTIONS-THAT-CALL-IT).")
41
42(defvar find-gc-subrs-called nil
43 "Alist of subrs called, in GC testing.
44Each entry has the form (FUNCTION . FUNCTIONS-IT-CALLS).")
45
b63ecadb
RS
46
47;;; Functions on this list are safe, even if they appear to be able
48;;; to call the target.
49
50(defvar find-gc-noreturn-list '(Fsignal Fthrow wrong_type_argument))
51
52;;; This was originally generated directory-files, but there were
53;;; too many files there that were not actually compiled. The
54;;; list below was created for a HP-UX 7.0 system.
55
56(defvar find-gc-source-files
57 '("dispnew.c" "scroll.c" "xdisp.c" "window.c"
58 "term.c" "cm.c" "emacs.c" "keyboard.c" "macros.c"
59 "keymap.c" "sysdep.c" "buffer.c" "filelock.c"
60 "insdel.c" "marker.c" "minibuf.c" "fileio.c"
61 "dired.c" "filemode.c" "cmds.c" "casefiddle.c"
62 "indent.c" "search.c" "regex.c" "undo.c"
63 "alloc.c" "data.c" "doc.c" "editfns.c"
64 "callint.c" "eval.c" "fns.c" "print.c" "lread.c"
65 "abbrev.c" "syntax.c" "unexec.c"
66 "bytecode.c" "process.c" "callproc.c" "doprnt.c"
67 "x11term.c" "x11fns.c"))
68
69
9584e63a 70(defun find-gc-unsafe ()
b63ecadb
RS
71 "Return a list of unsafe functions--that is, which can call GC.
72Also store it in `find-gc-unsafe'."
9584e63a
GM
73 (trace-call-tree nil)
74 (trace-use-tree)
75 (find-unsafe-funcs 'Fgarbage_collect)
b63ecadb
RS
76 (setq find-gc-unsafe-list
77 (sort find-gc-unsafe-list
78 (function (lambda (x y)
79 (string-lessp (car x) (car y))))))
9584e63a
GM
80)
81
9584e63a
GM
82;;; This does a depth-first search to find all functions that can
83;;; ultimately call the function "target". The result is an a-list
b63ecadb 84;;; in find-gc-unsafe-list; the cars are the unsafe functions, and the cdrs
9584e63a
GM
85;;; are (one of) the unsafe functions that these functions directly
86;;; call.
87
88(defun find-unsafe-funcs (target)
b63ecadb 89 (setq find-gc-unsafe-list (list (list target)))
9584e63a
GM
90 (trace-unsafe target)
91)
92
93(defun trace-unsafe (func)
dc9c856d 94 (let ((used (assq func find-gc-subrs-callers)))
9584e63a 95 (or used
dc9c856d 96 (error "No find-gc-subrs-callers for %s" (car find-gc-unsafe-list)))
9584e63a 97 (while (setq used (cdr used))
b63ecadb
RS
98 (or (assq (car used) find-gc-unsafe-list)
99 (memq (car used) find-gc-noreturn-list)
9584e63a 100 (progn
b63ecadb 101 (push (cons (car used) func) find-gc-unsafe-list)
9584e63a
GM
102 (trace-unsafe (car used))))))
103)
104
105
9584e63a 106
9584e63a
GM
107
108(defun trace-call-tree (&optional already-setup)
109 (message "Setting up directories...")
110 (or already-setup
111 (progn
112 ;; Gee, wouldn't a built-in "system" function be handy here.
113 (call-process "csh" nil nil nil "-c" "rm -rf /tmp/esrc")
114 (call-process "csh" nil nil nil "-c" "mkdir /tmp/esrc")
115 (call-process "csh" nil nil nil "-c"
116 (format "ln -s %s/*.[ch] /tmp/esrc"
b63ecadb 117 find-gc-source-directory))))
9584e63a
GM
118 (save-excursion
119 (set-buffer (get-buffer-create "*Trace Call Tree*"))
dc9c856d 120 (setq find-gc-subrs-called nil)
9584e63a 121 (let ((case-fold-search nil)
b63ecadb 122 (files find-gc-source-files)
9584e63a
GM
123 name entry)
124 (while files
125 (message "Compiling %s..." (car files))
126 (call-process "csh" nil nil nil "-c"
127 (format "gcc -dr -c /tmp/esrc/%s -o /dev/null"
128 (car files)))
129 (erase-buffer)
130 (insert-file-contents (concat "/tmp/esrc/" (car files) ".rtl"))
131 (while (re-search-forward ";; Function \\|(call_insn " nil t)
132 (if (= (char-after (- (point) 3)) ?o)
133 (progn
134 (looking-at "[a-zA-Z0-9_]+")
135 (setq name (intern (buffer-substring (match-beginning 0)
136 (match-end 0))))
137 (message "%s : %s" (car files) name)
138 (setq entry (list name)
dc9c856d 139 find-gc-subrs-called (cons entry find-gc-subrs-called)))
9584e63a
GM
140 (if (looking-at ".*\n?.*\"\\([A-Za-z0-9_]+\\)\"")
141 (progn
142 (setq name (intern (buffer-substring (match-beginning 1)
143 (match-end 1))))
144 (or (memq name (cdr entry))
145 (setcdr entry (cons name (cdr entry))))))))
146 (delete-file (concat "/tmp/esrc/" (car files) ".rtl"))
147 (setq files (cdr files)))))
148)
149
150
9584e63a 151(defun trace-use-tree ()
dc9c856d
RS
152 (setq find-gc-subrs-callers (mapcar 'list (mapcar 'car find-gc-subrs-called)))
153 (let ((ptr find-gc-subrs-called)
9584e63a
GM
154 p2 found)
155 (while ptr
156 (setq p2 (car ptr))
157 (while (setq p2 (cdr p2))
dc9c856d 158 (if (setq found (assq (car p2) find-gc-subrs-callers))
9584e63a
GM
159 (setcdr found (cons (car (car ptr)) (cdr found)))))
160 (setq ptr (cdr ptr))))
161)
162
163(provide 'find-gc)
164
ab5796a9 165;;; arch-tag: 4a26a538-a008-40d9-a1ef-23bb6dbecef4
9584e63a 166;;; find-gc.el ends here