356 Commits

Author	SHA1	Message	Date
Matthew Brown	c663062816	Add PossiblyUndefinedArgument issue to cope with #126	2017-04-08 09:28:02 -04:00
Matthew Brown	7d17a07cd2	Fix #125 - allow abstract classes to reference methods only defined in interfaces	2017-04-07 19:16:25 -04:00
Matt Brown	f011197090	Fix #124 - don’t check array_filter closures when >2 args passed	2017-04-07 18:30:15 -04:00
Matthew Brown	40427839ea	Get all variables possibly assigned in conditional	2017-04-06 22:56:37 -04:00
Matthew Brown	20b0460a33	Fix #123 - ternary byref vars now adjusted	2017-04-06 21:53:29 -04:00
Matt Brown	c09b0e459a	Make is_numeric a proper type refinement	2017-04-06 18:06:24 -04:00
Matt Brown	e7aec27eae	Prevent emitting issues when comparing mixed values	2017-04-06 17:40:15 -04:00
Matt Brown	da19b55db1	Add special TypeDoesNotContainNull issue as distinct from TypeDoesNotContainType	2017-04-06 15:36:22 -04:00
Matt Brown	14bb967c7d	Warn when doing === comparisons on incompatible types	2017-04-06 14:53:45 -04:00
Matthew Brown	a63602ce45	change to trigger travis	2017-04-03 13:35:04 -04:00
Matthew Brown	89bf409537	Cast phpversion to string	2017-04-03 13:09:02 -04:00
Matthew Brown	431de10c5c	Prevent array_filter test running on HHVM	2017-04-03 12:53:10 -04:00
Matt Brown	fe43c4e37f	Fix #122 - allow multiple types of filtering	2017-04-03 12:36:49 -04:00
Matthew Brown	ce5b35169b	Treat empty & !empty as special straddling types	2017-04-02 19:06:18 -04:00
Matthew Brown	a8220ba4f1	Fix bug where empty string could confuse	2017-04-02 18:28:06 -04:00
Matthew Brown	075cc5f50d	Add by-reference clause removal	2017-04-02 17:37:56 -04:00
Matthew Brown	dcedd65215	Add check for paradoxical statements	2017-04-02 15:26:10 -04:00
Matthew Brown	83edf8c4db	Complete the circle – fix remaining type algebra issue	2017-04-01 19:04:49 -04:00
Matt Brown	a4be86865d	Skip Throwable in PHP < 7	2017-03-30 12:12:46 -04:00
Matt Brown	d06a199d25	Fix #121 - simplify all parameter types	2017-03-30 11:44:38 -04:00
Matthew Brown	a89018d9ae	Only warn about issues in files that we’re trying to scan	2017-03-24 18:34:46 -04:00
Matthew Brown	7ed188fa52	Add support for conditional stubbed functions	2017-03-19 15:41:24 -04:00
Matthew Brown	cbd7a4520c	Add support for namespaced function definitions	2017-03-19 15:37:07 -04:00
Matthew Brown	f096468536	Don’t forget where a type came from when combining	2017-03-19 14:39:05 -04:00
Matthew Brown	3452c7853f	Add support for capturing clauses from elseifs	2017-03-18 14:04:26 -04:00
Matthew Brown	469cee1b80	Add a bunch of elseif tests to fix	2017-03-18 13:37:13 -04:00
Matthew Brown	c33e66813a	Move type algebra functionality to separate checker	2017-03-18 13:37:00 -04:00
Matthew Brown	e687887ba3	Emit an InvalidReturnType when it should contain null, and introduct LessSpecificReturnType	2017-03-18 12:18:17 -04:00
Matthew Brown	9edae64ee2	Add a few more edge-casey tests	2017-03-18 01:34:29 -04:00
Matt Brown	30e8e1880d	Add another easy calculation of clauses	2017-03-16 14:45:45 -04:00
Matt Brown	cecfe25df7	Update outer clauses in mic drop situation	2017-03-16 11:46:07 -04:00
Matt Brown	04363237c5	Fix #116 - be more lenient with static vars	2017-03-15 15:21:00 -04:00
Matt Brown	7fad81edac	Fix issue with unset var in loop	2017-03-15 11:38:23 -04:00
Matthew Brown	c0a646bbc5	Add test for tail-set var	2017-03-14 20:16:41 -04:00
Matthew Brown	6cfe540c98	Fix issue evaluating elseif empty assertions	2017-03-14 15:48:52 -04:00
Matthew Brown	9dd94d099f	Fix issue with possibly-redefined switch vars	2017-03-14 02:00:38 -04:00
Matthew Brown	50b629e88e	Update context types after switch statement without default case	2017-03-13 21:17:21 -04:00
Matt Brown	b3bb8b72cc	Add additional tests	2017-03-13 18:07:36 -04:00
Matt Brown	20791bfae6	Add third loop test	2017-03-13 11:53:16 -04:00
Matt Brown	7a652ee4bf	Add tests for things we do not want to emit errors	2017-03-13 11:22:42 -04:00
Matthew Brown	a7da88bad3	Improve solution to allow for more user errors	2017-03-11 12:32:27 -05:00
Matthew Brown	39b9afcdac	Fix issue running isset after empty array check	2017-03-11 12:05:23 -05:00
Matthew Brown	048d7f0142	Fix #110 - failure to eliminate false from array|false on isset	2017-03-05 23:47:53 -05:00
Matt Brown	f9f38f283e	Emit issue when property type is not defined	2017-03-02 12:19:18 -05:00
Matt Brown	864d242f13	Improve labelling of referencing expressions	2017-03-01 11:56:36 -05:00
Matt Brown	7baf942eaa	Prevent false positives after extract call	2017-02-27 10:52:43 -05:00
Matthew Brown	cd5f727d2e	Collect explicit references to classes/methods	2017-02-26 23:09:18 -05:00
Matt Brown	182f715b62	Add dead code detection for possibly unused public methods	2017-02-23 19:52:23 -05:00
Matt Brown	0049e4deb4	Fix #105 and also the issues found in its wake	2017-02-23 19:36:51 -05:00
Matthew Brown	fa3b292fd4	Fix #101 - restrict the values of pass-by-ref variables	2017-02-23 00:25:28 -05:00