summaryrefslogtreecommitdiff
path: root/isl_tab_pip.c
diff options
context:
space:
mode:
authorSven Verdoolaege <skimo@kotnet.org>2009-10-10 13:19:09 +0200
committerSven Verdoolaege <skimo@kotnet.org>2009-10-12 22:26:24 +0200
commit10b16dc854ba4e413d23fcce772ace8e885cae0e (patch)
tree1b1bd1951ce0d441aaa1651d819f3399f7f67cb3 /isl_tab_pip.c
parentec21e6de21d784ee1ba32689aebcbda9f786fd30 (diff)
downloadisl-10b16dc854ba4e413d23fcce772ace8e885cae0e.tar.gz
isl-10b16dc854ba4e413d23fcce772ace8e885cae0e.tar.bz2
isl-10b16dc854ba4e413d23fcce772ace8e885cae0e.zip
mark some functions as requiring use of return value
Diffstat (limited to 'isl_tab_pip.c')
-rw-r--r--isl_tab_pip.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/isl_tab_pip.c b/isl_tab_pip.c
index 9f840f04..65eaf18a 100644
--- a/isl_tab_pip.c
+++ b/isl_tab_pip.c
@@ -796,7 +796,7 @@ static int first_neg(struct isl_tab *tab)
* smallest increment in the sample point. If there is no such column
* then the tableau is infeasible.
*/
-static struct isl_tab *restore_lexmin(struct isl_tab *tab);
+static struct isl_tab *restore_lexmin(struct isl_tab *tab) WARN_UNUSED;
static struct isl_tab *restore_lexmin(struct isl_tab *tab)
{
int row, col;
@@ -930,6 +930,7 @@ static int is_constant(struct isl_tab *tab, int row)
* In the end we try to use one of the two constraints to eliminate
* a column.
*/
+static struct isl_tab *add_lexmin_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
static struct isl_tab *add_lexmin_eq(struct isl_tab *tab, isl_int *eq)
{
int r1, r2;