16 Commits

Author	SHA1	Message	Date
Brown	44d7f51857	Generalise init vars inside for loops ... Ref #3085	2020-07-03 11:13:44 -04:00
Matthew Brown	47c1470e3b	Refactor reference checks to use more appropriate properties	2020-03-28 16:30:56 -04:00
Brown	15808458cc	Better understand nesting loops and switches ... Fixes #2700	2020-01-27 12:17:12 -05:00
Matthew Brown	8ecb8555e2	Fix count	2020-01-04 13:12:22 -05:00
Matthew Brown	37fb15250c	Add check for only simplest conditionals	2020-01-04 13:09:55 -05:00
Matthew Brown	8cbc26c2f1	Add range checks to identify for loops that always enter	2020-01-04 13:05:23 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Matthew Brown	ba6d0df048	Fix #2546 properly	2020-01-04 11:16:53 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05: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	8c653b0312	Improve dead code detection a little more	2019-05-20 18:25:11 -04:00
bugreportuser	4fc7e4affc	Give errors for all uncaught exceptions	2019-03-31 14:22:19 -04:00
Matthew Brown	b32000fa05	Fix #689 - add checks for @internal annotations	2018-12-01 18:37:49 -05:00
Matthew Brown	37dedee7b6	Fix memory leak issues and disable garbage collection	2018-11-18 11:39:14 -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