| commit | 5460e4b2da7d9a0ccebeaef114eb26604b04ef4d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 22 May 2013 09:52:49 +0000 (22 11:52 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 22 May 2013 09:52:49 +0000 (22 11:52 +0200) | ||
| tree | 6bc121367d6f0d7ed19a624b4b4c516391bb5661 | treesnapshot (tar.gz zip) |
| parent | 5e5bf20dd20abdbb96d6897f780fd72e4737bd59 | commitdiff |
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>
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 | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |