summaryrefslogtreecommitdiff
path: root/isl_map_piplib.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2008-08-13 15:01:26 +0200
committerSven Verdoolaege <skimo@kotnet.org>2008-08-25 10:15:06 +0200
commitc46fd758a6b4982a79e707981b7d9e5fa8fe1f50 (patch)
treef236c70ea456581988b463cab754b7372635e5ec /isl_map_piplib.c
parent0ab7e60a0e8e4069bf28b47027c0fec460dc4440 (diff)
downloadisl-c46fd758a6b4982a79e707981b7d9e5fa8fe1f50.tar.gz
isl-c46fd758a6b4982a79e707981b7d9e5fa8fe1f50.tar.bz2
isl-c46fd758a6b4982a79e707981b7d9e5fa8fe1f50.zip
add some missing tests for invalid input
Diffstat (limited to 'isl_map_piplib.c')
-rw-r--r--isl_map_piplib.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/isl_map_piplib.c b/isl_map_piplib.c
index 18328b02..8d21c992 100644
--- a/isl_map_piplib.c
+++ b/isl_map_piplib.c
@@ -383,6 +383,9 @@ static struct isl_map *extremum_on(struct isl_ctx *ctx,
struct isl_map *map;
PipMatrix *domain = NULL, *context = NULL;
+ if (!bmap || !dom)
+ goto error;
+
isl_assert(ctx, bmap->nparam == dom->nparam, goto error);
isl_assert(ctx, bmap->n_in == dom->dim, goto error);