169 Commits

Author	SHA1	Message	Date
Brown	43bbd739a2	Fix generic param fetches	2019-01-08 16:55:53 -05:00
Brown	73770c085e	Prevent crash when @template as type is missing	2019-01-08 15:11:57 -05:00
Brown	8e26d639de	Fix #1181 - improve handling of complicated conditionals	2019-01-08 12:33:44 -05:00
Matthew Brown	b6865b130b	Catch exception in more places	2019-01-08 09:57:14 -05:00
Matthew Brown	a89a201c71	Fix #1180 - array key maths was wrong	2019-01-08 09:56:54 -05:00
Matthew Brown	dfba6e0dec	Fix #1181 - prevent allowed memory errors with large conditionals	2019-01-08 09:19:33 -05:00
Matthew Brown	370874d9b6	Make diff map more verbose so it can serve as a list of safe zones ... Outside them all issues must be removed	2019-01-08 00:54:48 -05:00
Brown	be337a03cf	Simplify output of method call complaints	2019-01-07 16:38:37 -05:00
Brown	14f456e160	Fix #1176 - always evaluate assignments in unknown function calls	2019-01-07 12:24:44 -05:00
Brown	4d959626d5	Fix #1175 - support trait method visibility changes	2019-01-07 11:53:22 -05:00
Matthew Brown	bcbede07ba	Fix issue with do analysis while loops	2019-01-07 01:15:30 -05:00
Matthew Brown	5691c37ece	Use reflection to figure out where dupe function was defined	2019-01-06 17:24:46 -05:00
Matthew Brown	a6357b413c	Don’t complain when rescanning file with function in	2019-01-06 17:03:13 -05:00
Matthew Brown	214fd7d461	Add DuplicateFunction issue ... Fixes #49	2019-01-06 16:40:44 -05:00
Matthew Brown	43b4c1c0a3	Fix #1168 - better return type for range	2019-01-06 13:02:46 -05:00
Matthew Brown	9c9e57cf6b	Fix #1153 - ignore redundant conditions in finally block	2019-01-06 12:39:18 -05:00
Matthew Brown	b19dd25881	Fix #742 - infer template type from closure	2019-01-06 12:16:09 -05:00
Matthew Brown	cc26ce682e	Don’t crash when encountering empty @throws	2019-01-06 10:01:35 -05:00
Matthew Brown	90e1648d5b	Fix #979 - be more conservative about method_exists handling	2019-01-06 09:36:25 -05:00
Matthew Brown	8783a33a3f	Fix #1136 - support __halt_compiler	2019-01-06 09:18:41 -05:00
Matthew Brown	e3f2cee2d6	Fix thing that doesn’t work quite right	2019-01-05 17:10:29 -05:00
Matthew Brown	4d6031b39b	Fix #1172 - treat is_subclass_of similarly to is_a	2019-01-05 16:58:34 -05:00
Matthew Brown	3a405f4951	Remove public from const	2019-01-05 16:34:09 -05:00
Matthew Brown	c7723df8ff	Allow gettype vars to be compared to strings	2019-01-05 16:23:18 -05:00
Matthew Brown	9e2dacc9e4	Remove blank lines	2019-01-05 15:54:21 -05:00
Matthew Brown	355ed831e1	Add support for get_parent_class() with arg	2019-01-05 15:49:56 -05:00
Matthew Brown	58acaefe70	Add support for get_parent_class() with no args	2019-01-05 15:49:56 -05:00
Tyson Andre	d85c9d8aa2	Remove an unused closure use variable ... This looks like debugging code added in 37dedee7b6	2019-01-05 15:48:48 -05:00
Matthew Brown	8024b4e275	Add support for $a::class	2019-01-05 15:12:42 -05:00
Matthew Brown	f5378bdca8	Improve function call resolution	2019-01-05 14:50:11 -05:00
Matthew Brown	bf8f76671b	Don’t crash when suppressing UndefinedClass with bad params	2019-01-05 12:59:12 -05:00
Matthew Brown	6f1d56a80f	Upcast iterables to traversables when used in a templated class string	2019-01-05 10:32:39 -05:00
Matthew Brown	9f16ab9cb5	Fix issue where documented self param confuses	2019-01-05 08:45:12 -05:00
ADmad	407e4473f7	Improve callmap possibly false value. ... Similar to #1147.	2019-01-05 08:28:13 -05:00
Matthew Brown	9d8c2792e2	Add array-key type and improve general type handling ... Fixes #1144	2019-01-05 00:15:53 -05:00
Matthew Brown	2dc3d9651f	Separate iterable into its own type ... Fixes #1151	2019-01-04 14:54:40 -05:00
Matthew Brown	87052537cf	Fix #1167 - don’t worry about AbstractInstantiation when it could be a descendant	2019-01-04 12:28:00 -05:00
Matthew Brown	602d8a5ade	Fix issue inheriting grandparent signature	2019-01-04 08:37:54 -05:00
Matthew Brown	e5559e3012	Allow callables to be plain objects, and vice versa ... Previously Psalm required they be *known* objects	2019-01-04 08:04:26 -05:00
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