INTERSECTION and UNION not folding when one argument is NIL/not-NIL

Bug #1592152 reported by Paul F. Dietz on 2016-06-13
This bug affects 1 person
Affects Status Importance Assigned to Milestone

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.

Stas Boukarev (stassats) on 2016-06-13
Changed in sbcl:
status: New → Triaged
importance: Undecided → Wishlist
assignee: nobody → Stas Boukarev (stassats)
Stas Boukarev (stassats) wrote :

In e6a1a0b2f7230eaa6ef8d6890a0113b4cbe0dfe8

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.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers