| commit | f85d4973037a11b903b4661d8b00914ad81b373b | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 6 May 2016 07:45:01 +0000 (6 09:45 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Fri, 6 May 2016 07:51:09 +0000 (6 09:51 +0200) | ||
| tree | 1ca5224030394d0059ab2b537d818f7cb311da66 | treesnapshot (tar.gz zip) |
| parent | 89c652adaa7d0222d170998b065160cd732c237d | commitdiff |
isl_tab_lexmin_add_eq: fix error handling
If add_lexmin_ineq fails for some reason, then the n_var field
of the tableau can no longer be accessed. Save a copy of the field
before the call and use that instead.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
If add_lexmin_ineq fails for some reason, then the n_var field
of the tableau can no longer be accessed. Save a copy of the field
before the call and use that instead.
Reported-by: Tobias Grosser <tobias@grosser.es>
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab_pip.c | diffblobblamehistory |