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