isl_multi_*_intersect_domain: always check domain compatibility
commit66175a0a374175efa73b90c632d82a3910d7340d
authorSven Verdoolaege <sven@cerebras.net>
Wed, 14 Dec 2022 11:18:21 +0000 (14 12:18 +0100)
committerSven Verdoolaege <sven@cerebras.net>
Sun, 12 Feb 2023 22:18:17 +0000 (12 23:18 +0100)
treec58c04bcb9174b135f6436199ea9886af8c2c85c
parent1e171f63aa8f070cf1bc4dc8fb012f46624d32bc
isl_multi_*_intersect_domain: always check domain compatibility

A compatibility check was introduced in isl-0.19-36-g3f2f9ab429
(keep track of domain in 0D isl_multi_pw_aff and isl_multi_union_pw_aff,
Wed Jun 14 12:05:26 2017 +0200) for the case where the multi-object
has an explicit domain, but the check should equally hold in other cases.

Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
isl_multi_intersect.c