1.0.0.25: fix win32 build
[sbcl.git] / contrib / sb-introspect / xref-test-data.lisp
1 (defvar *a* nil)
2 (defconstant +z+ 'zzz)
3
4 (defun foo () 1)
5 (defun bar (x) x)
6
7 ;; Should:
8 ;;   reference *a*
9 ;;   call bar
10 ;;   not call foo
11 ;;   not call xref/2
12 (defun xref/1 ()
13   (flet ((foo ()
14            (bar *a*)))
15     (flet ((xref/2 ()
16              1))
17       (foo)
18       (xref/2))))
19
20 ;; Should:
21 ;;   reference *a*, set *a*, bind *a*
22 ;;   call xref/1
23 ;;   not bind b
24 (defun xref/2 ()
25   (setf *a* *a*)
26   (let* ((b 1)
27          (*a* b))
28     (when nil
29       (xref/1))))
30
31 (let ((x 1))
32   ;; Should:
33   ;;   call bar
34   ;;   not reference *a*
35   (defun xref/3 ()
36     (bar x))
37   ;; Should:
38   ;;   not call bar
39   ;;   reference *a*
40   (defun xref/4 ()
41     (setf x *a*)))
42
43
44 (flet ((z ()
45          (xref/2)))
46   ;; Should:
47   ;;   call xref/2
48   ;;   not call z
49   (defun xref/5 ()
50     (z))
51   ;; Should:
52   ;;   call xref/2
53   ;;   not call z
54   (defun xref/6 ()
55     (z)))
56
57 (defun xref/7 ()
58   (flet ((a ()
59            (xref/6)))
60     #'a))
61
62 ;; call xref/2
63 (let ((a 1))
64   (defvar *b* (or (xref/2) a)))
65
66 ;; call xref/6
67 (defvar *c* (xref/6))
68
69 ;; call xref/2 twice (not three times)
70 (defun xref/8 ()
71   (flet ((a ()
72            (xref/2)))
73     (a)
74     (a)
75     (xref/2)))
76
77 ;; Methods work, even ones with lots of arguments.
78 (defmethod xref/10 (a b c d e f g h (i fixnum))
79   (xref/2))
80
81 ;; Separate methods are indeed separate
82 (defmethod xref/11 ((a fixnum))
83   (declare (ignore a))
84   (xref/2))
85
86 (defmethod xref/11 ((a float))
87   (declare (ignore a))
88   (xref/3))
89
90 (declaim (inline inline/1))
91 (defun inline/1 ()
92   (xref/3)
93   (values +z+ *a*))
94
95 (eval-when (:compile-toplevel :load-toplevel)
96   (defun xref/12 ()
97     (flet ((a ()
98              ;; Counts as calling xref/2
99              (xref/2)))
100       (declare (inline a))
101       (a)
102       ;; Doesn't count as calling xref/3, or referring to +z+ / *a*
103       (inline/1))))
104
105 ;; calling a function in a macro body
106 (defmacro macro/1 ()
107   (when nil
108     (xref/12))
109   nil)
110
111 ;; expanding a macro
112 (defun macro-use/1 ()
113   (macro/1))
114
115 ;; expanding a macro in an flet/labels
116 (defun macro-use/2 ()
117   (flet ((inner-flet ()
118            (macro/1)))
119     (inner-flet)))
120
121 ;; expanding a macro in an toplevel flet/labels
122 (flet ((outer-flet ()
123          (macro/1)))
124   (defun macro-use/3 ()
125     (outer-flet)))
126
127 ;; expanding a macro in an inlined flet/labels
128 (defun macro-use/4 ()
129   (flet ((inner-flet ()
130            (macro/1)))
131     (declare (inline inner-flet))
132     (inner-flet)))
133
134 (declaim (inline inline/2))
135 (defun inline/2 ()
136   (macro/1))
137
138 ;; Inlining inline/3 doesn't count as macroexpanding macro/1
139 (defun macro-use/5 ()
140   (inline/2))
141
142 ;;; Code in the macrolet definition bodies is currently not considered
143 ;;; at all for XREF. Maybe it should be, but it's slightly tricky to
144 ;;; implement.
145 #+nil
146 (progn
147   (defun macrolet/1 ()
148     (macrolet ((a ()
149                  (inline/2)
150                1))
151       (a)))
152   (defun macrolet/2 ()
153     (macrolet ((inner-m ()
154                  (macro/1)))
155       (inner-m))))
156
157 ;;; Test references to / from compiler-macros