1369 Commits

Author	SHA1	Message	Date
Matt Brown	e43f2259ea	Fix #4839 - undefined possibly set in by-reference should be treated as such	2020-12-14 16:57:48 -05:00
orklah	8974da5610	preserve analyzers until the end of file (#4834) ... * preserve analyzers until the end of file * remove unused variable	2020-12-13 01:17:13 -05:00
2e3s	d8d6811ed4	Memoize private inferred mutation-free methods (#4832)	2020-12-12 10:26:14 -05:00
Matt Brown	cc1c643168	Fix #4829 – don’t crash when yielding non-existent class	2020-12-11 10:04:28 -05:00
Matt Brown	2a92025737	Union types if stmt already has one	2020-12-10 01:40:20 -05:00
Matt Brown	b7a7e2fb87	Fix get magic property checks	2020-12-10 01:29:07 -05:00
Matt Brown	524084a64c	Tighten up rules arouund when mutation-free methods get memoised	2020-12-08 16:39:06 -05:00
2e3s	e46c68b1e5	Overwrite memoized return type after sum-type candidate is calculated (#4805) ... * Overwrite memoized return type after sum-type candidate is calculated * Fix mismatched types * Fix code style	2020-12-08 09:35:11 -05:00
Matt Brown	91ee4aeca3	Fix #4797 - sanitise assertion output of template result	2020-12-07 19:11:56 -05:00
Matt Brown	f5dd6e76f8	Fix #4802 - don’t clone context when analysing coalesce	2020-12-07 14:30:57 -05:00
Matthew Brown	d406d5b112	Fix typo	2020-12-07 01:32:18 -05:00
Matt Brown	e702e472fc	Support simple list assignment in foreach ... Ref #4741	2020-12-06 19:14:52 -05:00
Matt Brown	9c0e9a3d7e	Taint all when conditional return is used ... Ref #4792	2020-12-06 11:24:48 -05:00
Matt Brown	4d1aae43f9	Fix #4778 - remove already-initialized properties when checking initialisation	2020-12-06 11:07:59 -05:00
Matt Brown	cec8d7138f	Fix #4782 - don’t replace closure types with upper bounds when replacing class param types	2020-12-05 11:58:55 -05:00
Matt Brown	1bb8b73f99	Return earlier	2020-12-05 10:25:34 -05:00
orklah	62d5ea83a1	Allow int casts if the type comes from calculation (#4768)	2020-12-03 23:15:07 -05:00
Matt Brown	0411049559	Mixed array access should mark vars as used just in case	2020-12-03 13:09:08 -05:00
Matt Brown	51a92aa223	Fix interface property regression	2020-12-03 11:13:10 -05:00
Matt Brown	bef9ab37e6	Fix #4759 – don’t generate assertion when assigning to same-named variable	2020-12-03 09:42:26 -05:00
Denis Smetannikov	11576951f6	Update ExistingAtomicStaticCallAnalyzer.php (#4761) ... The invalid syntax for PHP 7.1+	2020-12-03 09:24:34 -05:00
Matt Brown	1a5d5e4476	Simplify FunctionLikeDocblockScanner	2020-12-03 00:19:01 -05:00
Matt Brown	e2a2e8ee87	Break apart AtomicPropertyFetchAnalyzer::analyze	2020-12-02 23:37:29 -05:00
Matt Brown	2f00500c91	Improve message	2020-12-02 22:08:14 -05:00
Matt Brown	6f916553a8	Ref #4753 - allow int literals to inform key type	2020-12-02 17:13:45 -05:00
Matt Brown	e2bb02e93c	Don’t suggest a potential value that’s undefined ... Fixes #4754	2020-12-02 14:49:30 -05:00
Matt Brown	f0876b86f4	Avoid false-positives while analysing memoised coalesce	2020-12-02 02:25:15 -05:00
Matt Brown	394eceb01c	Memoize coalesce expression in more scenarios	2020-12-02 02:15:17 -05:00
Matt Brown	928fdda00f	Don’t do new isset conversion on try-set vars	2020-12-02 01:47:49 -05:00
Matt Brown	1feca322d5	Fix loading imported functions	2020-12-02 00:52:35 -05:00
Matt Brown	5a200ca442	Fix assertions on unions	2020-12-01 21:12:03 -05:00
Matt Brown	61e374f33b	Fix null array access complaints	2020-12-01 20:10:48 -05:00
Matt Brown	1a629ccc82	Fix a few issues	2020-12-01 18:26:15 -05:00
Matt Brown	e7f9ce6da0	Break out RedundantCast issues	2020-12-01 17:25:45 -05:00
Matt Brown	2963efc9a5	Use fallback assignment type when the property doesn’t exist on the class	2020-12-01 16:59:44 -05:00
Matt Brown	f5494bc407	Fix typos caused by Macbook Pro’s bad keyboard	2020-12-01 14:14:09 -05:00
Matt Brown	c6d0561612	Fix nullref	2020-12-01 00:48:09 -05:00
Matt Brown	7295e28e20	Fix #4743 - simplify assertions generated from array_key_exists check	2020-11-30 22:10:17 -05:00
Matt Brown	6f86201f34	Break up AssignmentAnalyzer::analyze	2020-11-30 14:57:35 -05:00
Matt Brown	3b1fa58413	Break apart method as much as possible	2020-11-30 14:07:18 -05:00
Matt Brown	2427606563	Fix lint	2020-11-30 13:25:27 -05:00
Matt Brown	2204728824	Break apart NewAnalyzer::analyze ... Ref #4714	2020-11-30 13:24:24 -05:00
Matt Brown	4baf143ff7	Break apart ArrayAssignmentAnalyzer::updateArrayType ... Ref #4714	2020-11-30 13:08:42 -05:00
Matt Brown	5430effb2b	Break apart InstancePropertyAssignmentAnalyzer ... Ref #4714	2020-11-30 12:09:09 -05:00
Matt Brown	31e2522adb	Actually not a bug	2020-11-30 01:32:38 -05:00
Matt Brown	817db55140	Fix typo	2020-11-30 01:29:40 -05:00
Matt Brown	cf6dedc11d	Break up AssertionFinder methods ... Ref #4714	2020-11-30 01:20:28 -05:00
orklah	a760a2418a	support shift and bitwise operations in constants (#4740)	2020-11-29 21:43:49 -05:00
Matt Brown	4d81682fdd	Fix #4731 - expand out class-bound generic types when evaluating instance method	2020-11-29 21:36:50 -05:00
Matt Brown	86b6d6a506	Fix #4733 - don’t replace template types when they’re defined on the same class	2020-11-29 19:12:22 -05:00