1 files changed, 1 insertions, 1 deletions
diff --git a/awkgram.c b/awkgram.c
index 13a7be70..493109fe 100644
--- a/awkgram.c
+++ b/awkgram.c
@@ -8326,7 +8326,7 @@ add_lint(INSTRUCTION *list, LINTTYPE linttype)
 				}
 			}
 
-			if (ip->opcode == Op_push) {		/* run-time warning */
+			if (ip->opcode == Op_push || ip->opcode == Op_push_i) {		/* run-time warning */
 				list_append(list, instruction(Op_lint));
 				list->lasti->lint_type = linttype;
 			}