6294 Commits

Author	SHA1	Message	Date
Thomas Mauro Vargiu	4e8fb9c37f	Fix #4549 Better intersection between parent types (#4560)	2020-11-15 20:29:49 -05:00
orklah	6f8b463860	Detect trying to access to a list with a negative offset (#4552)	2020-11-15 20:26:50 -05:00
Matt Brown	5b004a1d11	Fix #4558 - Don’t convert value-of to key-of template	2020-11-15 18:33:07 -05:00
Matt Brown	26b4cd1fb9	Fix #4529 - allow unsetting with complex array key	2020-11-14 08:57:25 -05:00
Matt Brown	f65868c023	Fix style	2020-11-13 16:43:36 -05:00
Matt Brown	d97c8b750a	Add closure-use termination for byref flows	2020-11-13 13:37:27 -05:00
Matt Brown	e7e5904d2d	Remove unused uses in Psalm’s codebase	2020-11-13 13:16:39 -05:00
Matt Brown	2e47ca51d5	Fix #4547 - mark unused uses	2020-11-13 13:13:29 -05:00
Matt Brown	57125c7106	Uses by ref should be assigned that way	2020-11-13 12:50:01 -05:00
Matt Brown	4c1cf37d52	Improve error message for UnusedVariable	2020-11-13 12:36:17 -05:00
Matt Brown	086237aab7	Fix #4544 - improve handling of get_class in match	2020-11-13 11:55:42 -05:00
Matt Brown	13b83e6132	Fix #4545 - allow intersections in more places	2020-11-13 09:43:30 -05:00
Matt Brown	5a62dc5c40	Fix #4540 - use correct method when simulating property setting	2020-11-12 23:56:29 -05:00
Matt Brown	556fb12966	Move mutation checks to more appropriate place	2020-11-12 23:54:50 -05:00
Matt Brown	ec9762ce61	Prevent the same interface, repopulated, from confusing matters	2020-11-12 15:52:13 -05:00
Matt Brown	58c47ab32c	Fix build	2020-11-12 14:22:54 -05:00
Matt Brown	3dd185e395	Fix #4537 - use more rigorous inerhitance for return and param types	2020-11-12 13:54:27 -05:00
Matt Brown	929efcc1ac	Use the same docblock as the source params, if possible	2020-11-12 09:14:40 -05:00
Matt Brown	b7551e712a	Use better way to determine which signture to use ... Fixes #4524	2020-11-11 19:22:23 -05:00
Matt Brown	2f7bf2a144	Bind lower bounds to upper bounds as well when no upper bound can be inferred ... Ref #4485	2020-11-11 17:46:09 -05:00
Matt Brown	a8d7248c31	Fix #4524 - do better template param inheritance	2020-11-11 13:25:17 -05:00
Matt Brown	5ad1e80e99	Fix #4527 - improve interpolated string types	2020-11-11 00:38:26 -05:00
Matt Brown	5a5cbb2892	Increase nesting	2020-11-10 18:27:28 -05:00
Matt Brown	165e0db157	Fix style	2020-11-10 16:19:24 -05:00
Matt Brown	46ebca4497	Fix coalesce operation tainting	2020-11-10 14:36:36 -05:00
Matt Brown	a82a9558d2	Experiment with refactor	2020-11-10 12:50:17 -05:00
Matt Brown	b731b53d5e	Add debug stuff for code complexity	2020-11-10 12:49:42 -05:00
Matt Brown	81babf2430	Clone to prevent incorrect references	2020-11-10 09:01:46 -05:00
Matt Brown	e27cbfba57	Reduce size of data flow graph when analysing array assignments	2020-11-09 22:44:36 -05:00
Adrien LUCAS	4cb8e86737	Add a proxy capability to the flow annotation (#4495) ... * Add a `passthru` capability to the flow annotation * Fix passthru-calls type * Fix types and rename to proxy * Allow to proxy a method Co-authored-by: Matthew Brown <github@muglug.com>	2020-11-09 15:22:35 -05:00
Matt Brown	32d526bde9	Add descendant variables for closure uses ... Fixes #4522	2020-11-09 15:20:28 -05:00
Matt Brown	e97a9c86eb	Fix #4517 - track type contradiction issues in match expressions	2020-11-09 10:00:53 -05:00
Matt Brown	3aaa1d8447	Fix #4516 - treat exit() as the empty type	2020-11-09 08:44:03 -05:00
Matt Brown	683546e024	Fix #4519 - prevent crash with empty match	2020-11-09 08:36:59 -05:00
Matt Brown	8799e1a337	Break apart complex method	2020-11-09 00:58:45 -05:00
Matt Brown	6acd667e55	Fix #4509 - treat expression-derived constants as mixed	2020-11-08 15:36:38 -05:00
Matt Brown	ab2ab826d2	Add slashes	2020-11-08 14:34:09 -05:00
Matt Brown	0be4f2fedf	Fix/ignore reflection bugs	2020-11-08 14:27:37 -05:00
Wouter J	58318282c5	Add support for PHP 8 union types (#4505)	2020-11-08 14:23:03 -05:00
Matt Brown	20e37d8cb6	Add a comment to show workings	2020-11-08 13:08:45 -05:00
Matt Brown	24c9702aa5	Remove unused imports	2020-11-08 12:31:21 -05:00
Matt Brown	6da0905478	Separate out good from the bad	2020-11-08 12:29:23 -05:00
Matt Brown	67f9853756	Preserve reconciled taints for all but non-string scalar types	2020-11-08 10:27:58 -05:00
Matt Brown	b635353cf4	Fix redundant thing	2020-11-08 10:18:32 -05:00
Matt Brown	dccf236d16	Fix #4503 - don’t ignore assertions on possibly-null mixed	2020-11-08 10:06:39 -05:00
Matt Brown	b8f5d16e9f	Consolidate similar functionality	2020-11-07 00:58:20 -05:00
Matt Brown	bb5b5142d6	Add more info to mic drop code	2020-11-06 21:36:38 -05:00
Matt Brown	45b3dce631	Break apart IfElseAnalyzer	2020-11-06 21:01:17 -05:00
Matt Brown	3359e7699a	Rename IfAnalyzer	2020-11-06 20:51:14 -05:00
Axel H	271e0d86be	Fix type inference when unpacking typed iterables (#4487) ... * Add test for unpacking typed iterables * Fix type inference when unpacking typed iterables into arrays * Fix possibly undefined array offset	2020-11-06 17:24:01 -05:00