1 files changed, 1 insertions, 1 deletions
diff --git a/awkgram.y b/awkgram.y
index 672fa9e0..40c5052f 100644
--- a/awkgram.y
+++ b/awkgram.y
@@ -5920,7 +5920,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;
 			}