isl_basic_set_opt: accept NULL pointer on zero-size allocation
commit0c59333c007d8ebab3a6deef55953a6c1044f563
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 5 Jul 2013 16:10:36 +0000 (5 18:10 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 5 Jul 2013 16:10:36 +0000 (5 18:10 +0200)
tree0e0e20c79afeb9ddde336f97690dfa10f77a312b
parent00b8a18ff9ba5f3d10bdb5518e422ec21c8ca051
isl_basic_set_opt: accept NULL pointer on zero-size allocation

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ilp.c