isl_ast_codegen.c: compute_class_domains: compute gist of class domains
commit899f82ceca6edbc939c5d37ff3209c85dca2c6a0
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 16 Dec 2012 18:38:32 +0000 (16 19:38 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Sun, 16 Dec 2012 18:38:32 +0000 (16 19:38 +0100)
treec45092a4df1991efd09cc27b798befeb3e5ddc60
parent00adaf6b43bc6877e286441be25101e64cea07ef
isl_ast_codegen.c: compute_class_domains: compute gist of class domains

The class domains may reference variables that been eliminated from
the "executed" map.  Constraints involving these variables may
therefore get accidentally reintroduced into the "executed" map,
which can render the AST build unable to detect whether the inner
"executed" map is single-valued, possibly causing an infinite recursion.
Plug in the values that caused the variables to be eliminated from
the "executed" map to remove any reference to them from the class domains.

Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_ast_codegen.c
test_inputs/codegen/separation_class3.c [new file with mode: 0644]
test_inputs/codegen/separation_class3.in [new file with mode: 0644]