isl_{set,map}_fast_is_empty: avoid NULL pointer dereference
commitc5a5b3912324a8f68af977baafb407c4d8fe95d1
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 25 Jun 2010 18:36:16 +0000 (25 20:36 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Sat, 26 Jun 2010 15:37:39 +0000 (26 17:37 +0200)
tree2d0705c240948f6d4c8b7e3ae6c66b6792014d1e
parentf386665c4e9fd53f7fa4a3bc7e50c4d9f7439189
isl_{set,map}_fast_is_empty: avoid NULL pointer dereference
isl_map.c