diff options
author | Nikita Popov <nikita.ppv@gmail.com> | 2017-04-10 22:26:14 +0200 |
---|---|---|
committer | Nikita Popov <nikita.ppv@gmail.com> | 2017-04-10 22:26:14 +0200 |
commit | 6e23f2bceb0826e65eb8129fd94c61b7b3a44da7 (patch) | |
tree | 774123ec70bb48a74bb69d73120bd7796aed16e2 /ext/opcache/tests | |
parent | 6f950e83eb1467521853d6628f514d2eebef7ebb (diff) | |
download | php-git-6e23f2bceb0826e65eb8129fd94c61b7b3a44da7.tar.gz |
Forgot to commit test file...
Diffstat (limited to 'ext/opcache/tests')
-rw-r--r-- | ext/opcache/tests/jmpz_jmp_elim.phpt | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ext/opcache/tests/jmpz_jmp_elim.phpt b/ext/opcache/tests/jmpz_jmp_elim.phpt new file mode 100644 index 0000000000..2749b41b7a --- /dev/null +++ b/ext/opcache/tests/jmpz_jmp_elim.phpt @@ -0,0 +1,16 @@ +--TEST-- +Edge-cases in elimination of JMPZ JMP with same target +--FILE-- +<?php + +$foo = "foo"; +if ($foo . "bar") { goto label; } +label: +if ($undef) { goto label2; } +label2: +echo "done\n"; + +?> +--EXPECTF-- +Notice: Undefined variable: undef in %s on line %d +done |