639 Commits

Author	SHA1	Message	Date
Matthew Brown	7028a64440	Fix #2204 - fix try/catch false-positive	2019-11-09 10:39:21 -05:00
Brown	895737d8be	Fix style	2019-11-08 12:49:53 -05:00
Brown	ac6256e645	Fix #2312, improve understanding of template replacement	2019-11-08 11:56:41 -05:00
Joram Schrijver	c97ba8f713	Implement type-checking and forbidding for print (#2314) ... * Add type-checking for print * Allow print to be forbidden	2019-11-08 07:01:34 -05:00
Brown	3d7b34e7f6	Fix #2273 - ensure all template params are bound	2019-11-07 11:03:41 -05:00
Brown	06b64a4a01	Detect erroneous use of empty check on bools	2019-11-06 16:14:46 -05:00
Brown	3e98c800ec	Fix #2309 - prevent closure-inferred generic template params overwriting parent ones	2019-11-06 13:13:02 -05:00
Brown	a8ed6ba9c4	Fix #2308 - prevent specialisation from bound params	2019-11-06 11:20:51 -05:00
Matthew Brown	d7e435c352	Add slashes	2019-11-05 19:08:16 -05:00
Matthew Brown	050045209f	Only allow string offset assignment when offset is integer	2019-11-05 19:05:43 -05:00
Matthew Brown	cbaf050bd2	Fix #2307 - allow setting of array string offset	2019-11-05 19:03:59 -05:00
Brown	818f0c0985	Flesh out list types ... Fixes #2300	2019-11-05 13:08:12 -05:00
Brown	1f42843d42	Fix #2296 - use case insensitive closure ids	2019-11-04 14:48:02 -05:00
Matthew Brown	5faebe2674	Fix templated assertion handling for static methods	2019-11-04 05:31:45 -05:00
Matthew Brown	8f421dc0bb	Refactor template calculation out from Psalm\Type\Union	2019-11-03 21:27:40 -05:00
Matthew Brown	050eb82f04	Fix #2290 - detect call on void type	2019-11-01 13:05:28 +00:00
Matthew Brown	8d7cdeb8ec	Fix #2275 - allow extended templated types to bypass mixed type coercion rules	2019-10-29 10:07:34 +00:00
Brown	8876499ddd	Fix #2252 - allow destructuring of ArrayAccess objects	2019-10-22 11:17:42 -04:00
Brown	353cf2351e	Fix #2259 - if error suppression is use, list destructuring values will be nullable	2019-10-22 10:40:37 -04:00
Matthew Brown	233977a764	Fix undefined array offset when too few iterator params supplied	2019-10-21 07:13:33 -04:00
Tyson Andre	94636476d2	Fix checking if union type with mixed is nullable (#2253) ... Fixes #2249	2019-10-20 17:06:59 -04:00
Matthew Brown	4aeb28aceb	Fix #2244 - correctly check do while expression before use	2019-10-20 14:18:30 -04:00
Matthew Brown	22e35a7233	Improve message for mixed method call	2019-10-20 11:13:23 -04:00
Matthew Brown	0a35c9cd6a	Remove unnecessary computation	2019-10-19 23:03:59 -04:00
Matthew Brown	5910a362ea	Improve report output of taint analysis	2019-10-19 17:59:10 -04:00
Brown	2be489c527	Fix regression when identifying clauses in error	2019-10-18 15:06:37 -04:00
Matthew Brown	e8618371fb	Refine isset checks	2019-10-17 01:09:21 -04:00
Matthew Brown	54a31f8cff	Be more scrupulous about mixed vars	2019-10-17 00:29:51 -04:00
Matthew Brown	29902c8b99	Fix #2237 - suppress reconciling issues when inherited clauses couldn’t be resolved into types	2019-10-16 21:55:11 -04:00
Matthew Brown	9115ffd237	Fix #2215 - refine closure type if it doesn’t clash	2019-10-15 20:34:41 -04:00
Brown	b29227aaf6	Allow taints to be removed via annotation	2019-10-15 16:25:27 -04:00
Brown	22a12444df	Fix #2220 - detect destructuring of non-array	2019-10-15 13:55:30 -04:00
Brown	5e649f684c	Fix erroneous return type resolution	2019-10-14 17:10:30 -04:00
Matthew Brown	8c6b234c2c	Improve speed of taint analysis	2019-10-13 20:10:31 -04:00
Matthew Brown	7e2d00d6ed	Allow taints to be added to root array types	2019-10-12 12:23:40 -04:00
Matthew Brown	e5623e9257	Fix function call	2019-10-11 23:33:36 -04:00
Matthew Brown	4478d31593	Taint arrays in creation	2019-10-11 23:28:17 -04:00
Brown	3f837a3493	Fix #2192 - allow static return value on templated object	2019-10-11 12:02:41 -04:00
Matthew Brown	7857b07f91	Fix list-could-be-array issue	2019-10-11 08:24:35 -04:00
Matthew Brown	03c39cbe7c	Fix #2223 - make sure lists are handled in more places	2019-10-10 20:16:43 -04:00
Brown	cc9a925e84	Allow list to be coerced to callable	2019-10-10 10:26:13 -04:00
Brown	54d5a25077	Remove known array offsets after altering array	2019-10-09 10:36:55 -04:00
Brown	b75720c32b	Add more list types	2019-10-09 10:04:34 -04:00
Brown	0b0534d41b	Add more list annotations to Psalm’s codebase	2019-10-09 09:17:43 -04:00
Brown	2d4a7fbe3e	Fix array fetch analysis offset	2019-10-08 19:01:00 -04:00
Brown	16c33d1565	Add support for list type ... Fixes #2209	2019-10-08 18:44:46 -04:00
Brown	6b012f8fa6	Use smarter type merging when analysing if statements	2019-10-08 13:07:28 -04:00
Brown	94001aad4a	Fix #2208 - handle templated property types appropriately	2019-10-04 13:51:36 -04:00
Brown	b0aaede9e1	Add support for checking integer array offsets	2019-10-04 11:08:08 -04:00
Matthew Brown	d85fbaec09	Add stricter checks after first isset	2019-10-03 21:34:56 -04:00