| commit | 44ae36e1e9ce0b6dbac6d65467174774c5c35342 | |
| author | Benoit Pradelle <pradelle@reservoir.com> | |
| Wed, 7 Dec 2016 14:30:55 +0000 (7 09:30 -0500) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 7 Dec 2016 14:54:12 +0000 (7 15:54 +0100) | ||
| tree | 017276e2dbe13cb3665504ae7b5a4a9f6101c885 | treesnapshot (tar.gz zip) |
| parent | 2f1c1299c67b0a2327f57e9e2f35d8c0cedc5a58 | commitdiff |
Fix missing initialization in compress_variables
When an ILP is solved using a basic set identified as empty only when
the equalities are removed, the ILP was failing because compress_variables
failed to initialize the transformation matrices. The ILP solving now
properly terminates with the isl_lp_empty status.
Signed-off-by: Benoit Pradelle <pradelle@reservoir.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
When an ILP is solved using a basic set identified as empty only when
the equalities are removed, the ILP was failing because compress_variables
failed to initialize the transformation matrices. The ILP solving now
properly terminates with the isl_lp_empty status.
Signed-off-by: Benoit Pradelle <pradelle@reservoir.com>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_equalities.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory |