--TEST--
PHP Spec test generated from ./scope/scope.php
--FILE--
<?php

/*
   +-------------------------------------------------------------+
   | Copyright (c) 2014 Facebook, Inc. (http://www.facebook.com) |
   +-------------------------------------------------------------+
*/

error_reporting(-1);

echo "------------------- labels & goto ---------------------\n";

$v = TRUE;

if ($v)
{
	echo "Skipping echo\n";
	goto label1;
}

echo "Might skip over this\n";

label1:

//goto label2;	// can't jump into a function

function f1($p)
{
	if ($p) goto label2;

	echo "Should skip over this\n";

label2:
	echo "At label2 inside function " . __FUNCTION__ . "\n";
	if ($p)
	{
		$p = !$p;
		goto label2;	// can jump out of a block
	}
//	goto label1;	// can't jump out of a function

	goto label3;	// can jump in to a block

	{
	label3:
		echo "At label3\n";
//	label2:;	// 'label2' already defined in this scope
	label1:;	// OK; defined in outer scope
	}
}

f1(TRUE);

labelA:
echo "At labelA\n";
$v = !$v;
if ($v) goto labelA;

echo "------------------- switch/case labels ---------------------\n";

$a = 10;
$b = 20;

switch ($a)
{
	case 0:
		echo "Case 0 outer\n";
		break;
	case 10:
		echo "Case 10 outer\n";

		switch ($b)
		{
		case 0:
			echo "Case 0 inner\n";
			break;
		case 10:
			echo "Case 10 inner\n";
			break;
		default:
			echo "Default inner\n";
			break;
		}
		break;
	default:
		echo "Default outer\n";
		break;
}

echo "------------------- xxx ---------------------\n";
--EXPECT--
------------------- labels & goto ---------------------
Skipping echo
At label2 inside function f1
At label2 inside function f1
At label3
At labelA
------------------- switch/case labels ---------------------
Case 10 outer
Default inner
------------------- xxx ---------------------