83 Commits

Author	SHA1	Message	Date
Matthew Brown	2eca28c912	Remove more unused code from LoopAnalyzer	2022-02-09 16:37:15 -05:00
Matthew Brown	13824d5a33	Fix awkward workaround for loop assignment map	2022-02-08 10:59:29 -05:00
Daniil Gentili	8d0c1c62e8	Ensure all template parameters are specified in classes, interfaces, traits	2022-01-31 10:06:31 +01:00
Matthew Brown	faaf7690f6	Remove mic-drop hack from if analysis (#7484) ... * Remove mic-drop hack from if analysis * Remove more special handling * Remove some unnecessary ElseAnalyzer code * Add back necessary code * Fix return type of method never returning null * Add a comment * Simplify && handling * Add comments to make stuff clearer * Move if-specfic logic to more appropriate setting	2022-01-28 18:30:47 -05:00
orklah	63b802bff4	remove TPositiveInt	2022-01-23 23:49:23 +01:00
Matthew Brown	b49682a485	Simplify issue suppression in tests	2022-01-13 14:38:17 -05:00
Matthew Brown	f439d6550b	Ensure that all entries in test arrays have explicit keys (#7386) ... * Transformation that updates assertions * Simplify transformation * Ensure that all tests have keys * Fix a few remaining keys	2022-01-13 13:49:37 -05:00
rarila	97e6511fab	Set number of lines before and after namespace.	2021-12-15 04:58:32 +01:00
adrew	de0d3a3be3	Allow IssueBuffer::remove to remove recorded issues	2021-12-13 01:42:33 +03:00
rarila	39402c233d	Return type hints (#7065) ... Co-authored-by: ralila <>	2021-12-05 19:51:26 +02:00
ralila	8fb2e0f885	Handle some partials	2021-12-04 21:55:53 +01:00
ralila	245920e53c	Import instead of using fqn	2021-12-03 20:11:20 +01:00
orklah	cdfc119e33	add test	2021-10-10 10:31:30 +02:00
orklah	5a2df475ca	changes after review	2021-09-19 19:30:03 +02:00
orklah	7d6ede61fd	fix test	2021-09-19 19:30:00 +02:00
orklah	de27693015	change test to show while loop with truthy value is still inferred	2021-09-04 14:10:12 +02:00
orklah	e99c1951ae	Make Psalm understand infinite while loop in control actions	2021-09-02 22:28:01 +02:00
Bruce Weirdan	6abce3525a	Enforce use sort (#5900)	2021-06-07 22:55:21 -04:00
Matt Brown	7354ec9903	Fix #5298 - improve handling of method that may write properties	2021-05-23 16:22:52 -04:00
Matt Brown	9635ca620c	Correctly interpret continue 2 in nested loops	2021-05-17 08:26:38 -05:00
Matthew Brown	2ebf97b4cb	Fix #4910 - don’t allow array_merge to create massive keyed arrays	2021-05-13 16:27:05 -04:00
Matthew Brown	4873f53f69	Fix issue when two continue/break statements write same variable	2021-05-13 09:39:25 -04:00
AndrolGenhald	d4590711d6	Fix object-like array keys when combining string and automatic keys (fixes #5427). (#5428) ... * Fix object-like array keys (fixes #5427). * Fix incorrect return types for tests. * Fix false positive list with literal int key.	2021-03-19 21:44:44 -04:00
Matt Brown	d10a06837d	Fix #5001 - update variables after context after type change from empty ... Empty is the invalid state, and some old logic here was causing a bug	2021-01-13 11:35:52 -05:00
Matt Brown	951afcf4af	Fix #4982 - ensure destructuring assignments are seen inside a loop	2021-01-11 12:46:02 -05:00
Matt Brown	0c477da310	Fix test failures	2020-11-25 20:05:09 -05:00
Matt Brown	024d93b7fd	Fix #4467 - variables are only the same if they were set in the same location	2020-11-01 11:26:42 -05:00
Matt Brown	e9b520d72d	Ignore precondition issues in loop	2020-10-07 20:24:50 -04:00
Matt Brown	169b2b7023	Fix analysis when there’s a break in a loop after a reassignment	2020-09-30 00:04:07 -04:00
Brown	19f88a2e31	Add improvements from unused variable checks	2020-09-28 00:45:02 -04:00
Brown	1afbce82ca	Ensure loop marks vars as possibly assigned	2020-09-27 17:50:48 -04:00
orklah	ead107fa9e	More return types (#4173) ... * add native return types * redundant phpdoc	2020-09-12 11:24:05 -04:00
Brown	92239add4d	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
Brown	3ca4a576e7	Fix treatment of closure params in array_map	2020-08-29 11:10:09 -04:00
Brown	134955a5f4	Fix #4011 - prevent mixed assignment in loop	2020-08-18 08:51:09 -04:00
Brown	de6b354fa0	Fix #4005 - prevent crash when assignment var assertion no longer valid	2020-08-17 15:47:39 -04:00
Matthew Brown	9dfdcbef31	Fix #3928 - preserve list-ness when assigning with no offset	2020-08-03 12:30:58 -04:00
Brown	57cd21346c	Fix #3914 - treat $i++ like $i = $i + 1	2020-07-31 11:26:54 -04:00
Brown	44d7f51857	Generalise init vars inside for loops ... Ref #3085	2020-07-03 11:13:44 -04:00
Brown	0c582e9993	Fix #3685 - improve handling of if conditionals inside do	2020-07-02 13:59:59 -04:00
Matthew Brown	f6342a40d9	Remove unnecesary conditional check for do ... Fixes #3378	2020-05-16 16:32:36 -04:00
Brown	58e1d8e68e	Fix test with unset in loop	2020-05-11 09:39:25 -04:00
Brown	3554aa4435	Fix crash newly introduced	2020-05-11 09:34:07 -04:00
Brown	55222573ea	Mark as possibly-undefined any variable that wasn’t present when the loop began ... Fixes #3332	2020-05-10 11:17:50 -04:00
Brown	755ada9114	Fix #3234 - infer iterator key types properly	2020-04-27 00:41:34 -04:00
Brown	e17cfd8dba	Fix #3125 - only apply clauses where applicable	2020-04-12 21:50:10 -04:00
Brown	9d2957d339	Fix a few more edge-cases	2020-04-12 01:26:11 -04:00
Brown	d868710b2b	Fix handling of built arrays	2020-04-08 16:11:11 -04:00
Matthew Brown	86a89b2d27	Fix #3034 - expand out while expressions for more accurate variable initialisation	2020-03-28 18:22:08 -04:00
Brown	9f077f5aec	Fix formatting	2020-01-24 14:08:01 -05:00