projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
1.0.26.20: tighter VECTOR-PUSH-EXTEND argument type
[sbcl.git]
/
src
/
compiler
/
constraint.lisp
diff --git
a/src/compiler/constraint.lisp
b/src/compiler/constraint.lisp
index
1233220
..
e087eaf
100644
(file)
--- a/
src/compiler/constraint.lisp
+++ b/
src/compiler/constraint.lisp
@@
-203,7
+203,7
@@
ret))
(defun %conset-grow (conset new-size)
ret))
(defun %conset-grow (conset new-size)
- (declare (index new-size))
+ (declare (type index new-size))
(setf (conset-vector conset)
(replace (the simple-bit-vector
(make-array
(setf (conset-vector conset)
(replace (the simple-bit-vector
(make-array
@@
-215,7
+215,7
@@
(declaim (inline conset-grow))
(defun conset-grow (conset new-size)
(declaim (inline conset-grow))
(defun conset-grow (conset new-size)
- (declare (index new-size))
+ (declare (type index new-size))
(when (< (length (conset-vector conset)) new-size)
(%conset-grow conset new-size))
(values))
(when (< (length (conset-vector conset)) new-size)
(%conset-grow conset new-size))
(values))
@@
-357,7
+357,7
@@
(let ((new (make-constraint (length *constraint-universe*)
kind x y not-p)))
(vector-push-extend new *constraint-universe*
(let ((new (make-constraint (length *constraint-universe*)
kind x y not-p)))
(vector-push-extend new *constraint-universe*
- (* 2 (length *constraint-universe*)))
+ (1+ (length *constraint-universe*)))
(conset-adjoin new (lambda-var-constraints x))
(when (lambda-var-p y)
(conset-adjoin new (lambda-var-constraints y)))
(conset-adjoin new (lambda-var-constraints x))
(when (lambda-var-p y)
(conset-adjoin new (lambda-var-constraints y)))