Missed EQL propagation from SETQ

Bug #1828831 reported by Paul F. Dietz on 2019-05-13
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
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

To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers