100 Commits

Author	SHA1	Message	Date
Matthew Brown	9137727993	Fix #99 - treat null coalesce more respectfully	2017-02-17 20:50:47 -05:00
Matthew Brown	7cd1b27ff1	Add more support for logical and/or	2017-02-16 21:00:45 -05:00
Matthew Brown	2d58531631	Fix #98 - add support for logical and/or	2017-02-16 20:43:23 -05:00
Matthew Brown	500044dac1	Make sure $argv and $argc are not globally available	2017-02-12 22:12:31 -05:00
Matthew Brown	a87ea78efc	Fix variable-scoped byref issue	2017-02-12 19:07:25 -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
Matthew Brown	2635744f4e	Simplify array inferred type	2017-02-12 16:58:04 -05:00
Matthew Brown	8e7ab59e2b	Add return types for core vars	2017-02-12 12:22:39 -05:00
Matthew Brown	7876c7ffb9	Allow mixed to override null in byref assignment	2017-02-12 11:34:07 -05:00
Matthew Brown	bb9221ba01	Analyze die/exit expressions	2017-02-11 19:42:12 -05:00
Matthew Brown	f32fabd798	Remove dead code	2017-02-11 19:30:06 -05:00
Matthew Brown	35e4b380cc	Add collection of PossiblyNull* issues	2017-02-11 17:55:08 -05:00
Matthew Brown	dbddedb20b	Don’t create objectlike if we some properties are untyped	2017-02-10 23:35:34 -05:00
Matt Brown	32d85e20da	Remove unused vars	2017-02-10 19:10:13 -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	01beb97413	Fix #87 - array types from docblocks can be reasoned about safely	2017-02-03 22:07:14 -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	ff46487353	Be more discerning about unaryminus/plus inferred type	2017-01-25 21:50:34 -07:00
Matthew Brown	c14a19370f	Improve UnaryPlus/Minus still more	2017-01-25 20:23:06 -07:00
Matthew Brown	f03807e7b7	Fix unaryplus/minus type inference	2017-01-25 20:02:19 -07:00
Matthew Brown	0da9c10d36	Don’t complain when adding array and object-like array	2017-01-23 15:40:55 -07:00
Matt Brown	a67800cac7	Ignore cloning of mixed variables	2017-01-19 15:00:05 -05:00
Matthew Brown	9220b958eb	Fix phpcs errors	2017-01-16 19:06:39 -05:00
Matthew Brown	b3726c9de5	Use getcwd() for the project’s base, not the config file parent directory	2017-01-16 18:33:04 -05:00
Matthew Brown	e3a9cb98c3	Add extra issue for invalid clone and fix issue reporting;	2017-01-16 12:59:09 -05:00
Matthew Brown	5315fd15ad	Fix namespaced functions in regular use statements	2017-01-16 00:49:12 -05:00
Matthew Brown	ce89ac4986	Fix #50 - asserting about docblock types no longer causes error	2017-01-15 17:52:01 -05:00
Matthew Brown	faccc73dc1	Fix #52 by analysing non-main parts of issets	2017-01-15 13:58:20 -05:00
Matthew Brown	03141e41c2	Move string-stored types into named classes	2017-01-15 10:22:05 -05:00
Matt Brown	35c06261b9	Fix #38 - emit issue for non-array on right too	2017-01-13 13:09:52 -05:00
Matthew Brown	5f54a9571c	Fix deep project checks	2017-01-12 01:03:48 -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	0b3b3f01f3	Fix support for traits returning self	2016-12-31 11:49:04 -05:00
Matthew Brown	b068bd7858	Fix many bugs	2016-12-30 20:05:32 -05:00
Matthew Brown	21816723c7	Make config schema more relaxed about ordering and fix trait bugs	2016-12-30 01:51:29 -05:00
Matthew Brown	641ffc09c9	Add NullOperand issue for easy ignoring	2016-12-29 00:32:12 -05:00
Matthew Brown	18e7c65430	Emit more InvalidOperand issues	2016-12-29 00:14:06 -05:00
Matthew Brown	992e7ae256	Fix #1 - add in support for !==false-negating assertions in ifs	2016-12-28 16:39:05 -05:00
Matthew Brown	797875ba9a	Fix #10 - allow negated assignments	2016-12-28 16:29:50 -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	513fcea101	Only assign type when not null	2016-12-25 01:12:26 +00:00
Matthew Brown	c51d8f5220	Implement MixedOperand and InvalidOperand issues	2016-12-24 18:29:11 +00:00
Matthew Brown	c55870e26c	Allow generic TypeChecker::isContainedBy checks	2016-12-24 18:28:43 +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