Sam Mousa
|
ded566e79a
|
fix: callmap improvements and updated ignore list
|
2022-06-15 10:56:15 +02:00 |
|
Sam Mousa
|
c638006f5b
|
fix: add memcache family of function to ignore list
|
2022-06-15 09:27:40 +02:00 |
|
Sam Mousa
|
11b44b01a1
|
fix: add imagefilter alternative signatures in delta 8.1
|
2022-06-15 09:11:58 +02:00 |
|
Sam Mousa
|
7bc5721d4c
|
fix: php8.1 syntax in tests
|
2022-06-15 09:11:14 +02:00 |
|
Sam Mousa
|
923f600fab
|
fix: callmap delta for fgetss
|
2022-06-15 09:06:07 +02:00 |
|
Alexandru Patranescu
|
4bafb96cee
|
allow decimal_separator and thousands_separator parameters to be nullable in PHP 7 and 8
|
2022-06-15 07:43:04 +03:00 |
|
Sam Mousa
|
d8edad8775
|
fix: fix bad parameter names in callmap
|
2022-06-14 17:12:32 +02:00 |
|
Sam Mousa
|
c1c3b20016
|
fix: more callmap fixes
|
2022-06-14 16:58:49 +02:00 |
|
Sam Mousa
|
e78c0a5e11
|
chore: remove undefined skip function
|
2022-06-14 15:43:13 +02:00 |
|
Sam Mousa
|
2e2812e845
|
fix: imap callmap
|
2022-06-14 15:31:18 +02:00 |
|
Sam Mousa
|
037c9ed118
|
ci: run tests on php 8.1
|
2022-06-14 15:29:46 +02:00 |
|
Sam Mousa
|
1b5a01dd77
|
wip: lots of fixes to the callmap
|
2022-06-14 15:16:13 +02:00 |
|
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 |
|
|
|
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 |
|
|
|
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 |
|
