danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2025-01-10 06:58:41 +01:00
Code Issues Projects Releases Wiki Activity
11,523 Commits 43 Branches 314 Tags 108 MiB
c2a8d1bb06
Commit Graph

11523 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
orklah
10ea05a5a3
Merge pull request #8102 from bitwise-operators/8096-createFromInterface-return-type 
Change return type of createFromInterface() on DateTime and DateTimeImmutable to static
 2022-06-13 23:05:15 +02:00
orklah
eb1ef40bb6
Merge pull request #8098 from Nicelocal/fix_parameter_storage_corruption 
Fix nasty parameter storage corruption bug
 2022-06-13 21:19:48 +02:00
Sam Mousa
507e792d91
added more type validity checks to reduce possible false positives 2022-06-13 15:29:21 +02:00
Sam Mousa
c7e39e76fc
tests: add test that validates the callmap in the current runtime 2022-06-13 15:10:23 +02:00
Bitwise Operators
651ad6cb50 release:fix: Change return type of createFromInterface() methods on DateTime and DateTimeImmutable to 'static' so extending classes are recognized. 2022-06-13 14:41:02 +02:00
orklah
ba0f75e83c
Merge pull request #8100 from SamMousa/fix-8099 
fix #8099: ob_implicit_flush argument type changed to bool
 2022-06-13 13:42:55 +02:00
Sam Mousa
44b2ccb4b7
fix #8099: ob_implicit_flush argument type changed to bool 2022-06-13 12:44:43 +02:00
Daniil Gentili
f8724761b3
Fix parameter storage corruption 2022-06-13 10:28:33 +02:00
Maximilian Bösing
0d96766640
bugfix: single does not mean that only one single atomic type is stored within a union 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 19:39:13 +02:00
Maximilian Bösing
3fd7a8b6d7
qa: refactor code to avoid too many nesting levels 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 19:27:54 +02:00
Maximilian Bösing
7e033d8051
bugfix: do not extend the type - only narrow down 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 19:20:38 +02:00
orklah
c74b2fcc1c
Merge pull request #8080 from zoonru/fix_reflection_aliases 
Skip native classlike aliases
 2022-06-12 10:03:26 +02:00
Maximilian Bösing
ed1bb8a9a6
bugfix: in case the old type is already more accurate than the new type, do not consider the new type as a replacement 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 03:35:59 +02:00
Maximilian Bösing
02d4f0c614
feature: add more accurate equals checks for TLiteralFloat, TLiteralInt and TLiteralString 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 03:34:45 +02:00
Maximilian Bösing
92b4bf1f01
qa: use dedicated variable for asserting a specific value 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 02:58:08 +02:00
Maximilian Bösing
083da24551
qa: add more specific unit test(s) for the oneOf detection 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 02:53:04 +02:00
Maximilian Bösing
6a73fbd1d2
bugfix: tighten the detection of types which narrow down other types 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 02:51:36 +02:00
Maximilian Bösing
4068f5cbb0
feature: add Union#allFloatLiterals as it was missing 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 02:50:48 +02:00
Maximilian Bösing
e13268f5c0
qa: use $assertion_var_id over $arg_var_id for better type reflection 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 01:33:13 +02:00
Maximilian Bösing
6c1ed90dc1
qa: ensure we use multiple isset to verify the existence of $arg_var_id 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 01:29:30 +02:00
Maximilian Bösing
c68b6e9d26
bugfix: only allow narrowing down types in case the old type is not single 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 01:21:38 +02:00
Maximilian Bösing
4ee1b3feb4
bugfix: only extend existing logic instead of hijacking it 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 01:15:46 +02:00
Maximilian Bösing
2d9133b35a
bugfix: overriding types based on assertions have to pass more checks 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-12 00:32:36 +02:00
Maximilian Bösing
7c85e0c0d9
bugfix: only override templated values in case of literals 
This will avoid issues with invalid intersection assertions.

Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-11 23:30:52 +02:00
Daniil Gentili
d352ae4e07
Skip native classlike aliases 2022-06-09 11:20:02 +02:00
Maximilian Bösing
40971ff57d
bugfix: allow non-single union types in assertions 
fixes #5657

Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-09 00:26:34 +02:00
Maximilian Bösing
a9daa3ba02
qa: add failing test for one-of assertion 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2022-06-09 00:26:06 +02:00
Matt Brown
a9775c656c Fix style 2022-06-08 16:03:27 -04:00
Matt Brown
6d09c3c794 Remove nonsensical taint analysis rule 2022-06-08 16:00:06 -04:00
orklah
02d5beecb0
Merge pull request #8051 from AndrolGenhald/bugfix/8048 
Fix possibly empty array shape appearing non-empty (fixes #8048).
 2022-06-08 19:22:12 +02:00
orklah
b113d77a2c
Merge pull request #8069 from AndrolGenhald/bugfix/8068 
Fix generic object comparison to use template constraint as default.
 2022-06-08 19:20:40 +02:00
AndrolGenhald
271dce8b6c Fix test format after cherry-pick from master. 2022-06-07 19:16:53 -05:00
AndrolGenhald
af5c191e7b Fix generic object comparison to use template constraint as default (fixes #8068). 2022-06-07 19:12:36 -05:00
orklah
53c3c9b7c5
Merge pull request #8064 from weirdan/null-is-cast-to-string-in-array-offsets 
Coerce null to empty string in array keys
 2022-06-07 07:33:16 +02:00
Bruce Weirdan
4e59398f77
Coerce null to empty string in array keys 
Fixes vimeo/psalm#8063

Alters the fix for vimeo/psalm#2165 (1a48be8e9c)

/cc: @iluuu1994, @muglug
 2022-06-06 17:41:42 -04:00
AndrolGenhald
34322b79dd Fix suppression comment. 2022-06-06 16:19:27 -05:00
orklah
d55988a78c
Merge pull request #8060 from bdsl/patch-8 
Clarify in docs that zero is not considered a positive-int
 2022-06-06 20:00:26 +02:00
Barney Laurance
c064edcbb7
use backticks in docs 2022-06-06 18:26:35 +01:00
orklah
006f441198
Merge pull request #8058 from Nicelocal/fix_disableVarParsing 
Bring back disableVarParsing option
 2022-06-06 18:33:37 +02:00
Barney Laurance
a7c92661fa
Use int<1,max> to define positivity 2022-06-06 17:05:59 +01:00
Barney Laurance
99372a2286
Clarify in docs that zero is not considered a positive-int 
I wasn't sure from reading the docs whether or not Psalm consider zero to be positive.
 2022-06-06 16:13:30 +01:00
Daniil Gentili
acdbd3e5b5
Bring back disableVarParsing option 2022-06-06 11:57:04 +02:00
kkmuffme
74671e3a3c fix false positives for partially incalid phpdoc 2022-06-05 12:16:01 +02:00
orklah
f47b4180fb
Merge pull request #8054 from kkmuffme/runtime-cache-origin-location 
store origin location by ID to speed up psalm by up to 75%
 2022-06-04 18:47:14 +02:00
orklah
4a54369e3d
Merge pull request #8055 from kkmuffme/performance-get-selected-text-from-snippet 
Performance: cut the selected_text from snippet
 2022-06-04 16:02:14 +02:00
kkmuffme
cb78f54d8a Performance: cut the selected_text from snippet 
instead of from full text

50% faster than cutting from full text, improves performance up to 3% depending on file length and number of errors in file
 2022-06-04 15:53:02 +02:00
kkmuffme
8b20708063 stores origin location by ID to speed up psalm by up to 75% in certain cases 2022-06-04 14:26:27 +02:00
AndrolGenhald
c271b1245e Fix possibly empty array shape appearing non-empty (fixes #8048). 2022-06-02 14:00:52 -05:00
orklah
b5a0c5926b
Merge pull request #8049 from AndrolGenhald/fix-int-range-combination 
Fix `TypeCombiner::combine` to not modify TIntRange arguments.
 2022-06-02 19:46:56 +02:00
AndrolGenhald
2f090e5722 Fix TypeCombiner::combine to not modify TIntRange arguments. 
This keeps coming up in obscure places, hopefully this fixes it once and for all. I would reeeaaally love to have an immutable type system at some point...
 2022-06-02 12:36:41 -05:00