200 Commits

Author	SHA1	Message	Date
Brown	ff7fbcda99	Fix #2871 - prevent keyed arrays from being interpreted as callables	2020-02-24 16:19:33 -05:00
Matthew Brown	4707b21227	Fix tests	2020-02-21 22:15:25 -05:00
Brown	7d99a15072	Fix #2805 - forbid passing in mutable class to mutation-free context	2020-02-21 18:25:35 -05:00
Brown	0e23fab5d2	Detect bugs similar to that which caused #2832	2020-02-18 12:53:54 -05:00
Matthew Brown	ced092874a	Make config generation smarter	2020-02-17 22:05:58 -05:00
Matthew Brown	00afcda5e0	Fix #2824 - allow unpacking of non-arrays with template params	2020-02-17 19:54:11 -05:00
Matthew Brown	3feccc1f98	Fix tests	2020-02-14 22:24:39 -05:00
Matthew Brown	653353709a	Use MethodIdentifier object instead of string	2020-02-14 20:54:26 -05:00
Brown	f141f7c526	Improve --diff checks by including trait-using classes in dependents	2020-02-11 16:39:33 -05:00
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