isl_ctx_peek_options: special case isl_options_args

The isl_options_args options are always available, even
when they do not appear in ctx->user_opt.
Just return them instead of looking through ctx->user_opt.

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

diff --git a/isl_ctx.c b/isl_ctx.c
index 3b14509..1dff37b 100644 (file)
--- a/isl_ctx.c
+++ b/isl_ctx.c
@@ -61,6 +61,8 @@ void *isl_ctx_peek_options(isl_ctx *ctx, struct isl_args *args)
 {
        if (!ctx)
                return NULL;
+       if (args == &isl_options_args)
+               return ctx->opt;
        return find_nested_options(ctx->user_args, ctx->user_opt, args);
 }