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