1--TEST--
2Unreachable code elimination when match argument is a phi node
3--FILE--
4<?php
5$x = true;
6match ($x and true or true) {
7    false => $x
8};
9?>
10--EXPECTF--
11Fatal error: Uncaught UnhandledMatchError: Unhandled match case true in %s:%d
12Stack trace:
13#0 {main}
14  thrown in %s on line %d
15