| commit | e1db200a608076b5b52d3424eb020caa16e77869 | |
| author | Sven Verdoolaege <sven@cerebras.net> | |
| Fri, 21 May 2021 14:03:18 +0000 (21 16:03 +0200) | ||
| committer | Sven Verdoolaege <sven@cerebras.net> | |
| Sat, 29 May 2021 08:23:41 +0000 (29 10:23 +0200) | ||
| tree | e563453251b0663b81956688317b6e7b432002c3 | treesnapshot (tar.gz zip) |
| parent | 681c20461bea4a9e325b81bbc2fc4e94664280b6 | commitdiff |
isl_union_pw_multi_aff_read_from_str: check domain is free from output ids
Similarly to the case of an isl_multi_pw_aff,
even though the output tuple of an isl_union_pw_multi_aff
is allowed to introduce new identifiers, the domain constraints
are not allowed to reference those identifiers.
If they do then this would result in invalid accesses
because read_formula is passed only the domain of the expression
while it was being passed in the names of all identifiers.
Drop the identifiers corresponding that appear in the output tuple
before calling read_formula.
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
Similarly to the case of an isl_multi_pw_aff,
even though the output tuple of an isl_union_pw_multi_aff
is allowed to introduce new identifiers, the domain constraints
are not allowed to reference those identifiers.
If they do then this would result in invalid accesses
because read_formula is passed only the domain of the expression
while it was being passed in the names of all identifiers.
Drop the identifiers corresponding that appear in the output tuple
before calling read_formula.
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
| isl_input.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |