90 Commits

Author	SHA1	Message	Date
Brown	a25610cefd	Fix #3133 - prevent crash when analysing isset	2020-04-13 08:34:38 -04:00
Brown	73f8f963fa	Expand out class constants as early as possible ... Fixes #3128	2020-04-12 20:38:36 -04:00
Brown	9d2957d339	Fix a few more edge-cases	2020-04-12 01:26:11 -04:00
Brown	7dfa37beb2	Improve ergonomics of array assignment	2020-04-11 17:50:24 -04:00
Brown	db7447abd7	Make array coercion-to--mixed rules a little more lenient	2020-04-10 16:21:48 -04:00
Brown	3a4dd70403	Prevent MixedMethodCall from generated array offsetGet calls	2020-04-09 11:45:15 -04:00
Brown	bd2104c5ba	Merge with mixed in nested arrays	2020-04-09 09:27:21 -04:00
Brown	550ba0a4c9	Compare to real outer context, not if one ... Fixes #3091	2020-04-07 15:13:17 -04:00
Brown	61c979136f	Fix #3091 - simplify elseif negated clauses where possible	2020-04-07 13:04:24 -04:00
Brown	ddc8c50d2a	Prevent some inheritance issues	2020-03-31 11:28:36 -04:00
Matthew Brown	1b88316c51	Convert method from recursive to inline	2020-03-29 19:42:22 -04:00
Matthew Brown	15c6778223	Add test that passes	2020-03-29 18:59:48 -04:00
Matthew Brown	32d5c92428	Split up test	2020-03-29 18:28:49 -04:00
Matthew Brown	f94ab22a5f	Be better about strict inference	2020-03-25 09:18:49 -04:00
Brown	25bd2ed5fb	Fix #3010 - prevent false-negative after calling isset on possibly-false array	2020-03-24 12:01:39 -04:00
Matthew Brown	6746f1c047	Fix #3004 - reset property types inside a closure defined in a class	2020-03-21 20:46:38 -04:00
Matthew Brown	c85fa9083d	Fix #2915 - prevent "if (true)" and similar	2020-03-15 22:23:31 -04:00
RJ Garcia	5a008fe1e6	Tests for TypeAnalyzer::isContainedBy on classes (#2971) ... - Added additional tests to showcase subtyping Signed-off-by: RJ Garcia <rj@bighead.net>	2020-03-14 14:48:45 -04:00
Matthew Brown	c5fa07920c	Fix improper property var calculation ... Ref #1332	2020-03-11 11:03:27 -04:00
Brown	3c416482ec	Fix #2932 - don’t crash when trying to expand callable object-like array	2020-03-09 10:56:37 -04:00
Brown	ea0a670230	Flesh out class constants in function call return type ... Fixes #2884	2020-02-26 17:28:44 -05:00
Matthew Brown	97a849b1be	Fix #1311 - narrow scalar properly, exploding constituent types	2020-02-22 20:25:13 -05:00
Matthew Brown	2635e57cde	Negation of numeric on array-key is fine too	2020-02-22 12:53:27 -05:00
Matthew Brown	ae1360a52f	An array-key can be numeric	2020-02-22 12:34:27 -05:00
Matthew Brown	952045e2ba	Fix return type checks	2020-02-22 11:28:24 -05:00
Matthew Brown	1c218c020e	Fix #1684 - detect error in assertion on return type of direct call	2020-02-22 10:41:57 -05:00
Matthew Brown	9f13341ef9	Fix #2827 - detect literal numeric values	2020-02-22 00:16:15 -05:00
Brown	b87161785d	Be even more permissive	2020-02-13 17:58:15 -05:00
Matthew Brown	3559fdd6b3	Fix #2742 - prevent paradoxes in assert calls	2020-02-09 11:42:41 -05:00
Brown	cecc5ed798	Move constant tests	2020-02-07 10:47:42 -05:00
Brown	7bad2042f8	Skip failing test	2020-02-06 18:45:03 -05:00
Brown	d5f71bf529	Localise template checks to class being tested	2020-02-06 16:38:45 -05:00
Matthew Brown	292f6e797f	Only make directly-assertable things possibly-undefined ... Ref #2724	2020-02-01 10:58:13 -05:00
Matthew Brown	f2347303c9	Skip correct test	2020-02-01 01:43:26 -05:00
Matthew Brown	255ffa05ea	Skip another failing test	2020-01-31 17:59:29 -05:00
Matthew Brown	6f75903948	Fix dupe key	2020-01-31 17:47:11 -05:00
Brown	a40bfbd2b2	Add back skipped tests for the moment	2020-01-31 17:27:39 -05:00
Brown	3b6f53a356	Revert "Fix #2724 - make sure behaviour is not dependent on array type" ... This reverts commit 1df03b0ff2.	2020-01-31 17:25:15 -05:00
Brown	1df03b0ff2	Fix #2724 - make sure behaviour is not dependent on array type	2020-01-31 16:46:05 -05:00
Brown	34408a892c	Support has-at-least type in negation	2020-01-31 13:13:50 -05:00
Brown	37765098e9	Fix #2725 - allow empty checks on objects that implement countable	2020-01-31 12:55:33 -05:00
Matthew Brown	e92656c4cb	Fix #2707 - reconcile object equality properly	2020-01-29 21:25:44 -05:00
Matthew Brown	c87b19eeb0	Fix #2681 - no error after empty check on literal value	2020-01-23 22:26:49 -05:00
Matthew Brown	8ccd4860e3	fclose should treat resource as passed-by-reference	2020-01-17 13:12:00 -05:00
Matthew Brown	7f093ca8ed	Fix #2626 - allow assertions on resource types ... Also fixes #2266	2020-01-17 11:55:16 -05:00
Matthew Brown	4a03c4aedd	Fix impossible isset checks	2020-01-14 21:54:02 -05:00
Matthew Brown	c3edbdbc19	Allow checking $_SESSION for null without altering type	2020-01-14 21:51:04 -05:00
Brown	0f6b61d62d	Clone isset type before contradicting	2020-01-14 18:28:32 -05:00
Matthew Brown	e1daf26202	Improve support for null coalesce checks	2020-01-14 00:53:38 -05:00
Matthew Brown	b0073d4558	Fix #2614 - prevent isset($string)	2020-01-13 21:27:09 -05:00