arg might be NULL

[r24130]

diff --git a/format_check.c b/format_check.c
index a399fb2..a283323 100644 (file)
--- a/format_check.c
+++ b/format_check.c
@@ -157,9 +157,12 @@ static void check_printf_format(const call_argument_t *arg, const format_spec_t
 {
        /* find format arg */
        unsigned idx = 0;
-       for (; idx < spec->fmt_idx; ++idx)
+       for (; idx < spec->fmt_idx && arg != NULL; ++idx)
                arg = arg->next;
 
+       if (arg == NULL)
+               return;
+
        const expression_t *fmt_expr = arg->expression;
        if (fmt_expr->kind == EXPR_UNARY_CAST_IMPLICIT) {
                fmt_expr = fmt_expr->unary.value;
@@ -182,7 +185,7 @@ static void check_printf_format(const call_argument_t *arg, const format_spec_t
                return;
        }
        /* find the real args */
-       for(; idx < spec->arg_idx; ++idx)
+       for(; idx < spec->arg_idx && arg != NULL; ++idx)
                arg = arg->next;
 
        const source_position_t *pos = &fmt_expr->base.source_position;