diff options
Diffstat (limited to 'polly/lib/External/isl/isl_stream.c')
| -rw-r--r-- | polly/lib/External/isl/isl_stream.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/polly/lib/External/isl/isl_stream.c b/polly/lib/External/isl/isl_stream.c index cf1fd5e7d3d..beb06a64539 100644 --- a/polly/lib/External/isl/isl_stream.c +++ b/polly/lib/External/isl/isl_stream.c @@ -725,8 +725,11 @@ int isl_stream_eat(__isl_keep isl_stream *s, int type) struct isl_token *tok; tok = isl_stream_next_token(s); - if (!tok) + if (!tok) { + if (s->eof) + isl_stream_error(s, NULL, "unexpected EOF"); return -1; + } if (tok->type == type) { isl_token_free(tok); return 0; |
