4862 Commits

Author	SHA1	Message	Date
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
Brown	971ae50bea	Do prep work for #3024 - improve handling of absent class references	2020-03-26 12:35:27 -04:00
Matthew Brown	68c95c622a	Save information about last runs whether or not there were errors	2020-03-26 00:46:39 -04:00
m0003r	71826ad69e	Fix #2994 (#3016) ... More carefully handling stream_select errors when system call is interrupted. It can be detected by parsing error message. If it is interrupted, just try again.	2020-03-25 21:25:33 -04:00
Matthew Brown	f94ab22a5f	Be better about strict inference	2020-03-25 09:18:49 -04:00
Matthew Brown	4734583444	Don’t overwrite already-defined template	2020-03-24 23:40:01 -04:00
Brown	467da32f84	Fix instanceof static and isa (static::class) handling	2020-03-24 18:58:15 -04:00
iggyvolz	94b246b987	Initial commit (#3013)	2020-03-24 18:32:57 -04:00
Brown	a9b6c51748	Improve new $class to make it more static-y	2020-03-24 18:30:08 -04:00
Brown	1bfc61d402	Allow final classes to bypass static checks	2020-03-24 18:14:10 -04:00
Brown	ec34a16291	Warn about invalid static returns	2020-03-24 18:00:20 -04:00
Brown	f6759c3d16	Check return statement types for inherited docblocks	2020-03-24 17:59:48 -04:00
Brown	1e480ade12	Fix bugs	2020-03-24 14:49:05 -04:00
Brown	cae15b6c62	Use appropriate template types when applying array_filter asssertions ... Fixes #3008	2020-03-24 12:15:56 -04:00
Brown	25bd2ed5fb	Fix #3010 - prevent false-negative after calling isset on possibly-false array	2020-03-24 12:01:39 -04:00