danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-12-15 19:07:00 +01:00
Code Issues Projects Releases Wiki Activity
11,154 Commits 43 Branches 314 Tags 108 MiB
5b91506926
Commit Graph

11154 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Tomasz Kusy
bcbfbed072 Resolve __DIR__ / __FILE__ when const/variable is used for include 2022-02-04 19:39:39 +01:00
Matthew Brown
3a298d028e Rename getArrayVarId to getExtendedVarId 2022-02-04 12:49:12 -05:00
Bruce Weirdan
333f148d1b
Merge pull request #7583 from AndrolGenhald/bugfix/7580 2022-02-04 16:41:03 +02:00
Bruce Weirdan
438a80d570
Merge pull request #7576 from weirdan/add-bcc 2022-02-04 16:36:13 +02:00
AndrolGenhald
5b469ca577 Fix crash when assigning reference to unknown array offset. 2022-02-04 08:32:35 -06:00
Bruce Weirdan
220d656706
Added backward compatibility check 2022-02-04 04:15:32 +02:00
orklah
c5722dd5e8
Merge pull request #7574 from AndrolGenhald/add-extensions-to-version-message 
Fix extension capitalization issue, add extensions to version message.
 2022-02-03 21:23:14 +01:00
AndrolGenhald
588d9e08bc Fix extension capitalization issue, add extensions to version message. 2022-02-03 11:34:50 -06:00
orklah
f82a70e7ed
Merge pull request #7573 from phptest2/4.x 
improving error message for Could not resolve config path
 2022-02-03 18:03:47 +01:00
phptest2
582624a932
improving error message for Could not resolve config path 
$directory_path is false, so better use $prospective_directory_path in the error message.
 2022-02-03 17:58:12 +01:00
orklah
cfce264bba
Merge pull request #7565 from AndrolGenhald/fix-docs-bullet-indentation 
Fix bullet indentation in documentation
 2022-02-02 22:27:05 +01:00
AndrolGenhald
94eda1a9f9 Fix bullet indentation in documentation. 2022-02-02 14:48:24 -06:00
orklah
0fe14498fc
Merge pull request #7564 from AndrolGenhald/fix-globals-documentation 
Fix documentation for <globals> config.
 2022-02-02 21:43:32 +01:00
AndrolGenhald
9429010fda Fix documentation for <globals> config. 2022-02-02 14:38:01 -06:00
Matthew Brown
8098755ce5 Remove comma 2022-02-02 11:29:31 -05:00
Matthew Brown
b382d7db3c Remove some unnecessary code around taint analysis 2022-02-02 11:25:03 -05:00
Matthew Brown
2b81990259 Simplify var naming 2022-02-02 11:25:02 -05:00
Bruce Weirdan
2128ab1d71
Merge pull request #7561 from b2pweb/clear-context-on-static-call 2022-02-02 17:30:14 +02:00
Vincent
3c3e692e7e AtomicStaticCallAnalyzer: clear tmp var from context (fix #7556) 2022-02-02 13:51:54 +01:00
orklah
ff2636eed8
Merge pull request #7558 from orklah/tweaksToArrays 
sealed keyed arrays
 2022-02-01 22:56:59 +01:00
orklah
1c2ffc81c2 tweaks 2022-02-01 22:49:20 +01:00
orklah
bd14653da5
Merge pull request #7554 from Ocramius/fix/#7478-trait_exists-always-returns-boolean 
Ensure `trait_exists()` always returns `bool`
 2022-02-01 17:48:27 +01:00
Marco Pivetta
fabcda16b4 Ensure trait_exists() always returns bool 
Fixes #7478

As discussed in the upstream issue, `trait_exists()` always returns `bool`: while
it can return `null` when the arguments passed to it do not match (either no arguments, or
3 or more arguments), we do not support that scenario, as that already doesn't respect the
type signature of this function.

We cut to the point: always make it `bool`, which is the scenario that works under healthy
operational conditions.

Ref: https://github.com/Roave/BetterReflection/pull/983#discussion_r790908170
Ref: https://psalm.dev/r/c41a43805d
Ref: https://github.com/vimeo/psalm/issues/7478#issuecomment-1020330351
Ref: https://github.com/vimeo/psalm/issues/7478#issuecomment-1020337712
Ref: https://3v4l.org/XpHmh
 2022-02-01 16:51:09 +01:00
Bruce Weirdan
dadb1f2167
Merge pull request #7539 from vimeo/revert-7363-81_returntypewillchange 2022-02-01 01:03:09 +02:00
Bruce Weirdan
49d256601f
Suppress UnusedClass 2022-02-01 00:06:25 +02:00
Bruce Weirdan
f61193b798
Reinstate MethodSignatureMustProvideReturnType 
It's never emitted, but is there for BC.
 2022-01-31 23:38:15 +02:00
orklah
68e67aeb10
Merge pull request #7546 from orklah/impure-callable 
Handle first class callable on unknown functions
 2022-01-31 22:02:35 +01:00
orklah
5a19d42dab fix test 2022-01-31 21:51:31 +01:00
orklah
2e01e9b7cd
Merge pull request #7396 from Patrick-Remy/feat/key-of-value-of-improvements 
feat: make key-of/value-of usable with non-const arrays
 2022-01-31 21:39:01 +01:00
orklah
a598efb4ab Handle first class callable on unknown functions 2022-01-31 21:36:01 +01:00
Patrick Remy
f480eb2c94
docs: add key-of/value-of BC to UPGRADING 2022-01-31 21:30:04 +01:00
orklah
041145dd9d
Merge pull request #7542 from klimick/fix-object-const-inference 
Fix object constant inference
 2022-01-31 21:11:28 +01:00
adrew
e284b91b82 Remove redundant flag from SimpleTypeInferer 2022-01-31 23:03:34 +03:00
adrew
121a801616 Fix object constant inference 2022-01-31 23:03:34 +03:00
orklah
69e8815b18
Merge pull request #7545 from orklah/impure-call-detection-for-psalter 
fix wrong detection of purity
 2022-01-31 21:00:18 +01:00
orklah
48e09ab308 fix 2022-01-31 20:55:53 +01:00
Patrick Remy
51d4bf556a
fix: replace template args in key-of/value-of 
Extend TTemplateKeyOf from Atomic instead of Scalar, to ensure it is
only compared in AtomicTypeComparator to reduce duplicate code.
 2022-01-31 20:53:36 +01:00
orklah
fc281672ea fix wrong detection of purity 2022-01-31 20:52:25 +01:00
Matthew Brown
fcfd4d30f3 Simplify passing in template result for calls 2022-01-31 09:36:40 -05:00
Bruce Weirdan
3ae067795d
Update baseline 2022-01-31 15:11:06 +02:00
Bruce Weirdan
603714518b
Revert "PHP 8.1: Report missing typehints in overridden native methods" 2022-01-31 14:37:42 +02:00
Bruce Weirdan
958e3cc12b
Merge pull request #7492 from zoonru/all_template_parameters 2022-01-31 12:25:51 +02:00
Daniil Gentili
6f51b4a432
Fix tests 2022-01-31 10:28:47 +01:00
Daniil Gentili
d0c9272227
Update baseline 2022-01-31 10:09:05 +01:00
Daniil Gentili
54b3f24b30
Update 2022-01-31 10:06:32 +01:00
Daniil Gentili
52872c05a8
Fixes 2022-01-31 10:06:32 +01:00
Daniil Gentili
ada778e8df
Remove unused field 2022-01-31 10:06:32 +01:00
Daniil Gentili
8d0c1c62e8
Ensure all template parameters are specified in classes, interfaces, traits 2022-01-31 10:06:31 +01:00
Bruce Weirdan
997592de64
Merge pull request #7530 from ohader/issue-7528 2022-01-31 10:36:47 +02:00
Bruce Weirdan
b51cb75f76
Merge pull request #7535 from ohader/issue-7534 2022-01-31 10:34:57 +02:00