191 Commits

Author	SHA1	Message	Date
Matthew Brown	4de6f5c4ec	Fix #2442 - using asserting after a MixedAssignment removes that error	2020-02-08 23:01:45 -05:00
Matthew Brown	5f4d797fe1	Fix #2772 - add support for multiple array_map function param inference	2020-02-08 12:17:57 -05:00
Matthew Brown	966336a475	Improve byref array handling	2020-02-06 23:52:27 -05:00
Brown	66227f9b7f	Fix #2727 - callable arg checks should obey ignore_falsable_return	2020-01-31 13:58:56 -05:00
Brown	b46f219c51	Do better inference for array_map return type	2020-01-30 17:43:13 -05:00
Brown	9405314222	Always Be Cloning	2020-01-30 17:22:40 -05:00
Brown	216d9256a1	Allow templated array_map callable inference ... Fixes #2719	2020-01-30 17:13:46 -05:00
Matthew Brown	5eb2ebc508	Add more type-system protections for bad array args	2020-01-29 23:41:17 -05:00
Matthew Brown	2aebc522f1	Fix #2705 - mark by-ref args as used if not variables already	2020-01-29 21:46:30 -05:00
Brown	34d73e7243	Fix #2685 - always evaluate $a++ in unknown call	2020-01-24 10:32:28 -05:00
Brown	36f5c51f01	Allow unpacking of list args with known elements	2020-01-21 10:13:37 -05:00
Matthew Brown	b0073d4558	Fix #2614 - prevent isset($string)	2020-01-13 21:27:09 -05:00
Тальгат Хайруллов	39a822759d	#2579 TooManyArguments was triggered if the variadic function declared at the autoloader file. Fixed. (#2580)	2020-01-12 11:33:38 -05:00
Pavel Batečko	702ca34c41	Improve array function types (#2566) ... * Improve sorting function out types * Improve return types of array_diff_assoc(), array_intersect_assoc() * Fix versionCompareAsCallable test	2020-01-07 11:40:23 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Brown	996053cca6	Fix #2545 - fix bug when coming back after analysing method call in constructor	2020-01-03 11:29:45 -05:00
Matthew Brown	c79ba0b09e	Include non-empty-string type in more places	2019-12-30 07:25:36 -05:00
Matthew Brown	023c4bcef0	Fix #2532 - fix templating inside class method when calling templated method	2019-12-30 07:25:36 -05:00
Matthew Brown	b375ebf06f	Fix test	2019-12-29 10:29:03 -05:00
Matthew Brown	26876b9a13	array_push shouldn’t change list type	2019-12-29 10:20:44 -05:00
Matthew Brown	55c2f7faa2	Fix #2508 - don’t replace templated types with generic ones inside own function	2019-12-28 18:38:02 -05:00
Matthew Brown	ce9435da19	Fix #2521 - use correct context class when analysing trait	2019-12-28 15:56:26 -05:00
Brown	20049eb0b5	Fix #2437 - don’t worry about mixed templated param types	2019-12-10 14:58:26 -05:00
Brown	74de32fefe	Allow multiple @psalm-assert annotations for a given variable	2019-12-09 17:21:58 -05:00
Matthew Brown	02fbf12337	Only warn about clauses in the currently-scanned conditional	2019-12-08 16:35:56 -05:00
Matthew Brown	2e00ad2240	Treat more things as assignments	2019-12-07 15:58:05 -05:00
Matthew Brown	df395944f8	Change how $changed_var_ids is communicated	2019-12-07 01:23:35 -05:00
Matthew Brown	27c9aa4286	Fix code and test	2019-12-01 10:43:51 -05:00
Matthew Brown	f21150b8ad	Fix #2384 - fix resolution of @param-out template types	2019-12-01 10:40:53 -05:00
Matthew Brown	113bf921f6	Add support for arrow function inference	2019-11-27 10:12:59 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	81f513bb4c	Fix #2358 - always analyse new XXX(...) in unknown method calls	2019-11-18 16:14:21 -05:00
Matthew Brown	5fabf41c8e	Check for not-callable return value	2019-11-14 07:57:22 -05:00
Brown	96586f16c0	Fix phpcs issues	2019-11-11 10:11:42 -05:00
Joram Schrijver	c97ba8f713	Implement type-checking and forbidding for print (#2314) ... * Add type-checking for print * Allow print to be forbidden	2019-11-08 07:01:34 -05:00
Brown	3d7b34e7f6	Fix #2273 - ensure all template params are bound	2019-11-07 11:03:41 -05:00
Brown	3e98c800ec	Fix #2309 - prevent closure-inferred generic template params overwriting parent ones	2019-11-06 13:13:02 -05:00
Brown	a8ed6ba9c4	Fix #2308 - prevent specialisation from bound params	2019-11-06 11:20:51 -05:00
Brown	1f42843d42	Fix #2296 - use case insensitive closure ids	2019-11-04 14:48:02 -05:00
Matthew Brown	8f421dc0bb	Refactor template calculation out from Psalm\Type\Union	2019-11-03 21:27:40 -05:00
Matthew Brown	5910a362ea	Improve report output of taint analysis	2019-10-19 17:59:10 -04:00
Matthew Brown	9115ffd237	Fix #2215 - refine closure type if it doesn’t clash	2019-10-15 20:34:41 -04:00
Brown	5e649f684c	Fix erroneous return type resolution	2019-10-14 17:10:30 -04:00
Matthew Brown	8c6b234c2c	Improve speed of taint analysis	2019-10-13 20:10:31 -04:00
Matthew Brown	7857b07f91	Fix list-could-be-array issue	2019-10-11 08:24:35 -04:00
Matthew Brown	03c39cbe7c	Fix #2223 - make sure lists are handled in more places	2019-10-10 20:16:43 -04:00
Brown	54d5a25077	Remove known array offsets after altering array	2019-10-09 10:36:55 -04:00
Brown	b75720c32b	Add more list types	2019-10-09 10:04:34 -04:00
Brown	16c33d1565	Add support for list type ... Fixes #2209	2019-10-08 18:44:46 -04:00
Brown	d225374d6d	Fix #2156 - do better inference after isset	2019-10-01 19:31:08 -04:00