1--TEST--
2Register Alloction 013: Division by zero
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.file_update_protection=0
7--FILE--
8<?php
9function foo() {
10    $j++;
11    $j++ % $j -= $a % $a = $j;
12}
13foo();
14?>
15DONE
16--EXPECTF--
17Warning: Undefined variable $j in %sreg_alloc_013.php on line 3
18DONE