724 Commits

Author	SHA1	Message	Date
Matthew Brown	9d8ca08fb9	Fix #2479 - analyse undefined function arguments too	2019-12-18 16:37:48 +00:00
Brown	e551b24843	Classes that just reference themselves aren’t used	2019-12-16 11:46:10 -05:00
Matthew Brown	bf67c036aa	Fix #2474 - treat free-standing binaryops as ifs instead	2019-12-16 08:32:00 -05:00
Matthew Brown	090ad90de3	Fix build issues	2019-12-15 13:28:38 -05:00
Matthew Brown	72f3c306d7	Fix #2471 - don’t erroneously template class-strings	2019-12-15 13:23:04 -05:00
Matthew Brown	ce2e5b27c0	Fix #2470 - only parameterise constructors according to inherited params	2019-12-14 11:38:09 -05:00
Matthew Brown	c7a3ba9e4a	Refine callable type	2019-12-14 10:47:20 -05:00
Matthew Brown	b48021dbfd	Allow null return on template with null as type ... Ref #2466	2019-12-13 21:56:43 -05:00
Brown	2469f04715	Improve reconciliation of arrays with constant offsets	2019-12-13 17:17:14 -05:00
Brown	6d02aa86e8	Reconcile string emptiness a bit better	2019-12-13 15:51:54 -05:00
Matthew Brown	ca5f8fabdc	Fix #2464 - null coalesce shouldn’t allow undefined vars	2019-12-13 08:06:40 -05:00
Matthew Brown	6ff312fe13	Fix test	2019-12-12 11:43:03 -05:00
Matthew Brown	1df77a9f43	Only mark vars as reconcilable if they can be memoized	2019-12-12 11:24:47 -05:00
Matthew Brown	f45014d403	Fix #2460 - allow assertions on immutable method calls	2019-12-12 09:32:33 -05:00
Matthew Brown	8f25183784	Fix #2459 - don’t add assertions to parent context unnecessarily	2019-12-12 00:37:00 -05:00
Brown	05783eb616	Find issues with impossible property values	2019-12-11 17:08:02 -05:00
Brown	d2b99cbe77	Add possibly defined vars in binary op analysis	2019-12-11 13:09:27 -05:00
Brown	e476eed111	Fix issue where inside_conditional is forgotten	2019-12-11 12:06:10 -05:00
Brown	3a7dd61889	Fix #2457 - allow psalm-type aliases to be used above return type	2019-12-11 10:30:40 -05:00
Brown	4b715cdbff	Fix #2456 - ignore UnusedFunctionCall when function asserts	2019-12-11 10:13:22 -05:00
Brown	b3cf9d3958	Catch circular references in constants ... Fixes #2453	2019-12-10 16:16:44 -05:00
Brown	20049eb0b5	Fix #2437 - don’t worry about mixed templated param types	2019-12-10 14:58:26 -05:00
Brown	74de32fefe	Allow multiple @psalm-assert annotations for a given variable	2019-12-09 17:21:58 -05:00
Brown	b78acf796f	Fix #2445 - only generalise param when it’s generic	2019-12-09 10:58:09 -05:00
Matthew Brown	e3d108ebd9	Fix #2439 - fix templating of class-string<T>::returnsStatic	2019-12-08 21:12:25 -05:00
Matthew Brown	69e6624b16	Fix #2436 - fix templating of property types inside templated functions	2019-12-08 19:25:40 -05:00
Matthew Brown	02fbf12337	Only warn about clauses in the currently-scanned conditional	2019-12-08 16:35:56 -05:00
Matthew Brown	c9f43782fd	Fix mixed method issues after defining new type	2019-12-08 10:17:40 -05:00
Matthew Brown	83b10bb9af	Fix #2426, or at least some of it	2019-12-08 00:49:34 -05:00
Matthew Brown	2e00ad2240	Treat more things as assignments	2019-12-07 15:58:05 -05:00
Matthew Brown	f0cd7eab04	Remove redundant calls	2019-12-07 14:05:43 -05:00
Matthew Brown	3c52102388	Fix #2438 - improve handling of get_class calls	2019-12-07 14:03:20 -05:00
Matthew Brown	2b6831ba10	Fix too-long line	2019-12-07 01:38:24 -05:00
Matthew Brown	df395944f8	Change how $changed_var_ids is communicated	2019-12-07 01:23:35 -05:00
Brown	ef44bd104e	Consolidate some fixes from the binaryop branch	2019-12-06 12:47:27 -05:00
Brown	19838fc7f5	Fix #2423 - pass by ref variable status after byref assignment	2019-12-05 13:37:03 -05:00
Brown	8ff33ee64d	Fix #1943 - give up analysing really complicated conditionals	2019-12-05 10:26:53 -05:00
Tyson Andre	6b2c1401c8	Workaround for uncaught InvalidArgumentException (#2420) ... Fixes #2419	2019-12-04 23:16:51 -05:00
Brown	e1dd22ef6c	Allow static::class to be used in array assertions	2019-12-04 12:23:26 -05:00
Brown	821f3528d2	Fix #701 - indicate issues fixable with Psalter	2019-12-02 15:24:01 -05:00
Matthew Brown	27c9aa4286	Fix code and test	2019-12-01 10:43:51 -05:00
Matthew Brown	f21150b8ad	Fix #2384 - fix resolution of @param-out template types	2019-12-01 10:40:53 -05:00
Matthew Brown	ef829002bf	Fix ref	2019-12-01 10:33:27 -05:00
Matthew Brown	e40aaafe61	Allow explicit @var mixed docblocks ... Fixes #2397	2019-12-01 10:19:42 -05:00
Matthew Brown	2383945fb9	Support __METHOD__ and __FUNCTION__ magic constants better	2019-11-29 22:47:20 -05:00
Matthew Brown	6a98108deb	Apply @ShiraNai7’s fix for null const values	2019-11-29 10:12:46 -05:00
Pavel Batečko	dc78e9c57b	Update password function types for PHP 7.4 (#2396) ... * Support NULL predefined constants * Fix #2395 - update password_hash() and password_needs_rehash() types for PHP 7.4 * Change $fq_const_name check so it still uses isset	2019-11-29 09:30:01 -05:00
Matthew Brown	4052e6dfac	Allow isset to check for property initialisation ... Ref #2382	2019-11-28 09:12:17 -05:00
Matthew Brown	113bf921f6	Add support for arrow function inference	2019-11-27 10:12:59 -05:00
Matthew Brown	4334ddcaa3	Fix style	2019-11-27 02:11:18 -05:00