4876 Commits

Author	SHA1	Message	Date
Brown	8328c1d3aa	Fix build	2020-03-31 22:32:48 -04:00
Matthew Brown	66dd794101	Add return function	2020-03-31 22:26:48 -04:00
Brown	4ef7cb50a5	Make Psalm faster when there aren’t any changes whatsoever	2020-03-31 22:22:34 -04:00
Brown	d5f43e52e7	Fix coercion	2020-03-31 16:57:08 -04:00
Brown	191a3febac	Return all cached errors not in analyzed files	2020-03-31 16:56:22 -04:00
Brown	cc38f25ed7	Don’t remove non-method issues	2020-03-31 16:33:05 -04:00
Brown	da729cfbc6	Don’t check params when mutations are being collected	2020-03-31 15:49:43 -04:00
Brown	ddc8c50d2a	Prevent some inheritance issues	2020-03-31 11:28:36 -04:00
Brown	687ce87995	Ensure issues from unused classes & params is always saved to cache	2020-03-31 09:56:27 -04:00
Matthew Brown	b46e147735	Add some limits on switch case assertion calculation ... Ref #2728	2020-03-30 00:20:00 -04:00
Matthew Brown	4fe36a21a4	Use array_pop, not array_shift, because it’s a bit faster	2020-03-29 19:47:40 -04:00
Matthew Brown	1b88316c51	Convert method from recursive to inline	2020-03-29 19:42:22 -04:00
Matthew Brown	d84c5db7ae	Prevent complexity explosion a little earlier	2020-03-29 17:12:10 -04:00
Matthew Brown	82197f1761	Add many slashes	2020-03-29 15:56:45 -04:00
Matthew Brown	ce3532490c	Add profiling for analysing slow methods	2020-03-29 15:42:00 -04:00
Matthew Brown	194f02507d	Allow conditional types to reference class constants	2020-03-29 13:37:37 -04:00
Matthew Brown	1b2017e4f4	Add slash	2020-03-29 10:44:38 -04:00
Matthew Brown	5ad55ae693	Fix type inference on simple conditional function calls	2020-03-29 10:42:57 -04:00
Matthew Brown	0e919a0696	Allow arithmetic on simple templated types	2020-03-29 10:34:46 -04:00
Matthew Brown	f097b9ae6c	Add better reconciliation of ints from array keys	2020-03-29 10:22:22 -04:00
Matthew Brown	788da0680e	Allow var_export userland implementation	2020-03-29 10:19:09 -04:00
Matthew Brown	1439c90789	Add support for conditional checks on literal ints & strings	2020-03-29 10:02:24 -04:00
Matthew Brown	7fdccc0439	Fix #3014 - change constant class access rules	2020-03-29 09:47:29 -04:00
Matthew Brown	39f7296670	Fix #2191 - allow inheritance from stub-only files	2020-03-29 00:13:01 -04:00
Matthew Brown	e85d22f004	Fix #3033 - allow __invoke on unions with non-objects	2020-03-28 23:41:05 -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	7195ea6842	Fix #3030 - don’t suggest return types can do more	2020-03-28 23:15:54 -04:00
Brown	1c8581f4db	Add more fields to API existence checks	2020-03-28 21:39:44 -04:00
Matthew Brown	93735712f0	Fix #3032 - always replay docblock issues when analysing files	2020-03-28 19:54:55 -04:00
Matthew Brown	86a89b2d27	Fix #3034 - expand out while expressions for more accurate variable initialisation	2020-03-28 18:22:08 -04:00
Matthew Brown	de6aee32d1	Fix #3035 - improve templating for property assignments	2020-03-28 17:18:21 -04:00
Matthew Brown	47c1470e3b	Refactor reference checks to use more appropriate properties	2020-03-28 16:30:56 -04:00
Brown	cc548a45fa	Improve detection of unused classes	2020-03-28 14:45:58 -04:00
Brown	60613462fe	Improve static resolution a little more	2020-03-28 08:14:35 -04:00
Brown	5835c34a29	Expand out static extra types	2020-03-28 00:08:31 -04:00
Brown	e3ff856cac	Improve treatment of static in intersection	2020-03-27 19:17:44 -04:00
Brown	5cb1538448	Don’t add unnecessary taints	2020-03-27 19:09:15 -04:00
Brown	056f4aaac6	Fix #3027 - inherited properties should be templated properly	2020-03-27 18:31:48 -04:00
Brown	b57563c8cf	Renamed function to be a little better	2020-03-27 18:30:59 -04:00
Tyson Andre	e560858b23	Fix grammar nit in "is can never happen" message (#3025) ... Should either be "is impossible" or "can never happen"	2020-03-27 17:32:49 -04:00
Brown	4021114b04	Fix too-long line	2020-03-27 10:43:12 -04:00
Brown	ae31ec6805	Fix resolution of get_called_class	2020-03-27 09:51:53 -04:00
Brown	3253f57c94	Don’t rescan everything when finding unused code	2020-03-27 09:45:54 -04:00
Brown	05f8f30d8c	Use more specific type description	2020-03-27 09:45:18 -04:00
Brown	031c5be8e6	Check trait methods better	2020-03-27 00:37:33 -04:00
Brown	53612d0df6	Make --diff imply --diff-methods	2020-03-26 18:14:54 -04:00
Brown	75432536f7	Add slashes	2020-03-26 14:43:48 -04:00
Brown	f88c7c1ec5	Fix closure return type inference	2020-03-26 14:38:32 -04:00
Brown	820bd95d8b	Fix existing issue check	2020-03-26 14:25:11 -04:00
Brown	4ced26bec2	Fix #3024 - replay errors in --diff --diff-methods mode	2020-03-26 14:22:06 -04:00