INTERSECTION and UNION not folding when one argument is NIL/not-NIL
Bug #1592152 reported by
Paul F. Dietz
This bug affects 1 person
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
SBCL |
Fix Released
|
Wishlist
|
Unassigned |
Bug Description
When INTERSECTION or UNION are called with an argument that is known at compile time to be NIL (not-NIL, for UNION), this should enable the compiler to deduce the result is NIL (or not-NIL, respectively).
This would have been useful for me to detect a bug, as it would have caused the compiler to indicate a branch of a following IF form was unreachable.
The detection does work if INTERSECTION (UNION) is declared inline, but I don't want to do that.
Changed in sbcl: | |
status: | New → Triaged |
importance: | Undecided → Wishlist |
assignee: | nobody → Stas Boukarev (stassats) |
Changed in sbcl: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
In e6a1a0b2f7230ea a6ef8d6890a0113 b4cbe0dfe8