220 Commits

Author	SHA1	Message	Date
Brown	d52d7ef6aa	Add extra loops for more reliable analysis	2020-09-25 00:59:58 -04:00
Brown	3593a120f3	Add missing = true	2020-09-22 01:10:11 -04:00
Brown	275c6bf4e7	Propagate has_returned flag	2020-09-22 00:43:13 -04:00
Brown	3015aca2df	Fix fudging var	2020-09-21 16:23:44 -04:00
Brown	b501db6dd2	Skip currently-failing undefined variable test	2020-09-21 16:01:14 -04:00
Brown	cdb2b5caf6	Be a little bit more robust in finally handling	2020-09-21 15:37:10 -04:00
Brown	3e0f449163	Detect more issues inside finally block	2020-09-21 15:16:19 -04:00
Brown	fe94ae0603	Make sure to union try-set vars	2020-09-21 14:33:34 -04:00
orklah	24a38f21ce	Use array destructuring when possible (#4221) ... * list usage * fix inversion	2020-09-20 12:55:38 -04:00
orklah	a9a364e363	Misc improvements (#4216) ... * misc changes * fix CI	2020-09-20 08:55:28 -04:00
Brown	c4450b930c	Fix various things	2020-09-13 22:39:03 -04:00
orklah	da47588f91	replace return; by return null; in every non-void method, add return null; when mising, add return types, remove redundant phpdoc (#4176)	2020-09-13 16:39:06 -04:00
orklah	ead107fa9e	More return types (#4173) ... * add native return types * redundant phpdoc	2020-09-12 11:24:05 -04:00
Brown	eda426a594	Improve unique issue solution	2020-09-10 22:54:30 -04:00
orklah	8c7423505a	add native param types (#4137) ... * add native param types * redundant phpdoc * add more param types and adds "?" to nullable types * remove redundant phpdoc * add more param types and remove redundant phpdoc * add more param types and remove redundant phpdoc	2020-09-06 19:36:47 -04:00
orklah	f66d57f19d	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2020-09-04 16:26:33 -04:00
Brown	92239add4d	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
Brown	98ce590e9d	Remove some redundant calls	2020-08-28 12:48:33 -04:00
Brown	efe143a396	Fix #4077 - always track closure purity	2020-08-28 12:42:55 -04:00
Brown	988e17f11d	Make clause fully immutable	2020-08-26 15:35:29 -04:00
Brown	8ad1c2eeb1	Use immutable data structures for clause calculations	2020-08-26 10:41:47 -04:00
Brown	20e004744f	Fix #4064 - assume most iterators are impure	2020-08-25 18:04:36 -04:00
Brown	2b060b75d3	Fix #4052 - foreach over an iterable is impure	2020-08-25 11:24:57 -04:00
Bruce Weirdan	5bf7cc6434	Resolve typedefs that are used in var docblocks of foreach (#4037) ... Fixes vimeo/psalm#4029	2020-08-22 08:20:05 -04:00
Brown	12798d1cab	Prevent access to possibly unset var	2020-08-17 15:25:13 -04:00
Brown	b6d9ee5eb1	Fix things	2020-08-07 12:16:35 -04:00
Brown	e61765ff9b	Fix #3954 - catch ComplicatedExpressionException with added workaround	2020-08-07 08:20:35 -04:00
Brown	76bd5b6278	Refactor type comparison	2020-07-21 19:40:35 -04:00
Brown	3c9028c182	Fix #3808 - allow detection of paradoxes in switch condition function calls	2020-07-14 10:51:12 -04:00
Brown	bf7bcc0dca	Fix #3779 - allow ParadoxicalCondition of default to be suppressed	2020-07-08 14:51:20 -04:00
Brown	1b498e6dae	Remove unused variable	2020-07-06 17:41:07 -04:00
Brown	eb3ce8d368	Remove unused code	2020-07-06 15:39:52 -04:00
Brown	44d7f51857	Generalise init vars inside for loops ... Ref #3085	2020-07-03 11:13:44 -04:00
Brown	1745f5cafa	Fix too-long line	2020-07-02 15:32:13 -04:00
Brown	0c582e9993	Fix #3685 - improve handling of if conditionals inside do	2020-07-02 13:59:59 -04:00
Brown	dd25b81d3a	Fix #3670 - taint mixed foreach access	2020-06-24 19:16:30 -04:00
Brown	bbada7ba8d	Ensure correct vars are used	2020-06-15 17:16:12 -04:00
Brown	05cb39814c	Improve performance of long switch checks	2020-06-15 16:23:19 -04:00
Brown	9ca6c868b7	Fix #3563 - add workaround for == true	2020-06-12 10:58:44 -04:00
Matthew Brown	c9ee691595	Fix suppression	2020-06-04 09:55:32 -04:00
Brown	fd74d3284d	Add support for PHPParser 4.5.0	2020-06-03 14:58:08 -04:00
Brown	ef53ee3a3b	Fix crash on aliased exception ... Ref #3465	2020-05-27 08:09:58 -04:00
Brown	0b2da18f1e	Break up StatementsAnalyzer	2020-05-19 12:56:30 -04:00
Brown	5ee1487a01	Make ExpressionAnalyzer more beautiful	2020-05-18 15:13:27 -04:00
Matthew Brown	f6342a40d9	Remove unnecesary conditional check for do ... Fixes #3378	2020-05-16 16:32:36 -04:00
Brown	3554aa4435	Fix crash newly introduced	2020-05-11 09:34:07 -04:00
Brown	8f2f2617d4	Improve refactor	2020-05-10 22:45:01 -04:00
Brown	5f4d162dd5	Break out type expander into separate class	2020-05-10 22:39:18 -04:00
Matthew Brown	4b388a2951	Fix ref	2020-05-10 11:35:35 -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