2097 Commits

Author	SHA1	Message	Date
Matt Brown	89cc63846f	Improve handling of autoloaded files ... Fixes #848	2018-06-29 15:28:45 -04:00
Matthew Brown	c1052c0a6a	Only create intersections for types that don’t contain each other	2018-06-29 00:49:46 -04:00
Matt Brown	5f251a9d88	Allow intersection creation of interface then class	2018-06-28 18:13:06 -04:00
Matt Brown	c872f9179e	Remove mixed in @method param types	2018-06-28 17:39:25 -04:00
Matt Brown	2fc816a6e1	Fix repeated use of spread operator	2018-06-28 17:05:50 -04:00
Matt Brown	376c3c54c0	Add better checks for array_reduce ... Fixes #846	2018-06-28 16:01:53 -04:00
Matthew Brown	ce1fda46a6	Fix hard-to-resolve constant values	2018-06-27 21:53:25 -04:00
Matt Brown	2c4b8e8ce3	Fix division-by-zero error ... Fixes #844	2018-06-27 13:41:50 -04:00
Matt Brown	192d7769bd	Fix #843 - make FilesystemIterator::current more general	2018-06-27 12:04:24 -04:00
Matt Brown	72b110af3f	Analyse RHS of instanceof expressions if expression	2018-06-27 10:07:40 -04:00
Matthew Brown	685ae67435	Fix #839 - check args for __call methods	2018-06-26 23:11:16 -04:00
Matthew Brown	5867ef45ff	Check method args even if the methods themselves cannot be checked	2018-06-25 19:38:15 -04:00
Matt Brown	ffda44c3ba	Fix #838 - check assertions, even outside conditionals	2018-06-25 18:02:05 -04:00
Matt Brown	f2d96eefe7	Fix #837 - detect issues with constants	2018-06-25 15:03:45 -04:00
François Kooman	83dd5a9418	fix return value of ldap_explode_dn (#835)	2018-06-25 14:53:09 -04:00
Matthew Brown	23e90edc50	Fix SplFixedArray::__construct first arg can be left out	2018-06-25 00:03:09 -04:00
Matthew Brown	e1d922e9df	Add support for ignoredExceptions	2018-06-22 01:26:10 -04:00
Matthew Brown	e3ae1bf26f	Fix #15 - check for uncaught throws if config flag is set	2018-06-22 01:13:49 -04:00
Matt Brown	dcc2c7671e	Fix callmap regressions cc @jaydiablo	2018-06-20 15:41:09 -04:00
Matt Brown	ae5ff1abad	Improve callmap from Phan thanks to @ondrejmirtes	2018-06-20 13:55:14 -04:00
Matt Brown	740279352e	Fix #830 - unpack template param args appropriately	2018-06-20 10:40:50 -04:00
Matthew Brown	4688cf7a92	Fix #831 - ignore falsable issues when getting callmap function params	2018-06-20 09:09:03 -04:00
Matt Brown	e10b2c0fd4	Fix #805 - allow dead code detection from methods just called internally	2018-06-19 16:14:51 -04:00
Matt Brown	f7845616b6	Allow SplFileObject::current to return false	2018-06-19 14:06:20 -04:00
Matt Brown	11240eb193	Fix #826 allow better template replacements	2018-06-19 13:19:41 -04:00
François Kooman	89f78befa7	glob can return false (#828)	2018-06-19 10:15:05 -04:00
Matt Brown	2be0f68d87	Add better checks on increment/decrement operators	2018-06-18 13:16:51 -04:00
Matt Brown	75e2be8aec	Fix #825 - ignore falsable issues on builtin *methods*	2018-06-18 10:07:05 -04:00
Matthew Brown	d4107f9e5e	Fix issue erasing nullability of boolean	2018-06-17 13:47:31 -04:00
Matthew Brown	2c245b0a08	Fix #823 - trigger redundant condition on impossible assertions	2018-06-17 13:20:37 -04:00
Matthew Brown	5ddd74e7d2	Catch unused foreach key when it’s already in scope	2018-06-17 00:52:32 -04:00
Matthew Brown	805bfa6f2d	Improve handling of switch statement assignments	2018-06-17 00:12:26 -04:00
Matthew Brown	89affb6c2c	Fix #822 - improve dead code detection on assignop expressions	2018-06-16 23:40:25 -04:00
Matthew Brown	fa51c39902	Improve dead code analysis of switch statements	2018-06-16 21:54:44 -04:00
Matthew Brown	f38da967dd	Fix a few issues with dead code detection	2018-06-16 21:14:19 -04:00
Matthew Brown	3670f066bb	Improve dead code detection	2018-06-16 20:01:41 -04:00
Matt Brown	3afd6053fd	Fix #819 - only add is_a assertion if static::class known	2018-06-15 10:51:30 -04:00
François Kooman	1d8799ce70	fix PDOStatement::fetchColumn, can also return false (#821)	2018-06-15 10:51:00 -04:00
Matt Brown	47a40b2ffc	Fix #817 - allow methods named "global" in @method annotations	2018-06-14 17:20:02 -04:00
Matt Brown	7fb4c4acad	Allow 0 in type	2018-06-14 15:58:49 -04:00
Matt Brown	d56dd6bed6	Fix #818 - prevent class of 0	2018-06-14 13:49:16 -04:00
Matthew Brown	dc02ca8a7a	Fix - #816 - check we’re not just replacing a key with itself	2018-06-13 08:38:07 -04:00
Matt Brown	45a94af015	Fix #814 - remove literal types when removing base key	2018-06-12 11:19:35 -04:00
Matthew Brown	3891b08fc2	Fix #812 - deal with errant colon without crashing	2018-06-12 09:11:13 -04:00
Matt Brown	54893fdd55	Fix #808 - detect badly-placed ampersand early	2018-06-11 17:23:28 -04:00
Matt Brown	6542a0a784	Fix #810 - convert void array map return to null	2018-06-11 17:00:26 -04:00
Matt Brown	d35a3996fa	Fix #811 - improve handling of closure vars	2018-06-11 16:54:20 -04:00
Matthew Brown	26fa003fe2	Revert "Convert mixed return types to empty string for compactness" ... This reverts commit 94ecbc113a to maintain compatibility with Phan cc @TysonAndre	2018-06-10 15:41:04 -04:00
Matthew Brown	58f16f0d58	Add changes from Phan	2018-06-10 11:31:59 -04:00
Matthew Brown	94ecbc113a	Convert mixed return types to empty string for compactness	2018-06-10 11:30:31 -04:00