Incorrect 'Variable $value might not be defined.'

Bug report

The variable $value is definitely defined as the last if-statement (in which the variable is defined) is equal to the one in which it is used.

Code snippet that reproduces the problem

https://phpstan.org/r/1636b1d8-db9b-4247-a407-9d2a60a0b81e

Expected output

No issue should be shown becaue variable is defined.

Did PHPStan help you today? Did it make you happy in any way?

Its a gereat tool! Thank you!

Fix phpstan/phpstan#14117: Variable might not be defined false positi…

Fix phpstan/phpstan#14117: Incorrect 'Variable $value might not be de…

Closed via merging phpstan/phpstan-src#5125

Updated PHPStan to commit 0c740e396cb0ce11d344594e4118b6fb9f3d5197

Updated PHPStan to commit 98b44595d2cb2a9b377305f0e8febe15138398ea

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.

Fix phpstan/phpstan#14117: Incorrect 'Variable $value might not be de…

Navigation Menu

Repository navigation

Incorrect 'Variable $value might not be defined.' #14117

Bug report

Code snippet that reproduces the problem

Expected output

Did PHPStan help you today? Did it make you happy in any way?

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Incorrect 'Variable $value might not be defined.' #14117

Description

Bug report

Code snippet that reproduces the problem

Expected output

Did PHPStan help you today? Did it make you happy in any way?

Activity

phpstan-bot commented on Mar 4, 2026

github-actions commented on Apr 5, 2026

Metadata

Metadata

Assignees

Labels

Type

Projects

Milestone

Relationships

Development

Issue actions