https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108447
--- Comment #16 from Jakub Jelinek <jakub at gcc dot gnu.org> --- BTW, because both union and intersect are commutative, so perhaps we should have a self-test that verifies that. Guess that would catch the VREL_UNDEFINED line errors.