Missed EQL propagation from SETQ
Bug #1828831 reported by
Paul F. Dietz
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Undecided
|
Unassigned |
Bug Description
The compiler is able to determine that X and Y are EQL in this code:
(lambda (x) (let ((y x)) (unless (eql x y) (foo))) ;; call to (foo) is removed as dead code
However, in the equivalent code with SETQ, this doesn't happen
(lambda (x) (let (y) (setq y x) (unless (eql x y) (foo)))) ;; call to (foo) is not removed
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
976562a12c38d2d ee9e7c4aa7363ec 640b1806e6