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

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

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