projects
/
platform
/
upstream
/
isl.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
49845b4
)
isl_map_intersect: detect empty result also in case of adding a single constraint
author
Sven Verdoolaege
<skimo@kotnet.org>
Sat, 20 Feb 2010 23:03:57 +0000
(
00:03
+0100)
committer
Sven Verdoolaege
<skimo@kotnet.org>
Thu, 4 Mar 2010 09:03:48 +0000
(10:03 +0100)
Commit ed3b444 (isl_map_intersect: add special case for adding a single
constraint) added a special case of adding a single constraint but
neglected to detect an empty result in this special case.
isl_map.c
patch
|
blob
|
history
diff --git
a/isl_map.c
b/isl_map.c
index
6840726
..
01f1758
100644
(file)
--- a/
isl_map.c
+++ b/
isl_map.c
@@
-1876,6
+1876,11
@@
static __isl_give isl_map *map_intersect_add_constraint(
if (!map1->p[0])
goto error;
if (!map1->p[0])
goto error;
+ if (isl_basic_map_fast_is_empty(map1->p[0])) {
+ isl_basic_map_free(map1->p[0]);
+ map1->n = 0;
+ }
+
isl_map_free(map2);
return map1;
isl_map_free(map2);
return map1;