Implement @pure-unless-parameter-passed - #6018

Open

zonuexe wants to merge 24 commits into

phpstan:2.2.xfrom

zonuexe:feature/pure-unless-parameter-passed

Commits on Sep 20, 2026

Parse @pure-unless-parameter-passed PHPDoc tag
zonuexe
committed
8bf7637
Thread @pure-unless-parameter-passed through the reflection layer
zonuexe
committed
830a2f4
Wire @pure-unless-parameter-passed into the analyser
zonuexe
committed
0600994
Mark by-ref out-parameter builtins as @pure-unless-parameter-passed
zonuexe
committed
e075de3
Add tests for @pure-unless-parameter-passed
zonuexe
committed
3cdee85
Cover the pre-PHP 8 parameter names for the by-ref out-parameter builtins
zonuexe
committed
9266d3c
Honor @pure-unless-parameter-passed on constructor calls, unpacked and named arguments
zonuexe
committed
3d0b0a9
Parse @pure-unless-parameter-passed via phpdoc-parser 2.3.3
zonuexe
committed
a336616
Report certain impurity when a @pure-unless-parameter-passed argument is passed
zonuexe
committed
65a2a94
Recognize @phpstan-pure-unless-callable-is-impure as a known tag
zonuexe
committed
390ecc2
Report @pure-unless-parameter-passed on a non-optional parameter
zonuexe
committed
0f992f5
Expose @pure-unless-parameter-passed parameters as a function-level map
zonuexe
committed
ae33471
Test @pure-unless-parameter-passed with a variadic parameter
zonuexe
committed
ac502b8
Mark preg_filter() as @pure-unless-parameter-passed
zonuexe
committed
2823c48
Combine the callable and parameter-passed purity verdicts
zonuexe
committed
39e3978
Update bin/functionMetadata_original.php

zonuexe
and
staabm
committed
3fe1ca5
Match arguments collected by a flagged variadic parameter
zonuexe
committed
07535c7
Check the body of a @pure-unless-parameter-passed function
zonuexe
committed
eb61ac2
Emit every purity condition when generating the function metadata
zonuexe
committed
53c2e5b
Cover every @pure-unless-parameter-passed builtin mapping
zonuexe
committed
1cee42d
Settle conditional purity where a callable value is invoked
zonuexe
committed
a3bdef2
Describe the function metadata entries with one optional-key shape
zonuexe
committed
9f5cb16
Drop comments that restate the code
zonuexe
committed
98b2691
Merge the two conditional purity parameter mergers into one class

zonuexe
and
claude
committed
575a810

Navigation Menu

Implement @pure-unless-parameter-passed - #6018

Implement @pure-unless-parameter-passed#6018
zonuexe wants to merge 24 commits into
phpstan:2.2.xfrom
zonuexe:feature/pure-unless-parameter-passed

Commits on Sep 20, 2026

Parse @pure-unless-parameter-passed PHPDoc tag

Thread @pure-unless-parameter-passed through the reflection layer

Wire @pure-unless-parameter-passed into the analyser

Mark by-ref out-parameter builtins as @pure-unless-parameter-passed

Add tests for @pure-unless-parameter-passed

Cover the pre-PHP 8 parameter names for the by-ref out-parameter builtins

Honor @pure-unless-parameter-passed on constructor calls, unpacked and named arguments

Parse @pure-unless-parameter-passed via phpdoc-parser 2.3.3

Report certain impurity when a @pure-unless-parameter-passed argument is passed

Recognize @phpstan-pure-unless-callable-is-impure as a known tag

Report @pure-unless-parameter-passed on a non-optional parameter

Expose @pure-unless-parameter-passed parameters as a function-level map

Test @pure-unless-parameter-passed with a variadic parameter

Mark preg_filter() as @pure-unless-parameter-passed

Combine the callable and parameter-passed purity verdicts

Update bin/functionMetadata_original.php

Match arguments collected by a flagged variadic parameter

Check the body of a @pure-unless-parameter-passed function

Emit every purity condition when generating the function metadata

Cover every @pure-unless-parameter-passed builtin mapping

Settle conditional purity where a callable value is invoked

Describe the function metadata entries with one optional-key shape

Drop comments that restate the code

Merge the two conditional purity parameter mergers into one class