3026 Commits

Author	SHA1	Message	Date
Matt Brown	f72e2d7de5	Fix #4374 - prevent paradox and allow Psalm to understand more assignments in conditionals	2020-10-20 14:43:05 -04:00
Matt Brown	66780716aa	Fix #3625 - getIterator call is used inside loop	2020-10-20 10:59:09 -04:00
Matt Brown	e7d1fa6798	Fix #4372 - count implicitly-used short-closure vars as used	2020-10-20 09:32:08 -04:00
Matt Brown	3803bbfce0	Fix #4368 - improve handling of try with finally	2020-10-20 09:07:10 -04:00
Matt Brown	7afd817a3b	Add back use	2020-10-19 15:10:35 -04:00
Niclas van Eyk	0261024aa6	Initial proposal for psalm-require-{extends, implements} (#4361) ... * initial implementation of psalm-require-extends * Added @psalm-require-implements * Added shortcode for ExtensionRequirementViolation * Docs & cofig entries for @pasalm-require-{implements,extends} * Added requirement violations to issues.md	2020-10-19 15:08:18 -04:00
Matt Brown	32787169d7	Fix language server	2020-10-19 13:13:50 -04:00
Matt Brown	1a6b684993	Fix #4366 - possibly-undefined vars in finally block should not error	2020-10-19 09:56:38 -04:00
Matt Brown	fe294a4dc0	Don’t overwrite true flag	2020-10-18 01:24:36 -04:00
Matt Brown	a6c7336c69	Fix bad replacement	2020-10-18 00:54:07 -04:00
Matt Brown	0897abf5cb	Be more explicit about negation	2020-10-18 00:39:43 -04:00
Matt Brown	3c29ffd0b7	Ignore just-coerced vars	2020-10-17 23:35:24 -04:00
Matt Brown	b646414304	Prevent unnecessary assignments	2020-10-17 18:44:42 -04:00
Matt Brown	055fe551c1	Suppress errors from fake statements	2020-10-17 18:35:55 -04:00
Matt Brown	9502e51a08	Fix reversed negation check	2020-10-17 17:46:00 -04:00
Matt Brown	c0f6afbd87	Improve binary op || analysis for chain	2020-10-17 17:16:47 -04:00
Matt Brown	559abb7b6a	Fix style	2020-10-17 14:50:14 -04:00
orklah	ceaaa39ec3	improve phpdoc (#4352)	2020-10-17 12:36:44 -04:00
Matt Brown	9f29e77adc	Fix #4354 - allow assignments on RHS of || in if conditional	2020-10-17 12:29:57 -04:00
Matt Brown	be1cd5275e	Fix #4349 - improve types for suggested unions	2020-10-16 17:56:31 -04:00
Matt Brown	234eae6ad0	Fix algebra more	2020-10-16 11:17:52 -04:00
Matt Brown	083cc29c04	Fix #4347 - fix combinatorial expansion when negating if conditions	2020-10-16 10:23:15 -04:00
orklah	ffe7874906	Misc improvements (#4314) ... * extract the operation out of the loop when possible * remove unnecessary interfaces when already inherited in parent * simplify expressions * avoid using alias functions * redundant phpdoc * unused imports	2020-10-15 13:23:35 -04:00
Matt Brown	b69e28f26a	Fix default value	2020-10-15 13:20:42 -04:00
Matt Brown	8d2e88ef41	Fix #4333 - don’t get tripped up on try with no catches	2020-10-15 10:15:55 -04:00
Matt Brown	8a2983e5e9	Fix #4336 - don’t merge sources twice for null coalesce	2020-10-15 09:57:37 -04:00
Matt Brown	da257a0fa5	Break apart InstancePropertyFetchAnalyzer and others	2020-10-15 09:21:44 -04:00
Matt Brown	2902a8cc60	Fix #4326 - Prevent later remapping of properties	2020-10-14 21:35:57 -04:00
Matt Brown	4539a2f27e	Fix #4326 - prevent more mapping than necessary	2020-10-14 21:22:51 -04:00
Matt Brown	d8d17a6587	Fix #4327 - make sure loop always returns	2020-10-14 20:19:55 -04:00
Matt Brown	b2382cdf18	Use correct count	2020-10-14 18:56:49 -04:00
Matt Brown	4488d5fb1f	Use more accurate arguments count	2020-10-14 18:51:15 -04:00
Matt Brown	864a7bbb4c	Add better support for get_debug_type	2020-10-14 17:30:08 -04:00
Matt Brown	a0fbac347e	Prevent features pre-php-8	2020-10-14 17:09:56 -04:00
Matt Brown	62c15b2a4f	Avoid crash when callable type is missing	2020-10-14 11:01:46 -04:00
Matt Brown	724b25b918	Change control_flow_graph to data_flow_graph	2020-10-13 17:28:12 -04:00
Matt Brown	516141a380	Rename ControlFlowGraph to more appropriate DataFlowGraph	2020-10-13 16:49:03 -04:00
Matt Brown	1ae9a6127e	Fix #4315 - prevent crash when setting unknown property in finally	2020-10-13 08:32:26 -04:00
Matt Brown	bb7d7132f7	Do arithmetic for preg_split arguments	2020-10-12 20:26:02 -04:00
Matt Brown	b08d70f977	Fix #4252 - fix xml generation	2020-10-12 18:39:26 -04:00
orklah	62e79fb7ea	param types (#4313)	2020-10-12 15:46:47 -04:00
Matt Brown	fee3b63122	Fix #4274 - don’t ignore mixed union in array_shift operation	2020-10-12 15:17:22 -04:00
orklah	10f2966dcb	return types (#4311) ... * return types * remove willReturn for void methods	2020-10-12 15:02:52 -04:00
Matt Brown	fcfa746ba8	Fix #4310 - prevent literal class check on union	2020-10-12 14:45:11 -04:00
Matt Brown	d16c0de872	Add slash	2020-10-12 14:32:44 -04:00
Matt Brown	464795d86c	Fix #4309 - improve reuse of callmap callable inference	2020-10-12 13:46:43 -04:00
Matt Brown	5743471a19	Don’t merge array and Traversable to iterable when there are intersections	2020-10-12 12:45:31 -04:00
Matt Brown	ce90466ad4	Change name to arraylike-object	2020-10-12 12:39:48 -04:00
Matt Brown	8319278ef1	4.x - Add support for array-like-object ... Ref #4308	2020-10-12 12:32:02 -04:00
Matt Brown	d8a74ca383	4.x - Prevent passing empty array to max or min	2020-10-12 12:09:12 -04:00