aboutsummaryrefslogtreecommitdiffstats
path: root/awkgram.y
diff options
context:
space:
mode:
authorArnold D. Robbins <arnold@skeeve.com>2018-05-24 18:39:23 +0300
committerArnold D. Robbins <arnold@skeeve.com>2018-05-24 18:39:23 +0300
commitfe18b51cdabcc4d0d035c69de858db831b609d1a (patch)
tree1ca5fca0762175cb7ba0fffd3c93de4b5e889d15 /awkgram.y
parentb6de667a0fde62f36fdad941c948a03ae9356745 (diff)
parentd612fd1101a506bb657dcecebf136d5a433fa449 (diff)
downloadegawk-fe18b51cdabcc4d0d035c69de858db831b609d1a.tar.gz
egawk-fe18b51cdabcc4d0d035c69de858db831b609d1a.tar.bz2
egawk-fe18b51cdabcc4d0d035c69de858db831b609d1a.zip
Merge branch 'master' into feature/fix-comments
Diffstat (limited to 'awkgram.y')
-rw-r--r--awkgram.y2
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;
}