danog/psalm
1
0
Fork 0
mirror of https://github.com/danog/psalm.git synced 2024-12-11 16:59:45 +01:00
Code Issues Projects Releases Wiki Activity
13,844 Commits 43 Branches 314 Tags 108 MiB
506fb9c773
Commit Graph

13844 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Bruce Weirdan
ca967bc162
Added support links 2023-08-30 07:45:16 +02:00
Bruce Weirdan
791e5d65b5
composer.json tweaks 
Psalm is not a library.

Also updated `composer lint` description.
 2023-08-30 07:37:29 +02:00
Bruce Weirdan
cc7ed9586e
Merge pull request #10156 from boesing/bugfix/prevent-infinite-loop-in-type-parser 2023-08-28 12:06:45 +02:00
Bruce Weirdan
3814fbb231
Merge pull request #10157 from boesing/bugfix/assertions-from-inherited-docblock 2023-08-28 12:04:47 +02:00
Maximilian Bösing
66c01813c1
refactor: move assertion detection based on inherited classes/interfaces into internal resolver 
This also enables `ExistingAtomicStaticCallAnalyzer` to detect those inherited assertions.

Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-28 11:09:23 +02:00
Bruce Weirdan
b29ea52dd9
Merge pull request #10159 from vimeo/fix-crash-on-property-access-with-missing-dependency 2023-08-28 02:10:39 +02:00
Bruce Weirdan
b3150d451a
Fix crash on property access to undefined property on a class with a missing dependncy 2023-08-28 01:58:02 +02:00
Maximilian Bösing
2a0ce2fecc
qa: add newlines to prevent exceeding 120 character line-length limit 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-28 01:15:49 +02:00
Maximilian Bösing
5e520e6bff
bugfix: properly inherit assertions from parents or implemented interfaces 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-28 01:12:28 +02:00
Maximilian Bösing
3fa5710400
qa: preserve already detected modifications 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-27 22:38:43 +02:00
Maximilian Bösing
d9ebab6b75
bugfix: prevent infinite-loop when resolving type-aliases 
The type-expander returns the same `intersection_type` in case something is not properly expandable. To avoid infinite-loop, we do explicitly verify that the expanded  alias is actually resolved

Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-27 17:08:55 +02:00
Bruce Weirdan
77436b1339
Merge pull request #10154 from cgocast/5.x 2023-08-27 05:27:41 +02:00
Bruce Weirdan
55fb26951a
Merge pull request #10155 from weirdan/update-mysqli-stub 2023-08-27 04:37:25 +02:00
Bruce Weirdan
23ad49cbe4
Update mysqli stub 
Refs vimeo/psalm#9851
 2023-08-27 04:17:23 +02:00
cgocast
bb902990f8 Sink for ReflectionFunction::__construct() 2023-08-26 22:09:27 +02:00
cgocast
c8b47b17bf Fix typo 2023-08-26 21:54:26 +02:00
cgocast
72c9bf8575 New sinks for TaintedCallable #10117 2023-08-26 19:29:00 +02:00
Bruce Weirdan
8bfcf473b9
Merge pull request #10151 from weirdan/strrchr-before_needle 2023-08-26 01:44:57 +02:00
Bruce Weirdan
9b6edffc44
Merge pull request #10150 from boesing/bugfix/enum-values 2023-08-26 01:43:07 +02:00
Bruce Weirdan
5332853f4f
Merge pull request #10149 from lens0021/master-1 2023-08-26 01:42:01 +02:00
Bruce Weirdan
b6ed045746
strrchr(): $before_needle parameter 
Refs: php/php-src#11430
 2023-08-26 01:36:05 +02:00
Bruce Weirdan
ad0a132d7f
Update src/Psalm/Type.php 2023-08-25 19:30:16 -04:00
Maximilian Bösing
e985e8aadb
qa: add proper parameter type-hint to suit psalm analysis 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-26 00:49:02 +02:00
Lens0021 / Leslie
5aac98b173
A semicolon expected 2023-08-26 07:44:24 +09:00
Maximilian Bösing
a6b646f0e3
qa: re-arrange code to avoid line-length limit of 120 chars 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-26 00:42:33 +02:00
Maximilian Bösing
a8bb8d38ea
qa: ensure that we do have at least one enum case extracted from the value-of<Enum> usage 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-26 00:41:06 +02:00
Maximilian Bösing
f93ac70a0a
qa: resolving psalm issues 
- remove unused variable
- add assertion to reduce possible types from `TEnumCase`
- use `TypeCombiner` to provide proper `Union` containing all literals

Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-26 00:36:20 +02:00
Maximilian Bösing
cd3e294bfd
bugfix: remove atomic type comparator regarding TEnumCase 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-26 00:15:53 +02:00
Maximilian Bösing
6c1899df13
qa: apply coding standard 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-26 00:08:14 +02:00
Maximilian Bösing
5948559a31
feature: introducing proper handling of value-of in combination with backed enums 
This introduces both:
- a bugfix for a regression introduced by `31eaf83c4` which prevents backed enums are incorrectly identified as literals
- an additional feature so that `value-of` can be used with backed enums to assert any of the enum cases values

Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-25 23:58:53 +02:00
Maximilian Bösing
31eaf83c49
bugfix: prevent enums from being detected as literals 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-25 23:54:31 +02:00
Maximilian Bösing
22bcd576d3
qa: add test to verify backed enums are no literals 
Signed-off-by: Maximilian Bösing <2189546+boesing@users.noreply.github.com>
 2023-08-25 23:53:58 +02:00
Bruce Weirdan
0160c469cd
Merge pull request #10145 from weirdan/show-success-message-with-github-formatter 2023-08-24 13:25:52 +02:00
Bruce Weirdan
b1c25fa30a
Show success message and type stats with GHA formatter 2023-08-24 03:32:18 +02:00
Bruce Weirdan
8f3b1b5c1d
Merge pull request #10128 from kkmuffme/add-exec-output-param-out 
Add exec output param out
 2023-08-22 16:18:04 +02:00
kkmuffme
4f87da19e2 stubs exec param-out for $output 2023-08-22 15:28:28 +02:00
Bruce Weirdan
c34d5132b5
Merge pull request #10115 from edsrzf/file-find-unused-baseline 2023-08-21 09:44:07 +02:00
Bruce Weirdan
0a9e647603
Do not change baseline when checking specific files 2023-08-21 09:25:37 +02:00
Bruce Weirdan
357a0a3324
Merge pull request #10136 from weirdan/extract-impure-functions-list 2023-08-21 08:04:57 +02:00
Bruce Weirdan
d39a103e60
Merge pull request #10138 from weirdan/more-gc_status-fields 2023-08-21 07:29:42 +02:00
Bruce Weirdan
97fc480aca
Added more gc_status return fields 
Fixes vimeo/psalm#10022
 2023-08-21 07:10:24 +02:00
Bruce Weirdan
e6aa3fd23c
Extract the list of impure functions into its own dictionary 2023-08-21 06:14:56 +02:00
Bruce Weirdan
5c774aca47
Merge pull request #10135 from weirdan/correct-exit-code-for-wrong-version-format 2023-08-21 01:07:30 +02:00
Bruce Weirdan
46ebe72e69
Correct exit code for invalid version format 
Addresses https://github.com/vimeo/psalm/pull/10129#discussion_r1299442729
 2023-08-21 00:14:26 +02:00
Bruce Weirdan
e085b73f2f
Merge pull request #10134 from weirdan/fix-10132 2023-08-20 23:54:31 +02:00
Bruce Weirdan
1474340cf2
Fix crash on array access to undefined class 2023-08-20 23:45:30 +02:00
Bruce Weirdan
0922fa14d0
Merge pull request #10129 from Nitamet/10084-incorrect-version-checking 2023-08-18 23:44:31 +02:00
Nitamet
005eed3d06 Throw and catch exception when specified PHP version is invalid 2023-08-19 00:14:39 +03:00
Nitamet
18b74b1814 Add 8.3 as supported version 2023-08-19 00:01:17 +03:00
Nitamet
2c7391a649 Add versions 5.4-7.3 as supported 2023-08-18 20:32:05 +03:00