877 Commits

Author	SHA1	Message	Date
Matthew Brown	1a3129b0e0	Fix test condition	2020-02-22 10:53:30 -05:00
Matthew Brown	1c218c020e	Fix #1684 - detect error in assertion on return type of direct call	2020-02-22 10:41:57 -05:00
Matthew Brown	db17c85dd6	Fix #2787 - make accessing undefined objectlike key an error	2020-02-22 00:29:59 -05:00
Matthew Brown	4707b21227	Fix tests	2020-02-21 22:15:25 -05:00
Brown	7d99a15072	Fix #2805 - forbid passing in mutable class to mutation-free context	2020-02-21 18:25:35 -05:00
Matthew Brown	aea33824e6	Fix #1555 - allow phantom class constants	2020-02-18 19:46:05 -05:00
Brown	0e23fab5d2	Detect bugs similar to that which caused #2832	2020-02-18 12:53:54 -05:00
Brown	6e8088776d	Use better return type for SimpleXMLElement::offsetGet	2020-02-18 10:58:56 -05:00
Matthew Brown	ced092874a	Make config generation smarter	2020-02-17 22:05:58 -05:00
Matthew Brown	00afcda5e0	Fix #2824 - allow unpacking of non-arrays with template params	2020-02-17 19:54:11 -05:00
Matthew Brown	3feccc1f98	Fix tests	2020-02-14 22:24:39 -05:00
Matthew Brown	653353709a	Use MethodIdentifier object instead of string	2020-02-14 20:54:26 -05:00
Matthew Brown	422bd25f04	Maybe fix indentation	2020-02-13 19:33:47 -05:00
Matthew Brown	3efe271819	Remove blank line	2020-02-13 18:36:37 -05:00
Matthew Brown	95e1bc0c48	Fix line breaks	2020-02-13 18:32:40 -05:00
Brown	b87161785d	Be even more permissive	2020-02-13 17:58:15 -05:00
Brown	bc0ccbda99	Add better inference for lower-cased methods	2020-02-13 17:30:00 -05:00
Brown	1c42875179	Support lowercase-string and warn about unnecessary calls to strtolower	2020-02-13 16:38:58 -05:00
Philip Hofstetter	395cf587d3	add plugin hook to be called after every function call ... compared to AfterFunctionCallAnalysisInterface which gets only called after a call to a function declared within the project, a plugin implementing AfterEveryFunctionCallAnalysisInterface will get called for every function call, including calls of PHP builtins. On the other hand, this interface doesn't allow modification of the code nor tweaking the return type, but it's still useful for accounting purposes and for depreacting calls to PHP builtins this fixes #2804	2020-02-13 09:10:24 -05:00
Matthew Brown	7d88100ad3	Docblock-provided type is not inferred	2020-02-12 11:34:54 -05:00
Brown	f141f7c526	Improve --diff checks by including trait-using classes in dependents	2020-02-11 16:39:33 -05:00
Brown	89a0b101e4	Fix #2784 - no crash when get_class arg is mixed	2020-02-10 14:44:33 -05:00
Matthew Brown	3559fdd6b3	Fix #2742 - prevent paradoxes in assert calls	2020-02-09 11:42:41 -05:00
Matthew Brown	4de6f5c4ec	Fix #2442 - using asserting after a MixedAssignment removes that error	2020-02-08 23:01:45 -05:00
Matthew Brown	5f4d797fe1	Fix #2772 - add support for multiple array_map function param inference	2020-02-08 12:17:57 -05:00
Matthew Brown	966336a475	Improve byref array handling	2020-02-06 23:52:27 -05:00
Brown	d5f71bf529	Localise template checks to class being tested	2020-02-06 16:38:45 -05:00
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
Matthew Brown	93fc1b1cc7	Fix #2729 - allow mutation of otherwise-readonly properties	2020-02-02 15:35:12 -05:00
Matthew Brown	8d7fb2b415	Add config flag to support properties without a magic getter	2020-02-02 14:23:38 -05:00
Matthew Brown	43c7b00cd0	Fix #2734 - allow is_a to operate on templated class-strings	2020-02-02 12:26:28 -05:00
Matthew Brown	f0fc9cce5f	Fix missing param doc	2020-02-01 18:24:09 -05:00
Matthew Brown	d0b87b6cb0	Fix #2723 - use magic method return type where necessary	2020-02-01 18:21:32 -05:00
Brown	3b6f53a356	Revert "Fix #2724 - make sure behaviour is not dependent on array type" ... This reverts commit 1df03b0ff23400b2cbde3140e91fb6b0f8e480ab.	2020-01-31 17:25:15 -05:00
Brown	1df03b0ff2	Fix #2724 - make sure behaviour is not dependent on array type	2020-01-31 16:46:05 -05:00
Brown	66227f9b7f	Fix #2727 - callable arg checks should obey ignore_falsable_return	2020-01-31 13:58:56 -05:00
Brown	b46f219c51	Do better inference for array_map return type	2020-01-30 17:43:13 -05:00
Brown	9405314222	Always Be Cloning	2020-01-30 17:22:40 -05:00
Brown	216d9256a1	Allow templated array_map callable inference ... Fixes #2719	2020-01-30 17:13:46 -05:00
Matthew Brown	5eb2ebc508	Add more type-system protections for bad array args	2020-01-29 23:41:17 -05:00
Matthew Brown	933dff9e20	Fix #2712 - allow __toString to have more specific type	2020-01-29 22:28:40 -05:00
Matthew Brown	2aebc522f1	Fix #2705 - mark by-ref args as used if not variables already	2020-01-29 21:46:30 -05:00
Matthew Brown	5c3ec7a531	Fix #2696 - make sure static property references are prevented in pure functions	2020-01-27 22:55:20 -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