2017-02-08 06:28:26 +01:00
|
|
|
<?php
|
|
|
|
namespace Psalm\Tests;
|
|
|
|
|
|
|
|
use Psalm\Checker\FileChecker;
|
2018-01-29 05:41:11 +01:00
|
|
|
use Psalm\Config;
|
2017-07-25 23:04:58 +02:00
|
|
|
use Psalm\Context;
|
2017-02-08 06:28:26 +01:00
|
|
|
|
2017-04-25 05:45:02 +02:00
|
|
|
class UnusedCodeTest extends TestCase
|
2017-02-08 06:28:26 +01:00
|
|
|
{
|
|
|
|
/** @var \Psalm\Checker\ProjectChecker */
|
|
|
|
protected $project_checker;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @return void
|
|
|
|
*/
|
|
|
|
public function setUp()
|
|
|
|
{
|
|
|
|
FileChecker::clearCache();
|
2017-07-25 22:11:02 +02:00
|
|
|
|
|
|
|
$this->file_provider = new Provider\FakeFileProvider();
|
|
|
|
|
|
|
|
$this->project_checker = new \Psalm\Checker\ProjectChecker(
|
2018-01-21 16:22:04 +01:00
|
|
|
new TestConfig(),
|
2017-07-25 22:11:02 +02:00
|
|
|
$this->file_provider,
|
2017-10-15 17:57:44 +02:00
|
|
|
new Provider\FakeParserCacheProvider()
|
2017-07-25 22:11:02 +02:00
|
|
|
);
|
|
|
|
|
2018-02-04 00:52:35 +01:00
|
|
|
$this->project_checker->getCodebase()->collectReferences();
|
2017-02-08 06:28:26 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2017-07-25 23:04:58 +02:00
|
|
|
* @dataProvider providerFileCheckerValidCodeParse
|
|
|
|
*
|
|
|
|
* @param string $code
|
|
|
|
* @param array<string> $error_levels
|
|
|
|
*
|
|
|
|
* @return void
|
|
|
|
*/
|
2018-01-29 18:13:44 +01:00
|
|
|
public function testValidCode($code, array $error_levels = [])
|
2017-07-25 23:04:58 +02:00
|
|
|
{
|
|
|
|
$test_name = $this->getName();
|
|
|
|
if (strpos($test_name, 'PHP7-') !== false) {
|
|
|
|
if (version_compare(PHP_VERSION, '7.0.0dev', '<')) {
|
|
|
|
$this->markTestSkipped('Test case requires PHP 7.');
|
|
|
|
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
} elseif (strpos($test_name, 'SKIPPED-') !== false) {
|
|
|
|
$this->markTestSkipped('Skipped due to a bug.');
|
|
|
|
}
|
|
|
|
|
2018-01-21 16:22:04 +01:00
|
|
|
$file_path = self::$src_dir_path . 'somefile.php';
|
2017-07-25 23:04:58 +02:00
|
|
|
|
|
|
|
$this->addFile(
|
2018-01-21 16:22:04 +01:00
|
|
|
$file_path,
|
2017-07-25 23:04:58 +02:00
|
|
|
$code
|
|
|
|
);
|
|
|
|
|
2018-01-29 18:13:44 +01:00
|
|
|
foreach ($error_levels as $error_level) {
|
|
|
|
$this->project_checker->config->setCustomErrorLevel($error_level, Config::REPORT_SUPPRESS);
|
|
|
|
}
|
|
|
|
|
2018-01-29 05:41:11 +01:00
|
|
|
$context = new Context();
|
|
|
|
$context->collect_references = true;
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, $context);
|
2018-02-04 00:52:35 +01:00
|
|
|
$this->project_checker->getCodebase()->classlikes->checkClassReferences();
|
2017-07-25 23:04:58 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @dataProvider providerFileCheckerInvalidCodeParse
|
2017-05-27 02:16:18 +02:00
|
|
|
*
|
2017-04-25 05:45:02 +02:00
|
|
|
* @param string $code
|
|
|
|
* @param string $error_message
|
2018-01-29 05:41:11 +01:00
|
|
|
* @param array<string> $error_levels
|
2017-05-27 02:16:18 +02:00
|
|
|
*
|
2017-02-08 06:28:26 +01:00
|
|
|
* @return void
|
|
|
|
*/
|
2018-01-29 05:41:11 +01:00
|
|
|
public function testInvalidCode($code, $error_message, $error_levels = [])
|
2017-02-08 06:28:26 +01:00
|
|
|
{
|
2017-07-25 23:04:58 +02:00
|
|
|
if (strpos($this->getName(), 'SKIPPED-') !== false) {
|
|
|
|
$this->markTestSkipped();
|
|
|
|
}
|
|
|
|
|
2017-04-25 05:45:02 +02:00
|
|
|
$this->expectException('\Psalm\Exception\CodeException');
|
2018-01-11 23:35:28 +01:00
|
|
|
$this->expectExceptionMessageRegexp('/\b' . preg_quote($error_message, '/') . '\b/');
|
2017-02-08 06:28:26 +01:00
|
|
|
|
2018-01-21 16:22:04 +01:00
|
|
|
$file_path = self::$src_dir_path . 'somefile.php';
|
|
|
|
|
2018-01-29 05:41:11 +01:00
|
|
|
foreach ($error_levels as $error_level) {
|
|
|
|
$this->project_checker->config->setCustomErrorLevel($error_level, Config::REPORT_SUPPRESS);
|
|
|
|
}
|
|
|
|
|
2017-07-25 22:11:02 +02:00
|
|
|
$this->addFile(
|
2018-01-21 16:22:04 +01:00
|
|
|
$file_path,
|
2017-07-25 22:11:02 +02:00
|
|
|
$code
|
|
|
|
);
|
2017-02-08 06:28:26 +01:00
|
|
|
|
2018-01-29 05:41:11 +01:00
|
|
|
$context = new Context();
|
|
|
|
$context->collect_references = true;
|
|
|
|
|
|
|
|
$this->analyzeFile($file_path, $context);
|
2018-02-04 00:52:35 +01:00
|
|
|
$this->project_checker->getCodebase()->classlikes->checkClassReferences();
|
2017-02-08 06:28:26 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2017-04-25 05:45:02 +02:00
|
|
|
* @return array
|
2017-02-08 06:28:26 +01:00
|
|
|
*/
|
2017-04-25 05:45:02 +02:00
|
|
|
public function providerFileCheckerValidCodeParse()
|
2017-02-08 06:28:26 +01:00
|
|
|
{
|
2017-04-25 05:45:02 +02:00
|
|
|
return [
|
2018-01-28 23:28:34 +01:00
|
|
|
'arrayOffset' => [
|
|
|
|
'<?php
|
|
|
|
/** @return void */
|
|
|
|
function foo() {
|
|
|
|
$a = 0;
|
|
|
|
|
|
|
|
$arr = ["hello"];
|
|
|
|
|
|
|
|
echo $arr[$a];
|
|
|
|
}',
|
|
|
|
],
|
2017-04-25 05:45:02 +02:00
|
|
|
'unset' => [
|
|
|
|
'<?php
|
|
|
|
/** @return void */
|
|
|
|
function foo() {
|
|
|
|
$a = 0;
|
2017-05-04 20:25:58 +02:00
|
|
|
|
2017-04-25 05:45:02 +02:00
|
|
|
$arr = ["hello"];
|
2017-05-04 20:25:58 +02:00
|
|
|
|
2017-04-25 05:45:02 +02:00
|
|
|
unset($arr[$a]);
|
2017-05-27 02:05:57 +02:00
|
|
|
}',
|
2017-07-25 23:04:58 +02:00
|
|
|
],
|
|
|
|
'usedVariables' => [
|
|
|
|
'<?php
|
|
|
|
/** @return string */
|
|
|
|
function foo() {
|
|
|
|
$a = 5;
|
|
|
|
$b = [];
|
2018-01-29 18:13:44 +01:00
|
|
|
$c[] = "hello";
|
2018-01-29 18:22:50 +01:00
|
|
|
$d = "Foo";
|
|
|
|
$e = "arg";
|
|
|
|
$f = new $d($e);
|
|
|
|
return $a . implode(",", $b) . $c[0] . get_class($f);
|
2017-07-25 23:04:58 +02:00
|
|
|
}',
|
2018-01-29 18:13:44 +01:00
|
|
|
'error_levels' => [
|
|
|
|
'PossiblyUndefinedVariable',
|
|
|
|
'MixedArrayAccess',
|
|
|
|
'MixedOperand',
|
2018-01-29 18:22:50 +01:00
|
|
|
'MixedAssignment',
|
2018-01-29 18:13:44 +01:00
|
|
|
],
|
2017-07-25 23:04:58 +02:00
|
|
|
],
|
2018-01-28 23:28:34 +01:00
|
|
|
'ifInFunctionWithReference' => [
|
2017-07-25 23:04:58 +02:00
|
|
|
'<?php
|
|
|
|
/** @return string */
|
|
|
|
function foo() {
|
|
|
|
$a = 5;
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$b = "hello";
|
|
|
|
} else {
|
|
|
|
$b = "goodbye";
|
|
|
|
}
|
|
|
|
return $a . $b;
|
|
|
|
}',
|
2017-11-09 22:42:39 +01:00
|
|
|
],
|
2018-01-28 23:28:34 +01:00
|
|
|
'byrefInForeachLoop' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = [1, 2, 3];
|
|
|
|
foreach ($a as &$b) {
|
|
|
|
$b = $b + 1;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'definedInSecondBranchOfCondition' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
if (rand(0, 1) && $a = rand(0, 1)) {
|
|
|
|
echo $a;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2017-11-09 22:42:39 +01:00
|
|
|
'booleanOr' => [
|
|
|
|
'<?php
|
|
|
|
function foo(int $a, int $b): bool {
|
|
|
|
return $a || $b;
|
|
|
|
}',
|
2017-05-27 02:05:57 +02:00
|
|
|
],
|
2018-01-28 23:28:34 +01:00
|
|
|
'paramUsedInIf' => [
|
|
|
|
'<?php
|
|
|
|
function foo(string $a): void {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
echo $a;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
2017-11-11 00:08:17 +01:00
|
|
|
'magicCall' => [
|
|
|
|
'<?php
|
|
|
|
class A {
|
|
|
|
/** @var string */
|
|
|
|
private $value = "default";
|
|
|
|
|
|
|
|
/** @param string[] $args */
|
|
|
|
public function __call(string $name, array $args) {
|
|
|
|
if (count($args) == 1) {
|
|
|
|
$this->modify($name, $args[0]);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-01-11 21:50:45 +01:00
|
|
|
private function modify(string $name, string $value): void {
|
2017-11-11 00:08:17 +01:00
|
|
|
call_user_func(array($this, "modify_" . $name), $value);
|
|
|
|
}
|
|
|
|
|
2018-01-11 21:50:45 +01:00
|
|
|
public function modifyFoo(string $value): void {
|
2017-11-11 00:08:17 +01:00
|
|
|
$this->value = $value;
|
|
|
|
}
|
2018-01-11 05:29:18 +01:00
|
|
|
|
|
|
|
public function getFoo() : string {
|
|
|
|
return $this->value;
|
|
|
|
}
|
2017-11-11 00:08:17 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
$m = new A();
|
|
|
|
$m->foo("value");
|
2018-01-11 05:29:18 +01:00
|
|
|
$m->modifyFoo("value2");
|
|
|
|
echo $m->getFoo();',
|
2017-11-11 00:08:17 +01:00
|
|
|
],
|
2017-12-29 17:26:28 +01:00
|
|
|
'usedTraitMethod' => [
|
|
|
|
'<?php
|
|
|
|
class A {
|
2018-01-11 21:50:45 +01:00
|
|
|
public function foo(): void {
|
2017-12-29 17:26:28 +01:00
|
|
|
echo "parent method";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
trait T {
|
2018-01-11 21:50:45 +01:00
|
|
|
public function foo(): void {
|
2017-12-29 17:26:28 +01:00
|
|
|
echo "trait method";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
class B extends A {
|
|
|
|
use T;
|
|
|
|
}
|
|
|
|
|
|
|
|
(new A)->foo();
|
|
|
|
(new B)->foo();',
|
|
|
|
],
|
2017-12-30 01:38:01 +01:00
|
|
|
'usedInterfaceMethod' => [
|
|
|
|
'<?php
|
|
|
|
interface I {
|
2018-01-11 21:50:45 +01:00
|
|
|
public function foo(): void;
|
2017-12-30 01:38:01 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
class A implements I {
|
2018-01-11 21:50:45 +01:00
|
|
|
public function foo(): void {}
|
2017-12-30 01:38:01 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
(new A)->foo();',
|
|
|
|
],
|
2017-12-30 15:30:02 +01:00
|
|
|
'dummyByRefVar' => [
|
|
|
|
'<?php
|
2018-01-11 21:50:45 +01:00
|
|
|
function foo(string &$a = null, string $b = null): void {
|
2017-12-30 15:30:02 +01:00
|
|
|
if ($a) {
|
|
|
|
echo $a;
|
|
|
|
}
|
|
|
|
if ($b) {
|
|
|
|
echo $b;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2018-01-11 21:50:45 +01:00
|
|
|
function bar(): void {
|
2017-12-30 15:30:02 +01:00
|
|
|
foo($dummy_byref_var, "hello");
|
|
|
|
}
|
|
|
|
|
|
|
|
bar();',
|
|
|
|
],
|
2018-01-28 23:28:34 +01:00
|
|
|
'foreachReassigned' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
foreach ([1, 2, 3] as $b) {
|
|
|
|
$a = true;
|
|
|
|
echo $b;
|
|
|
|
}
|
|
|
|
|
|
|
|
echo $a;
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'doWhileReassigned' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = 5;
|
|
|
|
|
|
|
|
do {
|
|
|
|
echo $a;
|
|
|
|
$a = $a - rand(-3, 3);
|
|
|
|
} while ($a > 3);
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'whileTypeChangedInIfAndContinueWithReference' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
while (rand(0, 1)) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = true;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
$a = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
echo $a;
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'whileReassignedInIfAndContinueWithReferenceAfter' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = 5;
|
|
|
|
|
|
|
|
while (rand(0, 1)) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = 7;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
$a = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
echo $a;
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'whileReassignedInIfAndContinueWithReferenceBeforeAndAfter' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = 5;
|
|
|
|
|
|
|
|
if ($a) {}
|
|
|
|
|
|
|
|
while (rand(0, 1)) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = 7;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
$a = 3;
|
|
|
|
}
|
|
|
|
|
|
|
|
echo $a;
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'whileReassigned' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
while(rand(0, 1)) {
|
|
|
|
$a = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
echo $a;
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'ifVarReassignedInBranch' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = true;
|
|
|
|
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($a) {
|
|
|
|
echo "cool";
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'elseVarReassignedInBranchAndReference' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
// do nothing
|
|
|
|
} else {
|
|
|
|
$a = true;
|
|
|
|
//echo $a;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($a) {
|
|
|
|
echo "cool";
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'switchVarReassignedInBranch' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
switch (rand(0, 2)) {
|
|
|
|
case 0:
|
|
|
|
$a = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($a) {
|
|
|
|
echo "cool";
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'switchVarReassignedInBranchWithDefault' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
switch (rand(0, 2)) {
|
|
|
|
case 0:
|
|
|
|
$a = true;
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
$a = false;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($a) {
|
|
|
|
echo "cool";
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'throwWithMessageCall' => [
|
|
|
|
'<?php
|
|
|
|
function dangerous(): void {
|
|
|
|
throw new \Exception("bad");
|
|
|
|
}
|
|
|
|
|
|
|
|
function callDangerous(): void {
|
|
|
|
try {
|
|
|
|
dangerous();
|
|
|
|
} catch (Exception $e) {
|
|
|
|
echo $e->getMessage();
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'throwWithMessageCallAndAssignmentAndReference' => [
|
|
|
|
'<?php
|
|
|
|
function dangerous(): string {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
throw new \Exception("bad");
|
|
|
|
}
|
|
|
|
|
|
|
|
return "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
function callDangerous(): void {
|
|
|
|
$s = null;
|
|
|
|
|
|
|
|
try {
|
|
|
|
$s = dangerous();
|
|
|
|
} catch (Exception $e) {
|
|
|
|
echo $e->getMessage();
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($s) {}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'throwWithMessageCallAndAssignmentInCatchAndReference' => [
|
|
|
|
'<?php
|
|
|
|
function dangerous(): string {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
throw new \Exception("bad");
|
|
|
|
}
|
|
|
|
|
|
|
|
return "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
function callDangerous(): void {
|
|
|
|
$s = null;
|
|
|
|
|
|
|
|
try {
|
|
|
|
dangerous();
|
|
|
|
} catch (Exception $e) {
|
|
|
|
echo $e->getMessage();
|
|
|
|
$s = "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($s) {}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'throwWithMessageCallAndAssignmentInTryAndCatchAndReference' => [
|
|
|
|
'<?php
|
|
|
|
function dangerous(): string {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
throw new \Exception("bad");
|
|
|
|
}
|
|
|
|
|
|
|
|
return "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
function callDangerous(): void {
|
|
|
|
$s = null;
|
|
|
|
|
|
|
|
try {
|
|
|
|
$s = dangerous();
|
|
|
|
} catch (Exception $e) {
|
|
|
|
echo $e->getMessage();
|
|
|
|
$s = "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($s) {}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'throwWithMessageCallAndNestedAssignmentInTryAndCatchAndReference' => [
|
|
|
|
'<?php
|
|
|
|
function dangerous(): string {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
throw new \Exception("bad");
|
|
|
|
}
|
|
|
|
|
|
|
|
return "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
function callDangerous(): void {
|
|
|
|
$s = null;
|
|
|
|
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$s = "hello";
|
|
|
|
} else {
|
|
|
|
try {
|
|
|
|
$t = dangerous();
|
|
|
|
} catch (Exception $e) {
|
|
|
|
echo $e->getMessage();
|
|
|
|
$t = "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($t) {
|
|
|
|
$s = $t;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($s) {}
|
|
|
|
}',
|
|
|
|
],
|
|
|
|
'ifInReturnBlock' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$i = false;
|
|
|
|
|
|
|
|
foreach ([1, 2, 3] as $a) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$i = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
echo $a;
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($i) {}
|
|
|
|
}',
|
|
|
|
],
|
2018-01-29 00:13:38 +01:00
|
|
|
'unknownMethodCallWithVar' => [
|
|
|
|
'<?php
|
|
|
|
/** @psalm-suppress MixedMethodCall */
|
|
|
|
function passesByRef(object $a): void {
|
|
|
|
$a->passedByRef($b);
|
|
|
|
}',
|
|
|
|
],
|
2018-01-29 05:41:11 +01:00
|
|
|
'constructorIsUsed' => [
|
|
|
|
'<?php
|
|
|
|
class A {
|
|
|
|
public function __construct() {
|
|
|
|
$this->foo();
|
|
|
|
}
|
|
|
|
private function foo() : void {}
|
|
|
|
}
|
|
|
|
$a = new A();
|
|
|
|
echo (bool) $a;',
|
|
|
|
],
|
2018-02-17 18:02:31 +01:00
|
|
|
'everythingUsed' => [
|
|
|
|
'<?php
|
|
|
|
interface I {
|
|
|
|
public function foo();
|
|
|
|
}
|
|
|
|
class B implements I {
|
|
|
|
public function foo() : void {}
|
|
|
|
}
|
|
|
|
|
|
|
|
class A
|
|
|
|
{
|
|
|
|
/**
|
|
|
|
* @var I
|
|
|
|
*/
|
|
|
|
private $i;
|
|
|
|
|
|
|
|
/**
|
|
|
|
* @param int[] $as
|
|
|
|
*/
|
|
|
|
public function __construct(array $as) {
|
|
|
|
|
|
|
|
foreach ($as as $a) {
|
|
|
|
$this->a($a, 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
$this->i = new B();
|
|
|
|
}
|
|
|
|
|
|
|
|
private function a(int $a, int $b): self
|
|
|
|
{
|
|
|
|
$this->v($a, $b);
|
|
|
|
|
|
|
|
$this->i->foo();
|
|
|
|
|
|
|
|
return $this;
|
|
|
|
}
|
|
|
|
|
|
|
|
private function v(int $a, int $b): void
|
|
|
|
{
|
|
|
|
if ($a + $b > 0) {
|
|
|
|
throw new \RuntimeException("");
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
new A([1, 2, 3]);',
|
|
|
|
],
|
2018-02-17 23:23:57 +01:00
|
|
|
'usedMethodCallVariable' => [
|
|
|
|
'<?php
|
|
|
|
function reindex(array $arr, string $methodName): array {
|
|
|
|
$ret = [];
|
|
|
|
|
|
|
|
foreach ($arr as $element) {
|
|
|
|
$ret[$element->$methodName()] = true;
|
|
|
|
}
|
|
|
|
|
|
|
|
return $ret;
|
|
|
|
}',
|
|
|
|
'error_levels' => [
|
|
|
|
'MixedAssignment',
|
|
|
|
'MixedMethodCall',
|
|
|
|
'MixedArrayOffset',
|
|
|
|
],
|
|
|
|
],
|
2017-04-25 05:45:02 +02:00
|
|
|
];
|
2017-02-08 06:28:26 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2017-04-25 05:45:02 +02:00
|
|
|
* @return array
|
2017-02-08 06:28:26 +01:00
|
|
|
*/
|
2017-04-25 05:45:02 +02:00
|
|
|
public function providerFileCheckerInvalidCodeParse()
|
2017-02-08 06:28:26 +01:00
|
|
|
{
|
2017-04-25 05:45:02 +02:00
|
|
|
return [
|
|
|
|
'function' => [
|
|
|
|
'<?php
|
|
|
|
/** @return int */
|
|
|
|
function foo() {
|
|
|
|
$a = 5;
|
|
|
|
$b = [];
|
|
|
|
return $a;
|
|
|
|
}',
|
2017-05-27 02:05:57 +02:00
|
|
|
'error_message' => 'UnusedVariable',
|
2017-04-25 05:45:02 +02:00
|
|
|
],
|
2018-01-28 23:28:34 +01:00
|
|
|
'ifInFunctionWithoutReference' => [
|
2017-04-25 05:45:02 +02:00
|
|
|
'<?php
|
|
|
|
/** @return int */
|
|
|
|
function foo() {
|
|
|
|
$a = 5;
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$b = "hello";
|
|
|
|
} else {
|
|
|
|
$b = "goodbye";
|
|
|
|
}
|
|
|
|
return $a;
|
|
|
|
}',
|
2017-05-27 02:05:57 +02:00
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
2018-01-28 23:28:34 +01:00
|
|
|
'varInNestedAssignmentWithoutReference' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = "foo";
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'varInSecondNestedAssignmentWithoutReference' => [
|
2018-01-25 07:04:26 +01:00
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = "foo";
|
|
|
|
echo $a;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = "foo";
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
2018-01-28 23:28:34 +01:00
|
|
|
'varReassignedInBothBranchesOfIf' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = "foo";
|
|
|
|
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = "bar";
|
|
|
|
} else {
|
|
|
|
$a = "bat";
|
|
|
|
}
|
|
|
|
|
|
|
|
echo $a;
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'varReassignedInNestedBranchesOfIf' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = "foo";
|
|
|
|
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = "bar";
|
|
|
|
} else {
|
|
|
|
$a = "bat";
|
|
|
|
}
|
|
|
|
} else {
|
|
|
|
$a = "bang";
|
|
|
|
}
|
|
|
|
|
|
|
|
echo $a;
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'ifVarReassignedInBranch' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = true;
|
|
|
|
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = false;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'elseVarReassignedInBranchAndNoReference' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = true;
|
|
|
|
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
// do nothing
|
|
|
|
} else {
|
|
|
|
$a = false;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'switchVarReassignedInBranch' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
switch (rand(0, 2)) {
|
|
|
|
case 0:
|
|
|
|
$a = true;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'switchVarReassignedInBranchWithDefault' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
switch (rand(0, 2)) {
|
|
|
|
case 0:
|
|
|
|
$a = true;
|
|
|
|
break;
|
|
|
|
|
|
|
|
default:
|
|
|
|
$a = false;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'unusedListVar' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
list($a, $b) = explode(" ", "hello world");
|
|
|
|
echo $a;
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'unusedPreForVar' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$i = 0;
|
|
|
|
|
|
|
|
for ($i = 0; $i < 10; $i++) {
|
|
|
|
echo $i;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'unusedIfInReturnBlock' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$i = rand(0, 1);
|
|
|
|
|
|
|
|
foreach ([1, 2, 3] as $a) {
|
|
|
|
if ($a % 2) {
|
|
|
|
$i = 7;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
if ($i) {}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'unusedIfVarInBranch' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
|
|
|
|
} elseif (rand(0, 1)) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = "foo";
|
|
|
|
} else {
|
|
|
|
$a = "bar";
|
|
|
|
echo $a;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'throwWithMessageCallAndAssignmentAndNoReference' => [
|
|
|
|
'<?php
|
|
|
|
function dangerous(): string {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
throw new \Exception("bad");
|
|
|
|
}
|
|
|
|
|
|
|
|
return "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
function callDangerous(): void {
|
|
|
|
$s = null;
|
|
|
|
|
|
|
|
try {
|
|
|
|
$s = dangerous();
|
|
|
|
} catch (Exception $e) {
|
|
|
|
echo $e->getMessage();
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'whileTypeChangedInIfWithoutReference' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
while (rand(0, 1)) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = true;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'whileTypeChangedInIfAndContinueWithoutReference' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = false;
|
|
|
|
|
|
|
|
while (rand(0, 1)) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = true;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
$a = false;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'whileReassignedInIfAndContinueWithoutReferenceAfter' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = 5;
|
|
|
|
|
|
|
|
while (rand(0, 1)) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = 7;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
$a = 3;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
|
|
|
'whileReassignedInIfAndContinueWithoutReference' => [
|
|
|
|
'<?php
|
|
|
|
function foo(): void {
|
|
|
|
$a = 3;
|
|
|
|
|
|
|
|
if ($a) {}
|
|
|
|
|
|
|
|
while (rand(0, 1)) {
|
|
|
|
if (rand(0, 1)) {
|
|
|
|
$a = 5;
|
|
|
|
continue;
|
|
|
|
}
|
|
|
|
|
|
|
|
$a = 3;
|
|
|
|
}
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnusedVariable',
|
|
|
|
],
|
2017-04-25 05:45:02 +02:00
|
|
|
'unusedClass' => [
|
|
|
|
'<?php
|
|
|
|
class A { }',
|
2017-05-27 02:05:57 +02:00
|
|
|
'error_message' => 'UnusedClass',
|
2017-04-25 05:45:02 +02:00
|
|
|
],
|
|
|
|
'publicUnusedMethod' => [
|
|
|
|
'<?php
|
|
|
|
class A {
|
|
|
|
/** @return void */
|
|
|
|
public function foo() {}
|
|
|
|
}
|
2017-05-04 20:25:58 +02:00
|
|
|
|
2017-04-25 05:45:02 +02:00
|
|
|
new A();',
|
2017-05-27 02:05:57 +02:00
|
|
|
'error_message' => 'PossiblyUnusedMethod',
|
2017-04-25 05:45:02 +02:00
|
|
|
],
|
2018-01-22 05:48:58 +01:00
|
|
|
'possiblyUnusedParam' => [
|
|
|
|
'<?php
|
|
|
|
class A {
|
|
|
|
/** @return void */
|
|
|
|
public function foo(int $i) {}
|
|
|
|
}
|
|
|
|
|
|
|
|
(new A)->foo(4);',
|
|
|
|
'error_message' => 'PossiblyUnusedParam',
|
|
|
|
],
|
|
|
|
'unusedParam' => [
|
|
|
|
'<?php
|
|
|
|
function foo(int $i) {}
|
|
|
|
|
|
|
|
foo(4);',
|
|
|
|
'error_message' => 'UnusedParam',
|
|
|
|
],
|
|
|
|
'possiblyUnusedProperty' => [
|
|
|
|
'<?php
|
|
|
|
class A {
|
|
|
|
/** @var string */
|
|
|
|
public $foo = "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
$a = new A();',
|
|
|
|
'error_message' => 'PossiblyUnusedProperty',
|
2018-01-29 05:41:11 +01:00
|
|
|
'error_levels' => ['UnusedVariable'],
|
2018-01-22 05:48:58 +01:00
|
|
|
],
|
|
|
|
'unusedProperty' => [
|
|
|
|
'<?php
|
|
|
|
class A {
|
|
|
|
/** @var string */
|
|
|
|
private $foo = "hello";
|
|
|
|
}
|
|
|
|
|
|
|
|
$a = new A();',
|
|
|
|
'error_message' => 'UnusedProperty',
|
2018-01-29 05:41:11 +01:00
|
|
|
'error_levels' => ['UnusedVariable'],
|
2018-01-22 05:48:58 +01:00
|
|
|
],
|
2017-04-25 05:45:02 +02:00
|
|
|
'privateUnusedMethod' => [
|
|
|
|
'<?php
|
|
|
|
class A {
|
|
|
|
/** @return void */
|
|
|
|
private function foo() {}
|
|
|
|
}
|
2017-05-04 20:25:58 +02:00
|
|
|
|
2017-04-25 05:45:02 +02:00
|
|
|
new A();',
|
2017-05-27 02:05:57 +02:00
|
|
|
'error_message' => 'UnusedMethod',
|
|
|
|
],
|
2017-12-30 16:54:01 +01:00
|
|
|
'unevaluatedCode' => [
|
|
|
|
'<?php
|
2018-01-11 21:50:45 +01:00
|
|
|
function foo(): void {
|
2017-12-30 16:54:01 +01:00
|
|
|
return;
|
|
|
|
$a = "foo";
|
|
|
|
}',
|
|
|
|
'error_message' => 'UnevaluatedCode',
|
|
|
|
],
|
2017-04-25 05:45:02 +02:00
|
|
|
];
|
2017-02-08 06:28:26 +01:00
|
|
|
}
|
|
|
|
}
|