17 Commits

Author	SHA1	Message	Date
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