| commit | abb1189fde0870ba7dddd0965aec91504deb4f94 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 29 Apr 2016 12:57:00 +0000 (29 14:57 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 29 Apr 2016 13:00:51 +0000 (29 15:00 +0200) | ||
| tree | a999b27b599d4ae4930fe4d9eb7b410704cd3aed | treesnapshot (tar.gz zip) |
| parent | 6b90eec338ff2f8d8c739e925aca1e28d86c4c99 | commitdiff |
Polyhedron_Factor: make sure group information gets updated
Polyhedron_Factor lazily keeps track of which group a column belongs to.
The actual construction of the factors assumes the groups have been
updated, however, so make sure that the group of each column eventually
gets updated.
isl_basic_set_factorizer in isl used to have the same bug, but that one
was fixed in isl-0.05.1-6-gf49c274.
Reported-by: Diego Garbervetsky <diego.garbervetsky@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Polyhedron_Factor lazily keeps track of which group a column belongs to.
The actual construction of the factors assumes the groups have been
updated, however, so make sure that the group of each column eventually
gets updated.
isl_basic_set_factorizer in isl used to have the same bug, but that one
was fixed in isl-0.05.1-6-gf49c274.
Reported-by: Diego Garbervetsky <diego.garbervetsky@gmail.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| tests/garbervetsky | [new file with mode: 0644] | blob |
| util.c | diffblobblamehistory |