532 Commits

Author	SHA1	Message	Date
Matt Brown	0c2ea418e3	Fix #327 - prevent null array value from killing assignment	2017-11-20 16:19:40 -05:00
Matt Brown	f46fd0b79f	Fix array access on objects	2017-11-20 11:49:26 -05:00
Matthew Brown	9d025fad8f	Only replace ? where appropriate	2017-11-20 00:32:40 -05:00
Matthew Brown	957600623c	Fix issue with byref template params leaking	2017-11-20 00:12:17 -05:00
Matthew Brown	ccc0583bf8	Fix issue with bad assign after array_pop/array_shift	2017-11-19 23:46:32 -05:00
Tyson Andre	cea5dca5dc	Allow using nullable shorthand (?) within an array (#326)	2017-11-19 23:36:37 -05:00
Matthew Brown	ae799da8d0	Add root array var when updating array key type in if	2017-11-19 23:25:14 -05:00
Matthew Brown	381eb2157a	Avoid undefined notice in var comparison	2017-11-19 23:19:49 -05:00
Matthew Brown	5698b2d363	Update root var with more accurate object-like type	2017-11-19 22:28:52 -05:00
Matthew Brown	90bcd99eab	Fix issue where array_shift/array_pop didn’t mark array as modified	2017-11-19 21:36:09 -05:00
Matthew Brown	8b2df09f0f	Fix issue with object-like reassignment	2017-11-19 21:24:29 -05:00
Matthew Brown	3418eb494a	Always set a fallback mixed type on a mixed property fetch	2017-11-19 14:58:48 -05:00
Matthew Brown	942bc0a663	Add new MixedTypeCoercion issue, fixes #320	2017-11-19 13:42:48 -05:00
Matthew Brown	75b6e21801	Fix #315 - improve checking of object-like arrays in function params	2017-11-19 13:05:35 -05:00
Matthew Brown	5ff4badf33	Refactor array analysis to improve reliability and accuracy (#325)	2017-11-19 12:33:43 -05:00
Matthew Brown	1a39224abc	Fix issues that improved array checks found	2017-11-19 12:14:02 -05:00
Matt Brown	39baa00fd3	Fix issue with nested object-like array updating	2017-11-17 16:33:36 -05:00
Tyson Andre	1c25ca1a0c	Fix false positives, add tests of @psalm-seal-properties (#318)	2017-11-17 16:19:48 -05:00
Matt Brown	2a96e323e7	Fix assignment to arrays after object-like	2017-11-17 12:27:16 -05:00
Matthew Brown	965352c711	Fix #312 - support parsing object-like arrays without keys	2017-11-17 01:18:13 -05:00
Matthew Brown	a08306973a	Fix #302 - add a way to seal objects with magic properties	2017-11-16 20:47:58 -05:00
Matthew Brown	440db3be89	Fix #313 - correctly analyse closure self return types	2017-11-16 20:06:00 -05:00
Matthew Brown	7d33db0d19	Fix issue with array unification after scanning	2017-11-16 01:11:46 -05:00
Matthew Brown	36a760657d	Fix #311 and introduce PossiblyInvalidArrayOffset	2017-11-16 00:27:11 -05:00
Matthew Brown	6c9cdd896b	Separate InvalidArrayAccess and InvalidArrayOffset	2017-11-15 21:10:07 -05:00
Matthew Brown	f136fc3296	Fix #305 by making test error message checks more accurate	2017-11-15 21:04:25 -05:00
Matthew Brown	abe7c003ab	Fix #309 - borrowing fix from @TysonAndre	2017-11-15 20:45:53 -05:00
Matt Brown	a99135c4d0	Fix #300 - add PossiblyInvalidPropertyFetch	2017-11-15 11:44:13 -05:00
Matt Brown	c5faa2d06a	Fix #299 - add PossiblyInvalidMethodCall	2017-11-15 11:34:40 -05:00
Matt Brown	9111b1c725	Fix #301 - add PossiblyInvalidPropertyAssignment	2017-11-15 11:15:03 -05:00
Matthew Brown	f96f3a467d	Fix #296 - add issue for raw object iteration	2017-11-14 22:55:48 -05:00
Matthew Brown	2e6b93e4d0	Fix #289, make inferred type of yield from expressions mixed	2017-11-14 22:29:15 -05:00
Matthew Brown	23e4c8f68b	Fix #290 - check for yields in assignments	2017-11-14 22:08:15 -05:00
Matthew Brown	3ade4b9559	Fix #293, be case invariant to self & static	2017-11-14 21:56:29 -05:00
Matthew Brown	b2ae9a2892	Fix #291, #292 and #297 by improving docblock parsing	2017-11-14 21:43:31 -05:00
Matt Brown	7e8ae33d56	Fix #288 - get rid of MethodSignatureMismatch issues where PHP doesn’t worry	2017-11-13 16:31:33 -05:00
Matthew Brown	a0a9128375	Fix #285 - add PossiblyInvalidArrayAccess	2017-11-11 21:22:11 -05:00
Matthew Brown	4f2a200b45	Fix #283 - add more refined PossiblyUndefinedMethod check	2017-11-11 14:53:35 -05:00
Matthew Brown	2f1e3652b7	Fix #274 - improve array addition inference for objectlike arrays	2017-11-11 14:19:57 -05:00
Matthew Brown	b79ad3c64b	Fix #282 - detect legacy functions with variadic behaviour	2017-11-11 01:06:39 -05:00
Matt Brown	59265ef2bf	Fix #276 - fix false positive in magic call	2017-11-10 18:08:26 -05:00
Matt Brown	e49573e7f6	Fix #279 - make sure referenced vars updated always in or	2017-11-09 16:42:39 -05:00
Matthew Brown	765d82548d	Remove more dead code	2017-11-08 23:27:51 -05:00
Matthew Brown	a7b32beb4e	Add better checks for array_rand’s signature	2017-11-08 21:56:54 -05:00
Matthew Brown	dd86513fc5	Fix #271 - remove invalid complaint about private overridden method	2017-11-08 21:27:23 -05:00
Matt Brown	6d14bf65d7	Loosen restrictions on compact(), fix #267	2017-11-08 09:37:58 -05:00
Matthew Brown	44c40dff4f	Fix #270 by looking at root ids when analysing array assignment in loops	2017-11-08 08:23:34 -05:00
Matthew Brown	d422bc85d6	Add (skipped) test for #270	2017-11-07 23:49:04 -05:00
Matt Brown	750d18d20a	Fix #266 - do better analysis of array_rand ... And also have better fallback when accessing string key on object-like array	2017-11-07 17:38:54 -05:00
Tyson Andre	a50783404f	Fix build failure - MixedPropertyAssignment should be expected in test. ... This is assigning to a property of type mixed?	2017-11-07 17:24:44 -05:00