1622 Commits

Author	SHA1	Message	Date
Bruce Weirdan	cbcc38aab8	Merge pull request #6339 from niconoe-/allow-object-on-array_walk	2021-08-31 23:45:10 +03:00
Bruce Weirdan	103b2b7244	Warn about array_walk_recursive over objects	2021-08-31 23:18:20 +03:00
Bruce Weirdan	b370ce92aa	Report RawObjectIteration when array_walk is used on objects	2021-08-20 01:43:49 +03:00
Bruce Weirdan	9222b24ea1	Merge pull request #6321 from orklah/analyze-dynamic-classConstFetch	2021-08-20 01:06:56 +03:00
orklah	dbf3512b70	introduce $definite_class flag and use it to avoid using final keyword for simple inference	2021-08-19 23:19:59 +02:00
orklah	2b37bdf253	get rid of the final check that was there only for static:: before	2021-08-17 23:40:03 +02:00
orklah	ee53c57952	add back alter blocks but remove renaming the $stmt->class part when it's a variable	2021-08-17 23:11:28 +02:00
Barney Laurance	88276d7f1e	Fix error message for call to internal method from root namespace	2021-08-17 18:54:57 +01:00
orklah	1bf7447685	small refactor, add LiteralClassString, remove alter code blocks	2021-08-17 18:51:59 +02:00
orklah	7308c86bb2	fix build	2021-08-16 21:56:37 +02:00
orklah	9264ea5cbb	Allow type inference on dynamic ClassConstFetch	2021-08-16 21:20:20 +02:00
orklah	1e17069c24	Change > assertion back to @ and put back a perf threshold	2021-08-15 10:13:05 +02:00
Bruce Weirdan	a9ead63ae1	Revert "Assertions for Integer Range"	2021-08-14 18:06:41 +03:00
Bruce Weirdan	7ff2a660dd	Merge pull request #6233 from supersmile2009/fix-in-array-assert	2021-08-13 01:39:31 +03:00
Bruce Weirdan	568a9e0412	Prevented empty assertions ... and simplified the code a bit.	2021-08-13 00:39:24 +03:00
Bruce Weirdan	6294e06955	Improve constant array inference ... This fixes int offset inference and adds handling for array unpacks in constant arrays. Mostly it's copy/pasted from `ArrayAnalyzer` with further adjustments. Fixes vimeo/psalm#6263 Fixes vimeo/psalm#6289	2021-08-12 20:39:21 +03:00
Bruce Weirdan	8f85f580da	Extract item handling	2021-08-11 01:18:23 +03:00
Bruce Weirdan	f9a75983f9	Use ArrayCreationInfo for is_list flag	2021-08-11 00:47:45 +03:00
Bruce Weirdan	b6ade31dd0	Use ArrayCreationInfo for can_create_objectlike flag	2021-08-11 00:39:56 +03:00
Bruce Weirdan	ba4f1db2cd	Use ArrayCreationInfo for class strings	2021-08-11 00:29:14 +03:00
Bruce Weirdan	47d3d31c47	Use ArrayCreationInfo for property types	2021-08-11 00:19:18 +03:00
Bruce Weirdan	abe5ef774c	Use ArrayCreationInfo for key and value types	2021-08-11 00:05:00 +03:00
Bruce Weirdan	a64a30cdda	Combine value types at once	2021-08-10 21:30:57 +03:00
Bruce Weirdan	a41d5c5b4f	Combine offset types at once	2021-08-10 21:23:13 +03:00
Bruce Weirdan	cf28859faf	Extract array type inference	2021-08-10 20:48:45 +03:00
Bruce Weirdan	5dc748d372	Merge pull request #6273 from VincentLanglet/nonEmptyConstant ... Constants are non empty strings	2021-08-09 23:36:41 +03:00
Vincent Langlet	b28316c27c	Declare some constant as non empty	2021-08-09 21:39:49 +02:00
orklah	5134747edd	CS	2021-08-09 20:46:15 +02:00
orklah	e688781383	seal the result of two sealed KeyedArrays	2021-08-09 20:43:17 +02:00
Alexandr Zolotukhin	65a129e3c2	Fix type reconciliation for complex cases with union types	2021-08-06 00:13:26 +03:00
orklah	3fe678b914	ignore UnnecessaryVarAnnotation	2021-08-05 21:05:44 +02:00
orklah	c706497cbd	restrict types	2021-08-04 19:45:25 +02:00
orklah	0c75ac89d0	refactor arithmetics	2021-08-04 19:43:27 +02:00
Alexandr Zolotukhin	097e88a7cb	Improved in_array assertion extraction ... Extract non-literal type assertion from in_array Extract false, true and null assertion Fix assertion against arrays with union-typed values Fix assertion against non-sealed arrays	2021-08-03 17:29:32 +03:00
Bruce Weirdan	caaff6e3b4	Merge pull request #6210 from orklah/int-range3	2021-08-01 16:37:15 +03:00
Matthew Brown	00c062267d	Fix space	2021-07-31 21:15:26 -04:00
Matthew Brown	a205a23ccb	Fix #6212 - remove untested code, add test for reasonable behaviour	2021-07-31 19:50:56 -04:00
orklah	2a9ddab738	replace +/- by >/<	2021-07-31 22:06:36 +02:00
orklah	5f764b9d8f	replace > by @	2021-07-31 21:59:35 +02:00
orklah	059eb5e29d	break the > assertion thing to see what start to fall apart	2021-07-31 21:54:15 +02:00
orklah	a8efe58784	fix isset assertion	2021-07-31 15:47:12 +02:00
orklah	128a811174	add internal assertions for superior and inferior	2021-07-31 15:47:12 +02:00
Bruce Weirdan	4cb9d8ceec	Merge pull request #6205 from orklah/typos ... fix typos	2021-07-29 22:31:03 +03:00
orklah	d0fe1528b6	fix typos	2021-07-29 20:59:52 +02:00
Bruce Weirdan	7aa5564047	Merge pull request #6192 from orklah/array_replace_not_nullable ... make array_replace and array_replace_recursive not nullable	2021-07-28 00:20:46 +03:00
orklah	d9df3211c5	make array_replace and array_replace_recursive not nullable	2021-07-27 23:02:41 +02:00
Jack Robertson	f0193f20fa	Consider print, and conditionally exit / die impure	2021-07-27 13:26:54 +01:00
Bruce Weirdan	4d99fbcce0	Merge pull request #6185 from orklah/typo ... fix wrong wording from #6083	2021-07-26 23:00:42 +03:00
orklah	2259113727	fix wrong wording	2021-07-26 21:09:12 +02:00
Bruce Weirdan	82dfbbc12e	Merge pull request #6167 from orklah/non-div-with-numeric-and-int	2021-07-25 13:56:48 +03:00