diff options
Diffstat (limited to 'isl_sample.c')
-rw-r--r-- | isl_sample.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/isl_sample.c b/isl_sample.c index 3564f802..8a99d7e1 100644 --- a/isl_sample.c +++ b/isl_sample.c @@ -61,6 +61,10 @@ static struct isl_vec *interval_sample(struct isl_basic_set *bset) return zero_sample(bset); sample = isl_vec_alloc(bset->ctx, 2); + if (!sample) + goto error; + if (!bset) + return NULL; isl_int_set_si(sample->block.data[0], 1); if (bset->n_eq > 0) { |