189 Commits

Author	SHA1	Message	Date
Brown	eb3ce8d368	Remove unused code	2020-07-06 15:39:52 -04:00
Brown	44d7f51857	Generalise init vars inside for loops ... Ref #3085	2020-07-03 11:13:44 -04:00
Brown	1745f5cafa	Fix too-long line	2020-07-02 15:32:13 -04:00
Brown	0c582e9993	Fix #3685 - improve handling of if conditionals inside do	2020-07-02 13:59:59 -04:00
Brown	dd25b81d3a	Fix #3670 - taint mixed foreach access	2020-06-24 19:16:30 -04:00
Brown	bbada7ba8d	Ensure correct vars are used	2020-06-15 17:16:12 -04:00
Brown	05cb39814c	Improve performance of long switch checks	2020-06-15 16:23:19 -04:00
Brown	9ca6c868b7	Fix #3563 - add workaround for == true	2020-06-12 10:58:44 -04:00
Matthew Brown	c9ee691595	Fix suppression	2020-06-04 09:55:32 -04:00
Brown	fd74d3284d	Add support for PHPParser 4.5.0	2020-06-03 14:58:08 -04:00
Brown	ef53ee3a3b	Fix crash on aliased exception ... Ref #3465	2020-05-27 08:09:58 -04:00
Brown	0b2da18f1e	Break up StatementsAnalyzer	2020-05-19 12:56:30 -04:00
Brown	5ee1487a01	Make ExpressionAnalyzer more beautiful	2020-05-18 15:13:27 -04:00
Matthew Brown	f6342a40d9	Remove unnecesary conditional check for do ... Fixes #3378	2020-05-16 16:32:36 -04:00
Brown	3554aa4435	Fix crash newly introduced	2020-05-11 09:34:07 -04:00
Brown	8f2f2617d4	Improve refactor	2020-05-10 22:45:01 -04:00
Brown	5f4d162dd5	Break out type expander into separate class	2020-05-10 22:39:18 -04:00
Matthew Brown	4b388a2951	Fix ref	2020-05-10 11:35:35 -04:00
Brown	55222573ea	Mark as possibly-undefined any variable that wasn’t present when the loop began ... Fixes #3332	2020-05-10 11:17:50 -04:00
Brown	9e6797d297	Add protection from ComplicatedExpression	2020-04-30 22:23:07 -04:00
Brown	189cd2bdc8	Fix key stringg	2020-04-27 00:50:07 -04:00
Brown	755ada9114	Fix #3234 - infer iterator key types properly	2020-04-27 00:41:34 -04:00
Brown	e1c6fcc707	Fix #3215 - suppress PossiblyUndefinedMethod in synthetic call	2020-04-24 00:11:32 -04:00
Brown	b0455adced	Fix #3177 - prevent crash by using inherited templates	2020-04-18 11:48:22 -04:00
Brown	e17cfd8dba	Fix #3125 - only apply clauses where applicable	2020-04-12 21:50:10 -04:00
Brown	d530fce4b3	Fall through with PossiblyInvalidIterator issue	2020-04-11 11:17:54 -04:00
Brown	556d5625b5	Prevent Throwable being intersected with itself	2020-04-10 00:10:31 -04:00
Brown	b2e010b431	Fix #3102 - identify issues with possibly-mixed output	2020-04-08 14:07:09 -04:00
Brown	550ba0a4c9	Compare to real outer context, not if one ... Fixes #3091	2020-04-07 15:13:17 -04:00
Brown	61c979136f	Fix #3091 - simplify elseif negated clauses where possible	2020-04-07 13:04:24 -04:00
Brown	067104e170	Fix #3084 - keep track of upper and lower bounds of inferred template types	2020-04-07 00:13:56 -04:00
Matthew Brown	b46e147735	Add some limits on switch case assertion calculation ... Ref #2728	2020-03-30 00:20:00 -04:00
Matthew Brown	86a89b2d27	Fix #3034 - expand out while expressions for more accurate variable initialisation	2020-03-28 18:22:08 -04:00
Matthew Brown	47c1470e3b	Refactor reference checks to use more appropriate properties	2020-03-28 16:30:56 -04:00
Tyson Andre	e560858b23	Fix grammar nit in "is can never happen" message (#3025) ... Should either be "is impossible" or "can never happen"	2020-03-27 17:32:49 -04:00
Brown	971ae50bea	Do prep work for #3024 - improve handling of absent class references	2020-03-26 12:35:27 -04:00
Matthew Brown	c85fa9083d	Fix #2915 - prevent "if (true)" and similar	2020-03-15 22:23:31 -04:00
Matthew Brown	b6380ae595	Fix false-positives around unevaluated code	2020-03-15 14:43:05 -04:00
Matthew Brown	6c7f89b0ab	Fix #2920 - track unevaluated code after nested returns	2020-03-15 14:31:41 -04:00
Matthew Brown	43189b3d55	Allow types to be traversed	2020-03-14 23:54:51 -04:00
Matthew Brown	54d38e562f	Fix #2970 - use correct unreferenced vars when analysing do	2020-03-13 11:41:17 -04:00
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
Matthew Brown	d3bfb96431	Fix #2808 - improve yield type discernment	2020-02-15 10:47:07 -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
Brown	53b0650c6c	Fix #2688 - foreach loop evaluation should allow changing loop var	2020-01-24 13:55:30 -05:00
Matthew Brown	1c8af2fdc7	Fix #2658 - catch exceptions thrown inside catch	2020-01-17 12:05:37 -05:00
Matthew Brown	4888ae67a6	Fix #2558 - remove wedge clauses when they’re the only thing left	2020-01-06 08:56:50 -05:00