104 Commits

Author	SHA1	Message	Date
orklah	f66d57f19d	add native return types (#4116) ... * add native return types * remove redundant phpdoc	2020-09-04 16:26:33 -04:00
Brown	92239add4d	Add some backwards-incompatible changes for 4.x	2020-08-30 11:44:14 -04:00
Brown	c13b0efd49	Improve understanding of negated count queries	2020-08-30 11:32:01 -04:00
Brown	5f5ce6eb32	Fix typo	2020-08-26 18:16:12 -04:00
Brown	e64d45b644	Fix #4061 - allow indirect null comparison check	2020-08-26 17:58:01 -04:00
Brown	42c3a703b5	Fix #3741 - detect scalar class constants in if-true assertions	2020-08-12 17:03:41 -04:00
Brown	a8c0d81dc1	Prevent bool > 1 in strict mode	2020-07-30 11:25:47 -04:00
Brown	6949a34ded	Put RedundantIdentityWithTrue behind a flag cc @greg0ire	2020-07-30 10:25:59 -04:00
Brown	d9d5fdd6c9	Add more rules around positive ints	2020-07-26 18:29:17 -04:00
Grégoire Paris	2f673fbbd7	Detect redundant identity with true (#3893) ... Using === true on a known boolean results in the same boolean.	2020-07-25 17:27:45 -04:00
Brown	76bd5b6278	Refactor type comparison	2020-07-21 19:40:35 -04:00
Brown	ae89a71c84	Prevent false-positive comparing template to true	2020-07-21 12:59:50 -04:00
Brown	f0a5463834	Catch string subtypes that cannot be identical	2020-07-14 10:08:31 -04:00
Brown	2399643472	Fix #3811 - allow more complex negations inside boolean expressions	2020-07-13 21:31:58 -04:00
Brown	8d022307d2	Fix #3797 - prevent many chained assignments crashing Psalm	2020-07-10 16:49:45 -04:00
Brown	6419788a49	Remove false from template param as necessary ... Fixes #3737	2020-07-03 01:07:50 -04:00
Brown	7a7cd91c24	Fix #3631 - better treatment for assignments in complex conditionals	2020-06-24 13:16:52 -04:00
Brown	4d6fc4d0ca	Fix get_class($foo) === static::class checks	2020-06-23 13:11:19 -04:00
Brown	1f86afece7	Revert "Fix #3631 - apply assertions to RHS of equality in conditional" ... This reverts commit 9c17795545.	2020-06-22 20:01:27 -04:00
Brown	9c17795545	Fix #3631 - apply assertions to RHS of equality in conditional	2020-06-22 15:16:16 -04:00
Brown	137647a1a0	Fix #3603 - better typed value comparisons for loose equality	2020-06-18 09:31:38 -04:00
Brown	45ea5d0bfe	Add a couple more shortcuts for common pattern ... Fixes #3563	2020-06-12 11:18:34 -04:00
Brown	9b413cfccc	Improved understanding of array_key_exists ... Fixes #3463	2020-05-27 09:03:36 -04:00
Brown	5ee1487a01	Make ExpressionAnalyzer more beautiful	2020-05-18 15:13:27 -04:00
Brown	21798efed2	Fix #3388 - eliminate null after < 0 check	2020-05-18 08:52:44 -04:00
Matthew Brown	4dd0a2b775	Fix #3380 - allow comparisons between template param and empty array	2020-05-16 16:41:07 -04:00
Nobu Funaki	abef8008bc	Fix InvalidCast after is_callable([$val, '__toString']) check (#3372) ... Support is_callable() with an array argument similar to method_exists()	2020-05-16 08:50:43 -04:00
Brown	8ab5a0f504	Probably safe to un-negate a class string assertion without autoloader	2020-04-30 12:48:21 -04:00
Brown	bb46c30e38	Fix #3191 - don’t generate complex assertion from class-string	2020-04-19 12:53:50 -04:00
Brown	672baea6fc	Fix #3116 - allow class to be compared to a templated class-string	2020-04-10 00:26:11 -04:00
Brown	971ae50bea	Do prep work for #3024 - improve handling of absent class references	2020-03-26 12:35:27 -04:00
Brown	467da32f84	Fix instanceof static and isa (static::class) handling	2020-03-24 18:58:15 -04:00
Matthew Brown	bfb919d26a	Break out methods into their own classes	2020-03-11 23:04:52 -04:00
Matthew Brown	952045e2ba	Fix return type checks	2020-02-22 11:28:24 -05:00
Matthew Brown	1a3129b0e0	Fix test condition	2020-02-22 10:53:30 -05:00
Matthew Brown	1c218c020e	Fix #1684 - detect error in assertion on return type of direct call	2020-02-22 10:41:57 -05:00
Matthew Brown	653353709a	Use MethodIdentifier object instead of string	2020-02-14 20:54:26 -05:00
Brown	f141f7c526	Improve --diff checks by including trait-using classes in dependents	2020-02-11 16:39:33 -05:00
Matthew Brown	43c7b00cd0	Fix #2734 - allow is_a to operate on templated class-strings	2020-02-02 12:26:28 -05:00
Matthew Brown	b582c49f51	Fix #2645 - add workarounds for some edgecases	2020-01-17 10:25:05 -05:00
Matthew Brown	42073a800a	Remove unevaluated code	2020-01-14 00:55:56 -05:00
Matthew Brown	e1daf26202	Improve support for null coalesce checks	2020-01-14 00:53:38 -05:00
Brown	2c7197ab4b	Fix #2578 - improve inference of functions beginning with assert	2020-01-09 15:45:17 -05:00
Brown	8e786a17dd	Deal with a reconciled var more accurately ... Ref #2426	2020-01-06 11:09:07 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Matthew Brown	366e2d30a3	Improve assertions support a bit more	2019-12-30 10:48:50 -05:00
Matthew Brown	19faa31865	Allow assertions on nested properties	2019-12-30 10:01:31 -05:00
Brown	05783eb616	Find issues with impossible property values	2019-12-11 17:08:02 -05:00
Matthew Brown	c9f43782fd	Fix mixed method issues after defining new type	2019-12-08 10:17:40 -05:00
Brown	f97a8f0d5b	Use more accurate way to determine list size	2019-11-26 16:34:19 -05:00