| commit | 67345a6df89b2fc1539f83093c265f5cd83a9975 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Mon, 16 Oct 2017 08:14:50 +0000 (16 10:14 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 17 Oct 2017 07:26:12 +0000 (17 09:26 +0200) | ||
| tree | cf05e84b0199c7af186a36ecb696d645735f70b0 | treesnapshot (tar.gz zip) |
| parent | 101f85d12650724d1d8c038c5953d13b9410355f | commitdiff |
isl_multi_union_pw_aff_zero: check that input is not a parameter space
isl_multi_union_pw_aff_zero would only check that the domain
is a set space, but a parameter space is also considered
to be a set space, while it cannot serve as the space of
an isl_multi_union_pw_aff object.
Reviewed-by: Nicolas Vasilache <nicolas.vasilache@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_multi_union_pw_aff_zero would only check that the domain
is a set space, but a parameter space is also considered
to be a set space, while it cannot serve as the space of
an isl_multi_union_pw_aff object.
Reviewed-by: Nicolas Vasilache <nicolas.vasilache@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_aff.c | diffblobblamehistory |