isl_basic_map_foreach_lexopt: properly merge partial empty solutions
authorSven Verdoolaege <skimo@kotnet.org>
Wed, 22 May 2013 09:52:49 +0000 (11:52 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 22 May 2013 09:52:49 +0000 (11:52 +0200)
commit5460e4b2da7d9a0ccebeaef114eb26604b04ef4d
tree6bc121367d6f0d7ed19a624b4b4c516391bb5661
parent5e5bf20dd20abdbb96d6897f780fd72e4737bd59
isl_basic_map_foreach_lexopt: properly merge partial empty solutions

b9f95db (isl_basic_map_foreach_lexopt: properly merge partial solutions,
Wed Mar 20 09:55:50 2013 +0100) fixed the merging of partial non-empty
solutions, but did not take into account that partial solutions may
be empty.  If the partial solutions are empty, then M is NULL and we
cannot dereference it.

Note that the new test case only triggers on top of d7e5adb
(isl_tab_basic_map_partial_lexopt: better exploit partial solution cache,
Tue Mar 12 17:25:04 2013 +0100) in the master branch.

Reported-by: Tomofumi Yuki <tomofumi.yuki@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_tab_pip.c
isl_test.c