56 Commits

Author	SHA1	Message	Date
Matt Brown	a56456a719	Add merging of vars_possibly_in_scope back	2017-02-21 17:41:54 -05:00
Matt Brown	fa35c0efa9	Remove changed vars from clauses in while loop to prevent re-application of logic	2017-02-21 17:19:15 -05:00
Matt Brown	2c7ffb6f4c	Add support for negating some while assertions	2017-02-21 16:52:27 -05:00
Matthew Brown	7cd1b27ff1	Add more support for logical and/or	2017-02-16 21:00:45 -05:00
Matthew Brown	a4323359d3	Fix ternary/which/for conditionals	2017-02-12 18:47:02 -05:00
Matthew Brown	81e24de76f	Fix invalid NullPropertyFetch warning	2017-02-12 18:06:18 -05:00
Matt Brown	32d85e20da	Remove unused vars	2017-02-10 19:10:13 -05:00
Matt Brown	2c1622e7de	Find more unreferenced variables by ignoring mass context ops	2017-02-10 19:08:55 -05:00
Matt Brown	c0a6fc9125	Fix #90 - add genericised stubs for common array functions	2017-02-10 18:12:59 -05:00
Matthew Brown	cdcacc395d	Rename DeadCode to UnusedVariable, UnusedMethod and UnusedClass	2017-02-08 00:28:26 -05:00
Matt Brown	f4857eb0dd	Make dead code check emit an issue	2017-02-07 18:18:33 -05:00
Matt Brown	6b2bb7d917	Store first code location for all variables in a statement list	2017-02-07 18:09:12 -05:00
Matthew Brown	0fbf8b5619	Remove more dead code	2017-02-02 00:45:23 -05:00
Matthew Brown	d3abc0011d	Fix #80 - add dead code checks via command line	2017-01-31 23:24:33 -05:00
Matthew Brown	7f8a3d798e	Improve clause resolution in while loops	2017-01-31 01:30:11 -05:00
Matthew Brown	965a79251d	Fix #82 by updating how isset calls are handled	2017-01-31 00:34:06 -05:00
Matthew Brown	7d912fc214	Remove vars when they’ve been changed	2017-01-30 22:26:41 -05:00
Matt Brown	a2750a92aa	Evaluate loop part of for after body	2017-01-18 17:13:20 -05:00
Matthew Brown	03141e41c2	Move string-stored types into named classes	2017-01-15 10:22:05 -05:00
Matthew Brown	bf76843d94	Fix foreach dependency errors	2017-01-09 00:58:05 -05:00
Matthew Brown	17329015dc	Discriminate between checking, visiting and analyzing in method names	2017-01-07 15:09:47 -05:00
Matthew Brown	694da2cabd	Simplify a lot of APIs	2017-01-07 14:35:07 -05:00
Matthew Brown	7609ca02c0	Fix #32 by evaluating all class references in files lazily	2017-01-04 23:42:58 -05:00
Matthew Brown	641ffc09c9	Add NullOperand issue for easy ignoring	2016-12-29 00:32:12 -05:00
Matthew Brown	b6455a2566	Improve how we disable clauses	2016-12-28 18:55:16 -05:00
Matthew Brown	63a75108f5	Evaluate more expressions up front	2016-12-28 17:04:03 -05:00
Matthew Brown	797875ba9a	Fix #10 - allow negated assignments	2016-12-28 16:29:50 -05:00
Matthew Brown	ea30af8a5a	Move assertion checks into separate file	2016-12-28 15:52:44 -05:00
Matthew Brown	4919252260	Fix leaking ref in SwitchChecker	2016-12-28 14:38:16 -05:00
Matthew Brown	6972c45c14	Remove vars from parent clauses when they are reconciled with vars	2016-12-28 14:20:16 -05:00
Matthew Brown	05834a0db3	Fix #13 by revamping how we treat type assertions in if statements and ternary expressions	2016-12-28 13:12:06 -05:00
Matthew Brown	1fe0eee8e4	Add generic type coercion checks	2016-12-25 01:08:58 +00:00
Matthew Brown	9746c8972f	Fix MixedAssignment errors	2016-12-17 00:48:31 -05:00
Matthew Brown	592ee98efc	Fix bugs discovered by adding more tests	2016-12-11 23:40:46 -05:00
Matthew Brown	1e8f986d8c	Narrow down error lines for reconcileKeyedTypes	2016-12-11 13:59:36 -05:00
Matthew Brown	562f71b21f	Add TypeDoesNotContainType issue and fix those issues in Psalm code	2016-12-11 13:48:11 -05:00
Matt Brown	e6ff24b8d2	Fix assignment in elseif	2016-12-09 12:06:14 -05:00
Matt Brown	260a6d4df5	Make class errors more specific	2016-12-08 17:15:51 -05:00
Matt Brown	55a060b53a	Add support for closure checks	2016-12-07 14:13:39 -05:00
Matt Brown	48e19fc7e5	Add support for closure docblocks	2016-12-06 19:41:52 -05:00
Matthew Brown	ef1049224d	Add selection of return types in code preview	2016-12-06 16:33:47 -05:00
Matthew Brown	03d8a4ab0b	Add support for array destructuring with keys	2016-12-04 14:14:00 -05:00
Matthew Brown	b912dd2777	Add support for array destructuring	2016-12-04 13:35:38 -05:00
Matthew Brown	0675e3364a	Fix PHPParser 3.0.1 compatibility issues	2016-12-03 22:41:45 -05:00
Matthew Brown	a1acbfec07	Show code snippets when reporting errors ... This also introduces a new method of identifying specific code locations when creating issues	2016-12-03 19:11:30 -05:00
Matthew Brown	87bb4a2f52	Fix various issues with docblock updates	2016-11-13 01:43:51 -05:00
Matthew Brown	05ae7905d9	Refactor IfChecker to break apart massive method	2016-11-11 17:13:30 -05:00
Matthew Brown	264e77addd	Change a few more words	2016-11-07 19:16:51 -05:00
Matthew Brown	36fc49965b	Correct speling	2016-11-07 17:31:02 -05:00
Matthew Brown	622a0794c3	Swap in Fully-Qualified for Absolute terms	2016-11-07 17:29:51 -05:00