127 Commits

Author	SHA1	Message	Date
m0003r	11edb22c72	Implement @psalm-trace annotation, fixes #3079 (#3080)	2020-04-06 12:42:22 -04:00
m0003r	c8e7e43bb0	Type::getString already respects maxStringLength config, there is no need to additional checks (#3069)	2020-04-05 14:27:02 -04:00
Matthew Brown	5395183837	Use more accurate means of determining whether function did return	2020-03-28 23:37:42 -04:00
Matthew Brown	47c1470e3b	Refactor reference checks to use more appropriate properties	2020-03-28 16:30:56 -04:00
Brown	971ae50bea	Do prep work for #3024 - improve handling of absent class references	2020-03-26 12:35:27 -04:00
Matthew Brown	9cd817077e	Improve fix	2020-03-17 17:34:45 -04:00
Matthew Brown	b6380ae595	Fix false-positives around unevaluated code	2020-03-15 14:43:05 -04:00
Matthew Brown	6c7f89b0ab	Fix #2920 - track unevaluated code after nested returns	2020-03-15 14:31:41 -04:00
Matthew Brown	43189b3d55	Allow types to be traversed	2020-03-14 23:54:51 -04:00
Matthew Brown	aba29f0cbf	Add slash	2020-03-13 20:28:32 -04:00
Matthew Brown	aaf74f084a	Fix #2954 - filter out used vars before checking params	2020-03-13 20:21:49 -04:00
Matthew Brown	bfb919d26a	Break out methods into their own classes	2020-03-11 23:04:52 -04:00
Matthew Brown	352bd3f5c5	Remove redundant condition	2020-03-06 15:23:11 -05:00
Brown	3f226e2e86	Fix #2867 - treat echo as impure	2020-02-24 14:38:05 -05:00
Brown	ae08552f40	Add null check	2020-02-21 16:04:18 -05:00
Brown	443558ca49	Fix #2844 - resolve constant offset references	2020-02-21 15:56:30 -05:00
Matthew Brown	653353709a	Use MethodIdentifier object instead of string	2020-02-14 20:54:26 -05:00
Matthew Brown	5eb2ebc508	Add more type-system protections for bad array args	2020-01-29 23:41:17 -05:00
Brown	15808458cc	Better understand nesting loops and switches ... Fixes #2700	2020-01-27 12:17:12 -05:00
Matthew Brown	8c89760ff3	Use more accurate type for large arraya ... Fixes #2690	2020-01-25 10:38:23 -05:00
Brown	c07fd13f2b	Fix #2623 - prevent crash when combining class strings in constants	2020-01-15 11:26:58 -05:00
Matthew Brown	c3edbdbc19	Allow checking $_SESSION for null without altering type	2020-01-14 21:51:04 -05:00
Brown	1ccababcb7	Track list-ness of constant arrays ... Fixes #2621	2020-01-14 12:13:41 -05:00
Matthew Brown	e1daf26202	Improve support for null coalesce checks	2020-01-14 00:53:38 -05:00
Тальгат Хайруллов	39a822759d	#2579 TooManyArguments was triggered if the variadic function declared at the autoloader file. Fixed. (#2580)	2020-01-12 11:33:38 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Brown	0e39759ed6	Improve solution to #2546 slightly	2020-01-03 10:56:47 -05:00
Brown	4263417ac3	Fix #2546 - ignore vars set inside loop	2020-01-03 10:33:32 -05:00
Matthew Brown	55c2f7faa2	Fix #2508 - don’t replace templated types with generic ones inside own function	2019-12-28 18:38:02 -05:00
Brown	b3cf9d3958	Catch circular references in constants ... Fixes #2453	2019-12-10 16:16:44 -05:00
Brown	821f3528d2	Fix #701 - indicate issues fixable with Psalter	2019-12-02 15:24:01 -05:00
Matthew Brown	d1fbd1fa26	Add working arrow-functions implementation	2019-11-26 23:52:26 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Matthew Brown	e76beffa78	Fix #2355 - don’t remove used variables	2019-11-17 14:53:08 -05:00
Brown	a5c3304853	Add support for if replacement	2019-11-14 11:03:16 -05:00
Brown	fe5e675881	Improve unvariable removal	2019-11-13 15:05:21 -05:00
Brown	25b60eb944	Fix #2325 - ignore unused vars with $_ prefix	2019-11-12 10:20:34 -05:00
Brown	e822ec7541	Unsetting list elements should turn to an array	2019-10-09 12:49:31 -04:00
Brown	d225374d6d	Fix #2156 - do better inference after isset	2019-10-01 19:31:08 -04:00
Brown	a81c3067ad	Store the whole type	2019-10-01 17:09:32 -04:00
Brown	c5ef2516b5	Fix #2150 - add detection for unnecessary @var annotations ... And also remove them from codebase	2019-09-19 11:59:43 -04:00
Matthew Brown	0b4981f01b	Fix #1551 - do better at inferring class constant types	2019-09-14 14:26:31 -04:00
Brown	944531b73b	fix #2125 - Don’t assume function args are necessarily authoratative	2019-09-11 13:52:58 -04:00
Matthew Brown	dee2cf3281	Detect use of static inside pure function	2019-08-31 21:31:53 -04:00
Matthew Brown	d09a427214	Don’t make test reliant on knowing about Exception	2019-08-26 00:24:56 -04:00
Brown	9835943294	Fix #2041 - make sure property is always set	2019-08-21 11:25:08 -04:00
Matthew Brown	c5f62d261d	Remove redundant @psalm-suppress in Psalm’s codebsae	2019-08-18 16:10:12 -04:00
Matthew Brown	5d94e340ee	Remove unused suppressions in tests	2019-08-18 15:34:32 -04:00
Matthew Brown	b6d0aeaa9c	Avoid erroneous issue suppression complaints	2019-08-18 14:56:47 -04:00
Matthew Brown	eb50aad3a1	Fix offsets when checking function suppressions	2019-08-18 14:44:45 -04:00