3035 Commits

Author	SHA1	Message	Date
Matt Brown	18f3a3721f	Fix #4414 - allow multiple @psalm-assert-if-true on same var	2020-10-25 10:49:39 -04:00
Matt Brown	94e26b2257	Empty checks variables are really falsy checks	2020-10-24 12:46:27 -04:00
Matt Brown	5ff3f1377d	Fix a few bugs	2020-10-24 12:23:59 -04:00
Matt Brown	f8eee22f77	Add basic support for PHP attributes ... Ref #4367 - supports creation and argument checks	2020-10-24 00:10:22 -04:00
Matt Brown	f3cc7a7f2f	Break apart ReflectorVisitor	2020-10-23 19:53:04 -04:00
Matt Brown	6e262ca753	Add slash	2020-10-22 18:30:36 -04:00
Matt Brown	1c836ad2fb	Invalidate signature types when use changes	2020-10-22 18:07:27 -04:00
Matthew Brown	0f9b4003f8	arraylike-object should include countable ... Fixes #4398	2020-10-22 11:48:24 -04:00
Matt Brown	ad5a8c247b	Fix #4386 - fix issues with property promotion	2020-10-21 14:41:15 -04:00
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