frontend/define.c, ntharg(), #5/15 make use of `fact: num >= 1'

2026-08-29 01:04:55 +02:00 · 2015-11-07 20:25:04 +01:00
parent f538b4dba3
commit 67301b25fe
1 changed files with 1 additions and 2 deletions
@@ -410,8 +410,7 @@ ntharg(int num, struct pnode *args)
    // fact: num >= 1 for all known invocations of ntharg()
        while (--num > 0) {
            if (args && args->pn_op && (args->pn_op->op_num != PT_OP_COMMA)) {
-                // fact: num >= 1 because of `while' condition
-                if (num == 1)
+                if (num <= 1)
                    break;
                return NULL;
            }