aboutsummaryrefslogtreecommitdiffstats
path: root/awkgram.c
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2018-05-24 18:38:47 +0300
committerArnold D. Robbins <arnold@skeeve.com>2018-05-24 18:38:47 +0300
commitd612fd1101a506bb657dcecebf136d5a433fa449 (patch)
treec028c1c78567352c7742d0beaec28d5a0b236d5a /awkgram.c
parent101b17f4ba775f078449b2e80b33bb1d6d150f73 (diff)
parent58cc32a6d4a179b3005f8e4fecbff932da681fba (diff)
downloadegawk-d612fd1101a506bb657dcecebf136d5a433fa449.tar.gz
egawk-d612fd1101a506bb657dcecebf136d5a433fa449.tar.bz2
egawk-d612fd1101a506bb657dcecebf136d5a433fa449.zip
Merge branch 'gawk-4.2-stable'
Diffstat (limited to 'awkgram.c')
-rw-r--r--awkgram.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/awkgram.c b/awkgram.c
index be9a5e69..8df94be8 100644
--- a/awkgram.c
+++ b/awkgram.c
@@ -8323,7 +8323,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;
}