This code (indexing z out of bounds):
x = [i:10] -> 0;
z = [i:5] -> x[i];
output y = z[6];
aborts with error: "isl_ctx.c:253: isl_ctx freed, but some objects still reference it"
This does not happen if z = [i:5] -> 0; - that quits nicely but with a different unhelpful error (see #24)
This code (indexing
zout of bounds):aborts with error: "isl_ctx.c:253: isl_ctx freed, but some objects still reference it"
This does not happen if
z = [i:5] -> 0;- that quits nicely but with a different unhelpful error (see #24)