24 Commits

Author	SHA1	Message	Date
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	d15989c975	Allow catch to assume no try statements completed	2019-11-11 15:17:53 -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	820eba1151	Add test for null init	2019-07-07 14:01:33 -04:00
Matthew Brown	cd715a60fd	Fix #1909 - populate var scope if try always leaves	2019-07-07 13:52:43 -04:00
Matthew Brown	da42be175f	Apply PHPCS fixes ... Fixes #1880	2019-07-05 16:27:53 -04:00
Matthew Brown	1c10ae11bf	Fix #1580 - look for no-returns in try/catch statements	2019-05-14 21:22:29 -04:00
bugreportuser	4550d362eb	Add new test file for exceptions in global scope	2019-03-31 14:22:19 -04:00
bugreportuser	47d8da6135	Add tests	2019-03-24 23:03:37 -04:00
Matthew Brown	c772914910	Add some formatting	2019-03-23 14:27:54 -04:00
Bruce Weirdan	9bdc9f774f	More provider typing	2019-03-02 08:43:19 -05:00
Matthew Brown	83e22a10f8	Fix #1299 - vars defined in catches before throw are possibly-defined for finally	2019-02-09 15:39:30 -05:00
Matthew Brown	17541b415f	Fix #1191 - allow Psalm to check against different versions of PHP	2019-02-07 12:25:57 -05:00
Matthew Brown	0ac7d106a3	Fix #1221 - no TypeDoesNotContainType in catch or finally	2019-01-20 09:27:46 -05:00
Matthew Brown	9c9e57cf6b	Fix #1153 - ignore redundant conditions in finally block	2019-01-06 12:39:18 -05:00
Matthew Brown	4688b25fd9	Move internal classes to own namespace	2018-11-12 11:20:59 -05:00
Matthew Brown	a8a504c3b9	Fix #889 - allow variables defined in try to avoid isset issues	2018-07-13 14:06:01 -04:00
Matthew Brown	e419a8fe01	Exit early when there’s an issue in block-level elements ... Fixes #550	2018-03-03 13:20:41 -05:00
Matthew Brown	1c34dbe289	Fix erroneous treatment of finally blocks after return in try ... Fixes #473	2018-01-28 19:02:31 -05:00
Matt Brown	2120d258a4	Fix formatting of return type adder	2018-01-11 15:50:58 -05:00
Matt Brown	310f91ea81	Warn when methods with typehints don’t return for all codepaths	2018-01-02 16:57:40 -05:00
Matthew Brown	b8c349166e	Add InvalidCatch and InvalidThrow to prevent erroneous exceptions ... Fix #411 and fix #412	2017-12-28 20:40:28 +01:00
Matthew Brown	dd0f046aee	Fix #410 - make sure anything inside a catch statement is treated as Throwable (#413)	2017-12-28 01:49:36 +01:00