isl_stream_read_obj: read int objects

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/isl_input.c b/isl_input.c
index dca1442..d6c3f8e 100644 (file)
--- a/isl_input.c
+++ b/isl_input.c
@@ -1749,7 +1749,20 @@ static struct isl_obj obj_read(struct isl_stream *s, int nparam)
                goto error;
        }
        if (tok->type == ISL_TOKEN_VALUE) {
+               struct isl_token *tok2;
                struct isl_map *map;
+
+               tok2 = isl_stream_next_token(s);
+               if (!tok2 || tok2->type != ISL_TOKEN_VALUE ||
+                   isl_int_is_neg(tok2->u.v)) {
+                       if (tok2)
+                               isl_stream_push_token(s, tok2);
+                       obj.type = isl_obj_int;
+                       obj.v = isl_int_obj_alloc(s->ctx, tok->u.v);
+                       isl_token_free(tok);
+                       return obj;
+               }
+               isl_stream_push_token(s, tok2);
                isl_stream_push_token(s, tok);
                map = map_read_polylib(s, nparam);
                if (!map)