| commit | c151ce24e5cec7bb995014e3187b9453f8de4761 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 7 Dec 2010 09:36:51 +0000 (7 10:36 +0100) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 7 Dec 2010 09:40:16 +0000 (7 10:40 +0100) | ||
| tree | 7e53432f9836f695b7eb0efb4be03fd31c703b90 | treesnapshot (tar.gz zip) |
| parent | 2bfb95f15be85c684807c97373f383026b44999b | commitdiff |
isl_basic_set_lift: properly update the number of extra variables
Updating this number is essential for maintaining a proper internal state.
Reported-by: Tobias Grosser <grosser@fim.uni-passau.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
Updating this number is essential for maintaining a proper internal state.
Reported-by: Tobias Grosser <grosser@fim.uni-passau.de>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_map.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |