Side exit on overflow

dstogov · dstogov · commit 83478d4fe0e1 · 2020-07-17T13:03:35.000+03:00
diff --git a/ext/opcache/jit/zend_jit_trace.c b/ext/opcache/jit/zend_jit_trace.c
@@ -883,6 +883,11 @@ static int is_checked_guard(const zend_ssa *tssa, const zend_op **ssa_opcodes, u
 				 || opline->opcode == ZEND_POST_DEC
 				 || opline->opcode == ZEND_POST_INC) {
 					return 1;
+				} else if (opline->opcode == ZEND_ASSIGN_OP
+				 && (opline->extended_value == ZEND_ADD
+				  || opline->extended_value == ZEND_SUB
+				  || opline->extended_value == ZEND_MUL)) {
+					return 1;
 				}
 			}
 			if (tssa->ops[idx].result_def == var) {

Original file line number	Diff line number	Diff line change
`@@ -883,6 +883,11 @@ static int is_checked_guard(const zend_ssa tssa, const zend_op *ssa_opcodes, u`
`883`	`883`	`\|\| opline->opcode == ZEND_POST_DEC`
`884`	`884`	`\|\| opline->opcode == ZEND_POST_INC) {`
`885`	`885`	`return 1;`
	`886`	`+ } else if (opline->opcode == ZEND_ASSIGN_OP`
	`887`	`+ && (opline->extended_value == ZEND_ADD`
	`888`	`+ \|\| opline->extended_value == ZEND_SUB`
	`889`	`+ \|\| opline->extended_value == ZEND_MUL)) {`
	`890`	`+ return 1;`
`886`	`891`	`}`
`887`	`892`	`}`
`888`	`893`	`if (tssa->ops[idx].result_def == var) {`