100 Commits

Author	SHA1	Message	Date
Brown	54efbbe831	Fix bad assertion	2020-02-06 16:32:26 -05:00
Brown	9af12932b5	Add slash	2020-02-06 15:09:34 -05:00
Brown	6116b457ed	Port over more fixes from template match refactor	2020-02-06 15:07:57 -05:00
Brown	c3a989f6a8	Fix bad var	2020-01-24 15:44:18 -05:00
Brown	c09f97ed6e	Fix #2691 - allow list to be a callable maybe	2020-01-24 15:09:06 -05:00
Brown	38e9e8ba87	Register methods as used	2020-01-24 14:53:32 -05:00
Brown	548c9f7e65	Remove unused var	2020-01-24 14:09:25 -05:00
Brown	9f077f5aec	Fix formatting	2020-01-24 14:08:01 -05:00
Brown	faf6afdce8	Support call_user_func evaluation ... Fixes #726	2020-01-24 13:34:50 -05:00
Brown	0ac20e76c4	Fix #2631 - evaluate purity of uasort closure	2020-01-23 13:49:15 -05:00
Brown	3fd70a9c88	Only set if non-null	2020-01-14 17:03:58 -05:00
Brown	adc658901a	Improve inference of constant() calls	2020-01-14 16:56:09 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Brown	ca1e65b29b	Handle iterators better	2020-01-02 10:41:43 -05:00
Matthew Brown	19faa31865	Allow assertions on nested properties	2019-12-30 10:01:31 -05:00
Matthew Brown	2b88261ecd	Fix templated assertion cc @vasily-kartashov ... This is a good reason for you to skip 3.8.1	2019-12-29 11:57:54 -05:00
Matthew Brown	55c2f7faa2	Fix #2508 - don’t replace templated types with generic ones inside own function	2019-12-28 18:38:02 -05:00
Matthew Brown	ce9435da19	Fix #2521 - use correct context class when analysing trait	2019-12-28 15:56:26 -05:00
Matthew Brown	946b4f73e6	Fix #2493 - don’t crash when provided function doesn’t exist	2019-12-21 00:34:31 +00:00
Matthew Brown	9d8ca08fb9	Fix #2479 - analyse undefined function arguments too	2019-12-18 16:37:48 +00:00
Matthew Brown	c7a3ba9e4a	Refine callable type	2019-12-14 10:47:20 -05:00
Brown	4b715cdbff	Fix #2456 - ignore UnusedFunctionCall when function asserts	2019-12-11 10:13:22 -05:00
Matthew Brown	02fbf12337	Only warn about clauses in the currently-scanned conditional	2019-12-08 16:35:56 -05:00
Matthew Brown	3c52102388	Fix #2438 - improve handling of get_class calls	2019-12-07 14:03:20 -05:00
Matthew Brown	df395944f8	Change how $changed_var_ids is communicated	2019-12-07 01:23:35 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	5e17a9af10	Fix #2348 - ensure all functions and methods return some type	2019-11-14 14:44:29 -05:00
Brown	3d7b34e7f6	Fix #2273 - ensure all template params are bound	2019-11-07 11:03:41 -05:00
Matthew Brown	8f421dc0bb	Refactor template calculation out from Psalm\Type\Union	2019-11-03 21:27:40 -05:00
Matthew Brown	0a35c9cd6a	Remove unnecessary computation	2019-10-19 23:03:59 -04:00
Brown	5e649f684c	Fix erroneous return type resolution	2019-10-14 17:10:30 -04:00
Matthew Brown	14adc9b491	Fix phpcs	2019-09-29 16:04:32 -04:00
Matthew Brown	4ec22cffca	Fix #2184 - execute __invoke methods explicitly	2019-09-29 16:01:33 -04:00
Brown	a6baa2d04c	Allow callables to be understood as pure ... Fixes #2112	2019-09-09 12:11:04 -04:00
Matthew Brown	a032978a85	Use a better check for functional purity	2019-09-08 11:49:14 -04:00
lhchavez	ae2c6715a7	Allow @psalm-assert to propagate member assertions to the caller's context (#2100) ... This change injects method call assertions that involve member variables to the caller context by replacing `$this->` with the lhs of the member call. Fixes: #2099	2019-09-05 21:00:02 -04:00
Matthew Brown	cfdfb9b64c	Allow pure functions/methods to be called and not destroy known properties	2019-08-31 14:54:59 -04:00
Matthew Brown	f096c3d29c	Don’t identify impurity when checking property initialisation	2019-08-31 09:07:00 -04:00
Matthew Brown	bbde2d6239	Add support for @psalm-external-mutation-free	2019-08-30 17:26:55 -04:00
Brown	b7b4baff8f	Add support for @immutable ... Fixes #1272	2019-08-30 12:36:35 -04:00
Matthew Brown	738ba81185	Fix #2046 - trigger PossiblyNullArgument when in union with mixed	2019-08-22 23:26:04 -04:00
Matthew Brown	5a1604d088	Fix #2047 - left side of callable is a thing that is also kinda called	2019-08-22 22:06:22 -04:00
Matthew Brown	920c2d83c3	Use types for method_exists checks in some places	2019-08-18 22:27:19 -04:00
Matthew Brown	ac7354605a	Fix bad Psalm issue	2019-08-16 23:33:28 -04:00
Matthew Brown	9c616aa5c6	Remove pure function calls when removing unused variables	2019-08-16 23:19:52 -04:00
Brown	b5614d03f8	Add detection for unused function calls	2019-08-13 13:15:23 -04:00
Matthew Brown	d5b026839c	Add support for different taint types ref #1990	2019-08-12 23:16:05 -04:00
Brown	955899ade0	Builtin functions are assumed to be pure	2019-08-07 15:21:15 -04:00
Tyson Andre	5d5a9c6eac	Remove redundant casts and unused use statements (#1955) ... * Remove redundant casts (not sure about older versions of php-parser) * Remove unused use statements	2019-07-18 23:37:36 -04:00
Matthew Brown	0e6bd79a09	Allow completion from functions to work without namespacing cc @iluuu1994	2019-07-18 21:50:59 -04:00