Safely bailout when isl_vec_alloc was not able to allocate

[chrisj]

Summary

There is possibility that memory was not allocated (due to hitting max operations etc.) and we need guard against it.

[grosser]

Hi Chris,

the change looks good! However, changes to isl should be first upstreamed to isl and only then imported back to ensure we do not get out-of-sync. Any chance you can submit this patch directly to isl-development mailing list.

Best,
Tobias

[grosser]

This has been implemented in isl and committed to polly in r287098. I cannot close this revision, so please close it yourself.

Resigning.

isl_aff.c

 
   res = isl_vec_alloc(vec->ctx,
           2 + isl_space_dim(r->dim, isl_dim_all) + n_div);
+        if (!res)
+                goto error;
   isl_seq_cpy(res->el, vec->el, 2);
   isl_seq_clr(res->el + 2, res->size - 2);
   for (i = 0; i < r->len; ++i)