39 Commits

Author	SHA1	Message	Date
AndrolGenhald	2f090e5722	Fix TypeCombiner::combine to not modify TIntRange arguments. ... This keeps coming up in obscure places, hopefully this fixes it once and for all. I would reeeaaally love to have an immutable type system at some point...	2022-06-02 12:36:41 -05:00
AndrolGenhald	0bdf9425e3	Fix namespaced min/max int range keyword issue introduced in #7775.	2022-03-30 16:08:14 -05:00
Semyon	9beb0a62b2	Forbid min bound greater than max bound in int range	2022-03-11 17:26:59 +03:00
Semyon	a7e98f4bfc	Forbid any non literal int in int range (except min and max named objects)	2022-03-11 17:26:07 +03:00
orklah	0beb8e7a4e	fix test	2022-01-15 21:39:29 +01:00
orklah	4344c8ec3f	add test	2022-01-15 21:29:24 +01:00
orklah	93fe3e81d4	Merge pull request #7304 from orklah/classconst5 ... Refactor Reconciler::handleLiteralEquality	2022-01-14 19:16:23 +01:00
orklah	af28687708	fix reconciliation when the assertions is not part of the existing range and add tests	2022-01-07 19:39:19 +01:00
orklah	6296a60553	add new test that was failing before	2022-01-07 18:18:47 +01:00
orklah	d4fcb7f61c	handle literal equality with integer ranges	2021-12-26 21:09:27 +01:00
rarila	97e6511fab	Set number of lines before and after namespace.	2021-12-15 04:58:32 +01:00
orklah	be9037f7b1	fix reconciliation between positive-int and inferior/superior assertions	2021-12-08 21:38:12 +01:00
ralila	8fb2e0f885	Handle some partials	2021-12-04 21:55:53 +01:00
orklah	c38139a87c	Don't crash on falsy with int ranges	2021-10-24 13:59:21 +02:00
orklah	b9f14f8687	improve min/max inference, add a return type provider for rand, mt_rand and random_int	2021-10-02 09:53:58 +02:00
orklah	cc6ab8340b	improve type when min = max and add test	2021-09-23 21:24:16 +02:00
orklah	f87bd56105	fix Pow	2021-09-19 19:30:03 +02:00
orklah	3d7dc740c2	fix UnaryMinus	2021-09-19 19:30:03 +02:00
orklah	a6630c49a2	fix mod calculation with ranges	2021-09-19 19:30:02 +02:00
orklah	c226285a4b	fix Mul and Pow operations	2021-09-19 19:30:02 +02:00
orklah	a8a659895f	add failing test	2021-09-19 19:30:02 +02:00
orklah	f789ab0655	add test and allow checking in already inferred types instead of just relying on statements from PHPParser for assertions	2021-09-19 19:30:02 +02:00
orklah	ae0586b0e6	fix shift inference	2021-09-19 19:30:02 +02:00
orklah	e0e34bec33	allow intersections and add test	2021-09-19 19:30:02 +02:00
orklah	c26f403e7e	fix an old bug with inverting positive int + allow inverting TIntRange	2021-09-19 19:30:02 +02:00
orklah	488c13b7c5	handle bit operations and add test	2021-09-19 19:30:02 +02:00
orklah	6f050359ce	refactor int vs int range arithmetic by converting everything to range and add tests	2021-09-19 19:30:02 +02:00
orklah	d2f73d3adb	fix and test minus case	2021-09-19 19:30:01 +02:00
orklah	b5b2677ee3	allow negating inferiorto/superiorto	2021-09-19 19:30:01 +02:00
orklah	b3a62c76dd	add tests and use getNewHighestBound at one place	2021-09-19 19:30:01 +02:00
orklah	ee75586fbf	expand test and fix assertions	2021-09-19 19:30:00 +02:00
orklah	d2e1388473	Allow inferior-to and superior-to even with negated numbers	2021-09-19 19:30:00 +02:00
orklah	3a8afe07be	fix test	2021-09-19 19:29:59 +02:00
orklah	1dcdaea117	int range arithmetics	2021-09-19 19:29:59 +02:00
Bruce Weirdan	a9ead63ae1	Revert "Assertions for Integer Range"	2021-08-14 18:06:41 +03:00
orklah	d4bf17f323	fix test	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
orklah	ba9f7d09ac	fix CS	2021-07-30 22:22:38 +02:00
orklah	1e3e6a85e4	introduce basic integer range	2021-07-30 21:44:51 +02:00