projects
/
platform
/
upstream
/
isl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
doc: add a note about isl_*_intersect and parametric sets
[platform/upstream/isl.git]
/
isl_map.c
diff --git
a/isl_map.c
b/isl_map.c
index
a8f3a55
..
26eb7d2
100644
(file)
--- a/
isl_map.c
+++ b/
isl_map.c
@@
-1607,6
+1607,10
@@
__isl_give isl_map *isl_map_eliminate(__isl_take isl_map *map,
if (n == 0)
return map;
+ if (first + n > isl_map_dim(map, type) || first + n < first)
+ isl_die(map->ctx, isl_error_invalid,
+ "index out of bounds", goto error);
+
map = isl_map_cow(map);
if (!map)
return NULL;