736 Commits

Author	SHA1	Message	Date
Matthew Brown	ed4f4e35b8	Fix null checks	2020-02-23 18:20:59 -05:00
Matthew Brown	41e076e0ee	Fix bad	2020-02-23 18:19:53 -05:00
Matthew Brown	618ae77846	Prevent implicit __toString method calls in a pure context	2020-02-23 18:18:25 -05:00
Matthew Brown	1abece4f7c	Use more accurate types	2020-02-23 17:03:27 -05:00
Matthew Brown	b01bc9ab12	Fix union-of-mixed array key creation	2020-02-22 21:13:14 -05:00
Matthew Brown	4dae5b3190	Prevent more mixed array keys	2020-02-22 20:52:39 -05:00
Matthew Brown	27fd76649c	Prevent more array<mixed, ...> construction	2020-02-22 12:20:03 -05:00
Matthew Brown	6ad3d039df	Prevent more array<mixed,...> creation	2020-02-22 12:12:40 -05:00
Matthew Brown	952045e2ba	Fix return type checks	2020-02-22 11:28:24 -05:00
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 1df03b0ff2.	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