6484 Commits

Author	SHA1	Message	Date
Matt Brown	1780541501	Ref #4753 - allow int literals to inform key type	2021-01-29 11:47:12 +01:00
Matt Brown	a20db1ce34	Fix #4751 - allow MethodSignatureMismatch to be overridable when info comes from docblock	2021-01-29 11:47:12 +01:00
Matt Brown	c54416090f	Don’t suggest a potential value that’s undefined ... Fixes #4754	2021-01-29 11:47:12 +01:00
Matt Brown	ace372bfb4	Fix #4752 - add property base assertions too	2021-01-29 11:47:12 +01:00
Matt Brown	1754c2615d	Break out method	2021-01-29 11:47:11 +01:00
Matt Brown	a93eb0eab4	Avoid false-positives while analysing memoised coalesce	2021-01-29 11:47:11 +01:00
Matt Brown	fd7afc9c40	Memoize coalesce expression in more scenarios	2021-01-29 11:47:11 +01:00
Matt Brown	7cc0f65f11	Don’t do new isset conversion on try-set vars	2021-01-29 11:47:11 +01:00
Matt Brown	0aeb0ef990	Fix loading imported functions	2021-01-29 11:47:11 +01:00
Matt Brown	b1996262ba	Ensure that strict empty handling always happens	2021-01-29 11:47:11 +01:00
Matt Brown	2d1222ddec	Fix assertions on unions	2021-01-29 11:47:11 +01:00
Matt Brown	d6b98f2afe	Fix null array access complaints	2021-01-29 11:47:11 +01:00
Matt Brown	04486ebdc0	Fix a few issues	2021-01-29 11:47:10 +01:00
Matt Brown	06d69ba5f3	Break out RedundantCast issues	2021-01-29 11:47:10 +01:00
Matt Brown	2a30e49d88	Use fallback assignment type when the property doesn’t exist on the class	2021-01-29 11:47:10 +01:00
Matt Brown	71b291caac	Fix typos caused by Macbook Pro’s bad keyboard	2021-01-29 11:47:10 +01:00
orklah	feeaaeb03c	handle return flag for a try/catch/finally (#4746) ... * handle return flag for a try/catch/finally * add tests for psalter	2021-01-29 11:47:10 +01:00
Matt Brown	7206db2cb6	Fix #4705 - clear documenting method ids when scanning stubs	2021-01-29 11:47:10 +01:00
Matt Brown	17c9f5c746	Fix nullref	2021-01-29 11:47:09 +01:00
Matt Brown	024bbef5cd	Fix #4743 - simplify assertions generated from array_key_exists check	2021-01-29 11:47:09 +01:00
Matt Brown	c6577751da	Break up AssignmentAnalyzer::analyze	2021-01-29 11:47:09 +01:00
Matt Brown	5f77833ee1	Break apart method as much as possible	2021-01-29 11:47:09 +01:00
Matt Brown	6b2043fad5	Fix lint	2021-01-29 11:47:09 +01:00
Matt Brown	74c36ad63c	Break apart NewAnalyzer::analyze ... Ref #4714	2021-01-29 11:47:09 +01:00
Matt Brown	36317325d1	Break apart ArrayAssignmentAnalyzer::updateArrayType ... Ref #4714	2021-01-29 11:47:09 +01:00
Matt Brown	850a540322	Break apart InstancePropertyAssignmentAnalyzer ... Ref #4714	2021-01-29 11:47:08 +01:00
orklah	edb6343fce	Remove fixable flag for Complexity issues (#4742)	2021-01-29 11:47:08 +01:00
Matt Brown	9ce2aeab43	Actually not a bug	2021-01-29 11:47:08 +01:00
Matt Brown	7d7aad4ac8	Fix typo	2021-01-29 11:47:08 +01:00
Matt Brown	6ea8ab7612	Break up AssertionFinder methods ... Ref #4714	2021-01-29 11:47:08 +01:00
Matt Brown	9c0185a913	Simplify getting type from tree ... Ref #4714	2021-01-29 11:47:07 +01:00
orklah	5f9aff5734	support shift and bitwise operations in constants (#4740)	2021-01-29 11:47:07 +01:00
orklah	08d9246b9a	improve Atomic Types documentation (#4735) ... * improve Atomic Types documentation * add doc * add doc	2021-01-29 11:47:07 +01:00
orklah	4ded1080e3	Check from_docblock property to emit the right issue (#4736)	2021-01-29 11:47:06 +01:00
Matt Brown	9789b53617	Fix #4731 - expand out class-bound generic types when evaluating instance method	2021-01-29 11:47:06 +01:00
Matt Brown	1f8e80e820	Add some documentation for template_types	2021-01-29 11:47:06 +01:00
Matt Brown	8c33bedfca	Fix #4733 - don’t replace template types when they’re defined on the same class	2021-01-29 11:47:06 +01:00
Matt Brown	fb474c2e07	Expand out constants in param types earlier	2021-01-29 11:47:06 +01:00
Matt Brown	82f1fe61e5	Fix check	2021-01-29 11:47:06 +01:00
Matt Brown	ad5ec9501d	Ensure class template types are mapped to static methods where necessary ... Ref #4733	2021-01-29 11:47:06 +01:00
Matt Brown	2840faa519	Improve param name	2021-01-29 11:47:06 +01:00
Matt Brown	2b152d5d97	Simplify calling of replacer methods	2021-01-29 11:47:05 +01:00
Matt Brown	67d319657a	Break out replacement of templated types with their inferred result	2021-01-29 11:47:05 +01:00
Matt Brown	e9ec1b28a2	Simplify storage and retrieval of extended template params	2021-01-29 11:47:05 +01:00
Matthew Brown	cbd8150fde	Add RedundantPropertyInitializationCheck (#4732) ... * Add RedundantPropertyInitializationCheck * add documentation for RedundantPropertyInitializationCheck (#4734) Co-authored-by: orklah <orklah@users.noreply.github.com>	2021-01-29 11:47:05 +01:00
Matt Brown	27c303ee39	Detect some erroneous issets	2021-01-29 11:47:05 +01:00
Matthew Brown	0a575b217a	Fix redundant mappings	2021-01-29 11:47:05 +01:00
Matt Brown	119ac8bbdf	Fix the bug	2021-01-29 11:47:04 +01:00
Matt Brown	9fdc56ff75	Fix template type selection	2021-01-29 11:47:04 +01:00
orklah	17ea7784dd	fix #3282 (#4724)	2021-01-29 11:47:04 +01:00