173 Commits

Author	SHA1	Message	Date
bugreportuser	7f7125f334	Fix crash for empty string array access	2019-02-25 08:26:12 -05:00
Matthew Brown	4f770d356e	Fix #1384 - evaluate array fetches even when we don’t know function	2019-02-24 09:58:11 -05:00
Matthew Brown	3ad1abece4	Add generation of json artifacts	2019-02-24 01:33:25 -05:00
Matthew Brown	cdae79b9fe	Fix unnecessary params in Psalm codebase	2019-02-23 11:31:33 -05:00
Matthew Brown	ce4f2e6334	Fix #1364 - use proper types for extended getIterator calls	2019-02-21 23:01:34 -05:00
Matthew Brown	1c8a573b5f	Change TGenericParam to TTemplateParam	2019-02-21 21:40:06 -05:00
Brown	154e1fa38b	Fix #1375 - improve treatment of dynamically-declared namespaces	2019-02-21 18:19:12 -05:00
Brown	653555a8cc	Remove unused var	2019-02-21 17:49:33 -05:00
Brown	41b133178a	Improve handling of count comparisons	2019-02-21 17:17:10 -05:00
Brown	b7a0950aea	Prevent passing casts to byref vars	2019-02-21 13:26:37 -05:00
Brown	1e2c29041f	@param-out should not override @param byref type def ... when checking for unuitialised vars	2019-02-20 18:53:42 -05:00
Brown	079ac44263	Prevent pass by ref when type type is given	2019-02-20 17:43:12 -05:00
bugreportuser	14ee221075	Fix errors	2019-02-20 10:55:36 -05:00
bugreportuser	cd23a19931	Allow concat for define first arg	2019-02-20 10:55:36 -05:00
Brown	348b8eef1f	Fix #1366 - don’t complain about invalid array offset when possibly mixed	2019-02-19 11:42:24 -05:00
Matthew Brown	f49be31aeb	Fix #1332 - use the correct identifier for trait property resolution	2019-02-18 16:52:09 -05:00
Matthew Brown	6b419452af	Fix #1337 - don’t crash when examining __call methods in initialisation checks	2019-02-18 16:04:27 -05:00
Matthew Brown	709a5c31da	Allow bitwise or ops to change type ... Ref #1340	2019-02-18 12:53:55 -05:00
Matthew Brown	12f1ffca11	Fix issue reconciling mixed vars inside loop	2019-02-18 11:39:05 -05:00
Bruce Weirdan	8408effe57	Dropped unused uses	2019-02-17 13:17:45 -05:00
Matthew Brown	40a91eab6e	Fix #1339 - no crash when using self/static/parent in closure	2019-02-17 13:14:59 -05:00
Matthew Brown	0739d017ac	Use information from .phpstorm.meta.php files in stubs	2019-02-16 11:16:52 -05:00
Matthew Brown	d76459e138	Move to a PHPStan-like return type provider class model	2019-02-15 18:00:40 -05:00
Brown	27c99aed2f	Improve recovery from InvalidScalarArgument issue	2019-02-14 16:55:54 -05:00
Brown	50421b297a	Don’t report undefined properties when collecting initialisations	2019-02-13 14:04:10 -05:00
Brown	3deea3980d	Add checks for unitialized properties ... Fixes #1328	2019-02-13 13:32:19 -05:00
Matthew Brown	c58100e3af	Fix #1313 - don’t allow mixed function calls	2019-02-10 16:15:52 -05:00
Matthew Brown	62fb8035bf	Fix #1309 - no PropertyNotSetInConstructor warnings for grandchild of class	2019-02-10 15:01:10 -05:00
Matthew Brown	ed4ed957c8	Use more specific templated argument	2019-02-07 15:21:34 -05:00
Matthew Brown	dfe45e7d26	Fix #1290 - improve handling of more specific template	2019-02-06 15:56:40 -05:00
Matthew Brown	6033345694	Fix #1281 - improve handling of mixed property array assignment	2019-02-05 00:36:57 -05:00
Brown	bbf013bfb8	Fix #1279 - speed up analysis of large arrays	2019-02-04 16:06:14 -05:00
Matthew Brown	ab22634d23	Fix #1274 - fix parent:: call to templated method	2019-02-04 00:52:31 -05:00
Matthew Brown	f06ed8bf84	Fix #1273 - don’t change type with unpacked var	2019-02-03 16:36:10 -05:00
Matthew Brown	e97d4f85ee	Break large CallAnalyzer funtions apart	2019-02-03 16:21:37 -05:00
Matthew Brown	194bb31221	Fix #204 - allow missing param types to be added with Psalter	2019-02-02 14:16:49 -05:00
Matthew Brown	3a01afbe0a	Refine inferred type when possible	2019-02-02 12:10:52 -05:00
Matthew Brown	db89b3cc3f	Add initial support for fixing MissingParamType	2019-02-02 11:28:48 -05:00
Matthew Brown	509709d6bc	Fix #1267 - flesh out self static property types	2019-02-01 08:59:01 -05:00
Brown	fd88f00526	Fix a few small bugs	2019-01-31 17:48:48 -05:00
Brown	2054e3753f	Fix #1260 - improve handling of ArrayAccess assignment	2019-01-31 12:45:47 -05:00
Brown	c195e8fd21	Add more nuanced analysis of array access fetch	2019-01-30 15:40:37 -05:00
Matthew Brown	bfb2a5c19e	Fix #1257 - transform docblock types for magic methods to something more meaningful	2019-01-30 09:46:23 -05:00
Brown	9edbae2bdc	Fix possible fatal when builtin function is called in array_filter	2019-01-28 17:54:50 -05:00
Brown	a801923502	Add support for SplQueue templating	2019-01-28 12:27:04 -05:00
Matthew Brown	45058ea494	Fix possible crash when class-string class doesn’t exist	2019-01-28 01:12:41 -05:00
Matthew Brown	be06393b9c	Fix #1251 - allow instanceof comparisons to class strings	2019-01-27 14:10:33 -05:00
Matthew Brown	16c2a0f899	Fix #1246 - check @var annotations	2019-01-26 17:30:44 -05:00
Matthew Brown	22ee72808a	Remove a bunch of hacks around generic offsets ... Also fixes #1245	2019-01-26 16:58:49 -05:00
Brown	c9e1df510e	Fix #1241 - allow negative string offsets on a string	2019-01-25 10:23:50 -05:00