132 Commits

Author	SHA1	Message	Date
Matthew Brown	25e7039f02	The current method is used ... Fixes #2540	2020-01-01 18:33:12 -05:00
Matthew Brown	c79ba0b09e	Include non-empty-string type in more places	2019-12-30 07:25:36 -05:00
Matthew Brown	55c2f7faa2	Fix #2508 - don’t replace templated types with generic ones inside own function	2019-12-28 18:38:02 -05:00
Matthew Brown	ce9435da19	Fix #2521 - use correct context class when analysing trait	2019-12-28 15:56:26 -05:00
Matthew Brown	4c8730c5a3	Improve handling of unset array, ensuring that keys don’t persevere	2019-12-22 01:42:39 +00:00
Matthew Brown	a4191171bf	Fix #2483 - treat intersecting PHPDocs from interfaces better	2019-12-20 01:42:57 +00:00
Brown	2469f04715	Improve reconciliation of arrays with constant offsets	2019-12-13 17:17:14 -05:00
Brown	05783eb616	Find issues with impossible property values	2019-12-11 17:08:02 -05:00
Brown	e476eed111	Fix issue where inside_conditional is forgotten	2019-12-11 12:06:10 -05:00
Matthew Brown	02fbf12337	Only warn about clauses in the currently-scanned conditional	2019-12-08 16:35:56 -05:00
Matthew Brown	83b10bb9af	Fix #2426, or at least some of it	2019-12-08 00:49:34 -05:00
Matthew Brown	2b6831ba10	Fix too-long line	2019-12-07 01:38:24 -05:00
Matthew Brown	df395944f8	Change how $changed_var_ids is communicated	2019-12-07 01:23:35 -05:00
Brown	ef44bd104e	Consolidate some fixes from the binaryop branch	2019-12-06 12:47:27 -05:00
Brown	8ff33ee64d	Fix #1943 - give up analysing really complicated conditionals	2019-12-05 10:26:53 -05:00
Brown	821f3528d2	Fix #701 - indicate issues fixable with Psalter	2019-12-02 15:24:01 -05:00
Matthew Brown	e40aaafe61	Allow explicit @var mixed docblocks ... Fixes #2397	2019-12-01 10:19:42 -05:00
Brown	1f07ea7ee7	Tighten up Psalm’s inference	2019-11-25 15:20:31 -05:00
Brown	1add42b691	Fix switch handling	2019-11-25 11:51:34 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	7b719915f5	Fix style things	2019-11-12 10:21:27 -05:00
Brown	7f5af741f7	Improve assertion calculation on mixed vars	2019-11-12 10:12:07 -05:00
Matthew Brown	b1aae0d1a5	Fix more try/catch stuff	2019-11-12 00:52:10 -05:00
Brown	51557c44ea	Evaluate finally blocks at the end of every catch	2019-11-11 18:38:33 -05:00
Brown	da03902f76	Fix handling of do... while vars defined in try	2019-11-11 18:24:43 -05:00
Brown	f22266b2ff	Improve reasoning around try/catch possibly-undefined vars	2019-11-11 17:42:46 -05:00
Brown	1a54aa5752	Fix test	2019-11-11 17:07:26 -05:00
Brown	cd2f8e7d65	Fix memory corruption	2019-11-11 16:56:44 -05:00
Brown	935bad9d2c	Fix erroneous unused variable	2019-11-11 16:52:55 -05:00
Brown	d15989c975	Allow catch to assume no try statements completed	2019-11-11 15:17:53 -05:00
Brown	fbd1cf0a71	Fix #2322 - don’t update outer context if elseif has no leaving statements	2019-11-11 11:46:27 -05:00
Brown	96586f16c0	Fix phpcs issues	2019-11-11 10:11:42 -05:00
Matthew Brown	94d4b876ba	Fix #2177 - mark variables in try block as potentially undefined	2019-11-09 12:25:30 -05:00
Matthew Brown	62a3598ed3	Fix #2197 - prevent false positive from try in while	2019-11-09 11:01:48 -05:00
Matthew Brown	7028a64440	Fix #2204 - fix try/catch false-positive	2019-11-09 10:39:21 -05:00
Matthew Brown	233977a764	Fix undefined array offset when too few iterator params supplied	2019-10-21 07:13:33 -04:00
Matthew Brown	4aeb28aceb	Fix #2244 - correctly check do while expression before use	2019-10-20 14:18:30 -04:00
Brown	2be489c527	Fix regression when identifying clauses in error	2019-10-18 15:06:37 -04:00
Matthew Brown	e8618371fb	Refine isset checks	2019-10-17 01:09:21 -04:00
Matthew Brown	54a31f8cff	Be more scrupulous about mixed vars	2019-10-17 00:29:51 -04:00
Matthew Brown	29902c8b99	Fix #2237 - suppress reconciling issues when inherited clauses couldn’t be resolved into types	2019-10-16 21:55:11 -04:00
Brown	16c33d1565	Add support for list type ... Fixes #2209	2019-10-08 18:44:46 -04:00
Brown	6b012f8fa6	Use smarter type merging when analysing if statements	2019-10-08 13:07:28 -04:00
Brown	f8f8b633b1	Suppress a bunch of PossiblyUndefinedArrayOffset issues	2019-10-01 15:44:43 -04:00
Brown	cf799d0926	Fix #2173 - remove @var annotations automatically	2019-09-26 15:08:05 -04:00
Matthew Brown	fdbea45534	Fix #2159 - only apply elseif conditions to vars that exist in main context	2019-09-21 16:58:31 -04:00
Brown	c5ef2516b5	Fix #2150 - add detection for unnecessary @var annotations ... And also remove them from codebase	2019-09-19 11:59:43 -04:00
Matthew Brown	853e92e7fc	Fix #2073 - better understand assignments inside elseif	2019-08-26 22:55:28 -04:00
Matthew Brown	25487a5b63	Break out if conditional analysis	2019-08-26 22:55:01 -04:00
Brown	febd60dade	Add better handling of catch-reassigned vars ... Ref #2052	2019-08-26 11:41:15 -04:00