773 Commits

Author	SHA1	Message	Date
orklah	1a1b88bb5e	add visibilities to constants (#4219)	2020-09-20 12:54:46 -04:00
orklah	a9a364e363	Misc improvements (#4216) ... * misc changes * fix CI	2020-09-20 08:55:28 -04:00
orklah	b19f0a7034	Remove empty() and use strict comparison when safe (#4211) ... * replace empty usage with stricter checks * use strict comparison when safe * replace is_null with === null for consistency	2020-09-19 18:26:51 -04:00
Brown	62d43817f6	Fix #4206 - add shortcut for if ((bool) $foo)	2020-09-19 18:15:12 -04:00
orklah	191495328a	Fix errors in return types (#4189) ... * FunctionLikeAnalyzer::verifyReturnType returns void * ArrayFunctionArgumentsAnalyzer::checkArgumentsMatch returns void * AssertionFinder::scrapeAssertions can't return null	2020-09-16 17:35:55 -04:00
orklah	da47588f91	replace return; by return null; in every non-void method, add return null; when mising, add return types, remove redundant phpdoc (#4176)	2020-09-13 16:39:06 -04:00
orklah	ead107fa9e	More return types (#4173) ... * add native return types * redundant phpdoc	2020-09-12 11:24:05 -04:00
Brown	eda426a594	Improve unique issue solution	2020-09-10 22:54:30 -04:00
Brown	9936419263	Fix casing	2020-09-08 09:11:47 -04:00
Brown	29efab5cc2	Fix #4154 - treat literal numeric strings as numeric	2020-09-07 23:29:46 -04:00
Brown	4ffdbe0a21	Fix some signatures	2020-09-07 16:00:27 -04:00
orklah	8c7423505a	add native param types (#4137) ... * add native param types * redundant phpdoc * add more param types and adds "?" to nullable types * remove redundant phpdoc * add more param types and remove redundant phpdoc * add more param types and remove redundant phpdoc	2020-09-06 19:36:47 -04:00
orklah	f66d57f19d	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2020-09-04 16:26:33 -04:00
orklah	73f6fcde48	Short list syntax (#4102) ... * Short list syntax * revert unrelated CS	2020-09-02 00:17:41 -04:00
Brown	40e88095d8	Fix #4093 - prevent redundant condition in presence of positive-int	2020-08-31 10:02:23 -04:00
Brown	5759c12fa9	Support mixed type natively	2020-08-30 13:38:03 -04:00
Brown	92239add4d	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
Brown	63b74276c6	Report use of impure closures	2020-08-28 13:01:14 -04:00
Brown	efe143a396	Fix #4077 - always track closure purity	2020-08-28 12:42:55 -04:00
Brown	e9adcb8d35	Simplify simplification	2020-08-26 16:51:55 -04:00
Saif Eddin G	5a20092fbd	add pure-callable type (#4066)	2020-08-26 16:51:22 -04:00
Brown	0f18f77d49	Fix too-long line	2020-08-26 16:27:35 -04:00
Brown	988e17f11d	Make clause fully immutable	2020-08-26 15:35:29 -04:00
Brown	8ad1c2eeb1	Use immutable data structures for clause calculations	2020-08-26 10:41:47 -04:00
Matthew Brown	ef0486ce35	Add some pure annotations	2020-08-23 13:52:31 -04:00
Matthew Brown	50cc3a8afa	Align paramter names	2020-08-09 23:19:59 -04:00
Brown	38bfc12b98	Fix array_shift behaviour to be more accurate with lists ... Fixes #3941	2020-08-05 12:43:37 -04:00
Brown	7fc4a85534	Fix CI	2020-08-03 02:45:55 -04:00
Brown	20a9b103ec	Restrict narrowing fix	2020-08-03 02:20:58 -04:00
Brown	b168777236	Fix #3924 - remove descendants after reconciled change	2020-08-03 02:06:42 -04:00
Brown	96ce488241	Generic key type cannot be undefined ... Fixes #3905	2020-07-29 18:46:21 -04:00
Brown	7367e8e6c2	Allow assertions of non-empty lists on typed lists ... Fixes #3906	2020-07-29 18:10:43 -04:00
Brown	1b81ce9921	Revert string changes	2020-07-26 19:55:49 -04:00
Brown	4a5f74c091	Add positive-int type	2020-07-26 15:51:55 -04:00
Brown	eaae243905	Fix #3857 - allow reconciliation on magic properties	2020-07-22 09:55:22 -04:00
Brown	7ef3d4711f	Fix some more tests	2020-07-21 23:16:56 -04:00
Brown	76bd5b6278	Refactor type comparison	2020-07-21 19:40:35 -04:00
Brown	2399643472	Fix #3811 - allow more complex negations inside boolean expressions	2020-07-13 21:31:58 -04:00
Matthew Brown	fab07c58bd	Add slash	2020-07-02 01:32:40 -04:00
Brown	ea82cdc6ea	Fix #3726 - infer generic template from class-string	2020-07-02 01:11:46 -04:00
Brown	bcd7478352	Reduce memory footprint a little	2020-06-25 19:12:30 -04:00
Brown	07f7e5ccaf	Reconciling should preserve taints ... Fixes #3680	2020-06-25 17:04:18 -04:00
Brown	7a7cd91c24	Fix #3631 - better treatment for assignments in complex conditionals	2020-06-24 13:16:52 -04:00
Brown	cbd7ba8ed8	Fix return type	2020-06-20 23:34:39 -04:00
Brown	10e4e9ac65	Fix #3617 - prevent crash when constant class doesn’t exist	2020-06-20 23:30:36 -04:00
Brown	137647a1a0	Fix #3603 - better typed value comparisons for loose equality	2020-06-18 09:31:38 -04:00
Matthew Brown	8da80870e3	Optimise check	2020-06-14 22:07:04 -04:00
Matthew Brown	9a5089cc7e	Wrap template as types for more explicit results ... Ref #3583	2020-06-14 21:47:23 -04:00
Matthew Brown	081a284759	Fix #3567 - remember which variables a callable sets byref in use	2020-06-14 11:58:50 -04:00
Brown	45ea5d0bfe	Add a couple more shortcuts for common pattern ... Fixes #3563	2020-06-12 11:18:34 -04:00