233 Commits

Author	SHA1	Message	Date
Matthew Brown	01d6caf6a2	Catch negated instanceof bugs	2019-03-16 12:34:48 -04:00
Matthew Brown	a0659a02f1	Fix #1418 - support templated union types	2019-03-16 11:15:25 -04:00
Matthew Brown	ab832207a4	Fix #1453 - traits are not valid classes	2019-03-15 22:12:35 -04:00
Matthew Brown	b82709897a	Fix #1460	2019-03-15 21:50:16 -04:00
Brown	85f34f2aca	Add defining class and increas string length	2019-03-12 12:58:04 -04:00
bugreportuser	0e9fb04f06	Define globals in more places	2019-03-11 15:53:21 -04:00
Matthew Brown	95b986d2d4	Fix #1367 - allow assertions on mixed arrays to define objectlike type	2019-03-10 23:38:30 -04:00
Matthew Brown	848b070946	Fix #1413 - don’t complain about byref use param	2019-03-10 16:36:35 -04:00
bugreportuser	57a4522ee7	Flesh out callable arg types	2019-03-07 23:24:50 -05:00
Matthew Brown	85f0fa6e7d	Add support for literal templated defaults	2019-03-07 22:32:38 -05:00
Brown	5beb26659e	Add special type for SQL select strings for plugins to consume	2019-03-07 14:56:18 -05:00
bugreportuser	b34dbe26e2	Allow setting superglobal types	2019-03-06 15:59:41 -05:00
bugreportuser	056e5a5b1e	Allow setting globals in config	2019-03-06 15:59:41 -05:00
Brown	9442805763	Mutation checks should not care about return type	2019-03-06 11:12:36 -05:00
Brown	ae69695f89	Prevent tests in PHP 7.1	2019-03-05 18:27:25 -05:00
Matthew Brown	48b39a15b9	Don’t change value of $this by reference	2019-03-03 20:16:11 -05:00
Matthew Brown	a31420be5b	Fix checks for existing vars used in by-ref assignments	2019-03-03 18:21:12 -05:00
Matthew Brown	b7320e2778	Remove unnnecessary param	2019-03-03 16:45:35 -05:00
Matthew Brown	fb9e9bea32	Fix const reference in current context	2019-03-03 16:43:24 -05:00
Matthew Brown	472cdf6bea	Fix #1379 - allow @param-out to change type	2019-03-03 15:11:09 -05:00
Matthew Brown	82e6876011	Fix #1397 - fix get_class behaviour for new instances	2019-03-02 18:02:11 -05:00
Matthew Brown	4757c2fe8e	Fix messaging	2019-03-02 15:19:59 -05:00
Matthew Brown	5e61f198e1	Fix #1419 - allow checks against empty arrays	2019-03-02 15:18:29 -05:00
Matthew Brown	efbcf7dc5b	Fix #1417 - store root file path when scanning for manipulations	2019-03-02 15:07:26 -05:00
Matthew Brown	5c76ab35c8	Allow properties to be set regardless of visibility	2019-03-01 17:30:55 -05:00
Matthew Brown	4cc93644e5	Added more descriptive type for callables ... Ref #1408	2019-03-01 09:06:37 -05:00
Matthew Brown	317f790bde	New plugin hooks (#1405) ... * Add a bunch of new hooks * Add more integrations * Add some broken tests * Add more things * Fix remaining interfaces * Suppress proper issue * UndefinedMethod should not stop analysis * Add handlers for two custom method return types	2019-03-01 08:57:10 -05:00
Matthew Brown	d1cf9d61ba	Fix #1398 - improve casting rules for resource	2019-03-01 00:50:22 -05:00
Matthew Brown	55e125f495	Check method args before returning	2019-02-28 23:59:17 -05:00
Matthew Brown	b8b752ed01	Fix #1402 - don’t halt after suppressing static UndefinedMethod	2019-02-28 23:46:11 -05:00
Brown	815bf845dc	Improve handling of method/function return types	2019-02-27 17:06:44 -05:00
Brown	119687f934	Fix redundant condition message when negating a docblock type	2019-02-27 14:02:02 -05:00
Matthew Brown	b310cc07b5	Array access on objects should always be treated as method call	2019-02-26 21:24:30 -05:00
Matthew Brown	8650f9eb1a	Fix #1356 - improve assertion system to work better on function calls	2019-02-26 01:03:33 -05:00
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
bugreportuser	f603449745	Infer literal string for __namespace__	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