130 Commits

Author	SHA1	Message	Date
Brown	53749bd5c5	Do better at finding things that exit	2019-01-02 18:14:47 -05:00
Brown	cca0070d38	Allow function calls that exit to act themselves like exit	2019-01-02 17:16:04 -05:00
Brown	2b4b55fd33	Add support for @return no-return ... Fixes #1155	2019-01-02 17:05:39 -05:00
Brown	c39446330e	Make class-string rules more strict	2019-01-02 14:24:45 -05:00
Brown	9fdf29c468	Fix #1165 - default inherited unresolved constants to mixed	2019-01-02 13:46:46 -05:00
Matthew Brown	6fc79e3534	Fix Psalm issues	2019-01-02 13:27:53 -05:00
Matthew Brown	93e3d66ce5	Move filter_var handler function into its own method	2019-01-02 13:27:53 -05:00
Andrii	36f6930e0c	🐛 #1163 Fix handling for default option in filter_var	2019-01-02 13:27:53 -05:00
Brown	69d9fd7e28	Fix regression when reasoning about class strings	2019-01-02 11:35:49 -05:00
Brown	1d300ec342	Fix #1150	2019-01-02 11:18:22 -05:00
Matthew Brown	c4d024a72d	Check variable static calls ... Fixes #1142 and #1160	2019-01-02 09:00:45 -05:00
Matthew Brown	df9ea9e3b6	Potential fix for #1156	2019-01-02 08:03:24 -05:00
Matthew Brown	901596281c	Fix #1143 - check some variable new calls	2019-01-02 06:58:49 -05:00
Matthew Brown	6fbf395f70	Fix #1152 - don’t complain about trait class-string comparisons	2019-01-01 21:00:34 -05:00
Matthew Brown	0f6ce983f4	Fix #1154 - parent::foo() calls should not cause exception when parent does not exist	2018-12-30 18:28:15 +01:00
Matthew Brown	571c1d7413	Improve callmap possibly false value ... Fixes #1147	2018-12-26 11:25:10 +01:00
Matthew Brown	e844fb6491	Add wider return type to Exception::getCode and Throwable::getCode ... Fixes #1148	2018-12-26 11:21:56 +01:00
Matthew Brown	10a36def96	Fix issue with by-ref args	2018-12-21 13:53:22 -05:00
Matthew Brown	fab4d135b2	Fix static calls on class_aliased classes	2018-12-21 11:39:28 -05:00
Matthew Brown	947e3bf0f1	Fix crashes when analysing aliased class instances	2018-12-21 11:32:44 -05:00
Matthew Brown	e89425ad68	Inherit parameters via @inheritdoc	2018-12-21 11:01:24 -05:00
Matthew Brown	e744e71946	Fix class_alias treatment for interfaces and others	2018-12-21 09:29:23 -05:00
Matthew Brown	02003d9996	Understand class_alias calls better ... Ref #1135	2018-12-21 01:21:00 -05:00
Brown	974476dc87	Fix var used to assert length	2018-12-20 17:34:56 -05:00
Brown	abdf646050	Only diff files if lengths are not very different	2018-12-20 17:33:35 -05:00
Brown	2e30d7b4a0	Improve handling of unset	2018-12-20 16:03:21 -05:00
Matthew Brown	c3a1e77a53	Fix errors in doctrine/dbal	2018-12-20 01:06:43 -05:00
Brown	09ea7ba7a8	Allow combination of mixed-from-isset and empty	2018-12-19 19:43:07 -05:00
Brown	fb848d62e9	Add checks for if (count($a)) and if (count($a) [operator] [number])	2018-12-19 16:15:19 -05:00
Brown	8e5e3564bc	Fix erroneous redundant condition warning	2018-12-19 16:10:09 -05:00
Matthew Brown	ea89a6ba29	Revert "First pass" ... This reverts commit 9ed047234f.	2018-12-19 08:45:14 -05:00
Matthew Brown	9ed047234f	First pass	2018-12-19 01:59:14 -05:00
Matthew Brown	13e14b3162	Remove code that was breaking things	2018-12-19 00:28:11 -05:00
Dave Liddament	0655e1c19c	UPDATE add issue type to text output ... Adds issue type to text output. Leaves .emacs output as before.	2018-12-18 17:25:28 -05:00
Matthew Brown	ca6149ed17	Improve treatment of templated params within function analysis	2018-12-17 23:29:27 -05:00
Brown	7b03e0159c	Prevent invalid static invocation ... Fixes #1134	2018-12-17 17:48:13 -05:00
Brown	ca1a615026	Don’t call reconciliation on empty vars	2018-12-17 15:23:56 -05:00
Brown	699d763cc1	Make isset($a[foo]) imply $a is not a string	2018-12-14 18:52:29 -05:00
Brown	b7d4db892c	Fix #1130 - improve handling of invalid array offsets	2018-12-14 15:10:10 -05:00
Brown	15320430db	Don’t combine empty array with mixed ... Ref #1126	2018-12-14 12:30:13 -05:00
Brown	7855683271	Convert @return Promise<...> to @psalm-return Promise<...>	2018-12-14 10:27:39 -05:00
Brown	341cb0c82c	Fix #1125 - check protected method overridden ids for use	2018-12-13 17:20:29 -05:00
Matthew Brown	fa9a04369b	Don’t propagate internal to methods/properties of traits and interfaces	2018-12-13 09:28:30 -05:00
Matthew Brown	a8851ff425	Improve handling of T::class when mixed is passed	2018-12-13 01:54:15 -05:00
Matthew Brown	8b5e8402a1	Add support for @param T:class $foo	2018-12-13 00:09:01 -05:00
Matthew Brown	4b9ea5472d	Fix #1117 - enforce argument counts on interface __constructors	2018-12-12 22:35:27 -05:00
Brown	970ea48b25	Fix checks around array empty checks	2018-12-11 13:50:26 -05:00
Matthew Brown	b052e211a0	Improve internal typing for sabre/event promises	2018-12-10 23:18:53 -05:00
Brown	d9945a0ced	Fix issue re-asserting non-empty-mixed	2018-12-10 18:33:26 -05:00
Brown	fb19e510a7	Allow calls on non-empty-mixed too	2018-12-10 11:36:00 -05:00