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
Revision history for this message
| Stas Boukarev (stassats) wrote | #1 |
| Changed in sbcl: | |
| status: | New → Fix Committed |
| Changed in sbcl: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
976562a12c38d2d