39 Commits

Author	SHA1	Message	Date
Matthew Brown	bfb919d26a	Break out methods into their own classes	2020-03-11 23:04:52 -04:00
Sergey Melesh	a5da866d97	Ignore exceptions already caught by previous catch	2020-03-08 20:19:56 -05:00
Brown	f141f7c526	Improve --diff checks by including trait-using classes in dependents	2020-02-11 16:39:33 -05:00
Matthew Brown	5eb2ebc508	Add more type-system protections for bad array args	2020-01-29 23:41:17 -05:00
Brown	15808458cc	Better understand nesting loops and switches ... Fixes #2700	2020-01-27 12:17:12 -05:00
Matthew Brown	1c8af2fdc7	Fix #2658 - catch exceptions thrown inside catch	2020-01-17 12:05:37 -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
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -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	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
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
Brown	febd60dade	Add better handling of catch-reassigned vars ... Ref #2052	2019-08-26 11:41:15 -04:00
Matthew Brown	30ecde2272	Overwrite var when try exits	2019-07-07 14:00:49 -04:00
Matthew Brown	cd715a60fd	Fix #1909 - populate var scope if try always leaves	2019-07-07 13:52:43 -04:00
Tyson Andre	af52ad245a	Remove unused variables (#1898)	2019-07-04 15:17:28 -04:00
LeSuisse	f29826b958	Fully qualify constants and function calls (#1849) ... This should give a small performance boost. Part of #1837. The change is enforced via phpcs and can be autofixed with phpcbf.	2019-06-26 16:52:29 -04:00
Brown	ddd287fb3d	Move exception classes	2019-06-05 11:33:04 -04:00
Brown	2637156f45	Properly fix #1128 with additional check	2019-05-20 12:01:18 -04:00
Brown	83a2122f8c	Fix #1464 and fix #1128 - reduce try/catch UnusedVariable false positives	2019-05-20 11:54:21 -04:00
Matthew Brown	1c10ae11bf	Fix #1580 - look for no-returns in try/catch statements	2019-05-14 21:22:29 -04:00
Matthew Brown	a3a208a7c9	Remove unused variables	2019-05-12 23:13:27 -04:00
Brown	08bf101f48	Fix #1598, catching unused variables followed by try inside loop	2019-05-02 17:21:02 -04:00
bugreportuser	f5e03715f3	Fix memory leak	2019-04-02 23:36:55 -04:00
bugreportuser	4fc7e4affc	Give errors for all uncaught exceptions	2019-03-31 14:22:19 -04:00
bugreportuser	8b12751007	Keep track of throw code locations	2019-03-24 23:03:37 -04:00
Bruce Weirdan	8408effe57	Dropped unused uses	2019-02-17 13:17:45 -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	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	b32000fa05	Fix #689 - add checks for @internal annotations	2018-12-01 18:37:49 -05:00
Matthew Brown	4d79b61e93	Change _checker to _analyzer	2018-11-12 11:20:59 -05:00
Matthew Brown	4688b25fd9	Move internal classes to own namespace	2018-11-12 11:20:59 -05:00