isl_ast_codegen.c: add_nodes: double-check that list members are disjoint
commitdf7fb0c7fcd91c96c9f9c72110b2761a3aed1d85
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 20 Jul 2013 14:15:19 +0000 (20 16:15 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 24 Jul 2013 11:40:50 +0000 (24 13:40 +0200)
tree4f6441957ed6ade7a28bee9a8172b64993e941a2
parent992dabb462f409cc3c48bd5c66a7b5373825e5de
isl_ast_codegen.c: add_nodes: double-check that list members are disjoint

The elements in the list produced by compute_domains should be disjoint.
If they are not, then we may end up in an infinite recursion through
add_nodes.  Double-check that these elements are indeed disjoint and
abort if they are not.

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