1--TEST--
2Switch where all targets, including default, coincide
3--SKIPIF--
4<?php require_once('skipif.inc'); ?>
5--FILE--
6<?php
7
8$foo = 42.0;
9$bar = true;
10
11switch ($foo) {
12default:
13case 0: case 1: case 2: case 3:
14    if ($bar) {
15        echo "true\n";
16    } else {
17        echo "false\n";
18    }
19}
20
21?>
22--EXPECT--
23true
24