40 Commits

Author	SHA1	Message	Date
Matthew Brown	131fb97663	Fix #2594 - forbid isset check on null	2020-01-11 15:58:40 -05:00
Matthew Brown	1b7b71f2ca	Fix #2591 - always remove changed var from parent clauses ... Even when there are no child clauses due to an assertion	2020-01-10 23:46:45 -05:00
Brown	5ddcab1003	Fix subtraction of string from numeric	2020-01-10 18:05:45 -05:00
Brown	bd9142f131	Fix #2574 - remove assertions after increment	2020-01-09 11:51:56 -05:00
Matthew Brown	1f777bec0e	Capture non-empty-string from concat more effectively	2020-01-07 01:44:12 -05:00
Matthew Brown	cc9e0fab67	Prevent string being used in non-empty-string location	2020-01-06 20:57:57 -05:00
Brown	5c45221bdc	Improve reconciliation of || ... Ref #2426	2020-01-06 16:37:44 -05:00
Brown	8e786a17dd	Deal with a reconciled var more accurately ... Ref #2426	2020-01-06 11:09:07 -05:00
Matthew Brown	4888ae67a6	Fix #2558 - remove wedge clauses when they’re the only thing left	2020-01-06 08:56:50 -05:00
SignpostMarv	fbf66ba7f6	Typecast bool to int (#2550) ... * adding specific checks for typecasting booleans, re: vimeo/psalm#2548 * satisfying phpcs * amend check to use psalm types rather than php-parser types * implementing tests for typecasting bools to int * satisfying phpcs	2020-01-04 16:36:19 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Matthew Brown	71cdaf6345	Fix tests	2020-01-02 08:37:54 -05:00
Matthew Brown	4021d673bd	Fix #2536 - grab binary op left assertions after analysis	2020-01-01 12:45:24 -05:00
Matthew Brown	0c7851ae21	Fix #2526 - always check for array assignment in assignop	2019-12-29 08:36:46 -05:00
Matthew Brown	982fe627e0	Fix #2515 - allow chained assertions on @psalm-mutation-free methods	2019-12-27 16:44:55 -05:00
Matthew Brown	4a28525275	Fix removal of traversable from iterable ... Fixes #2509	2019-12-27 13:01:44 -05:00
Matthew Brown	141bfd313f	Improve handling of assignments in arrays	2019-12-22 12:36:16 +00:00
Matthew Brown	8fc3c3b8cd	Improve removing types from callable	2019-12-22 10:29:00 +00:00
Matthew Brown	4c8730c5a3	Improve handling of unset array, ensuring that keys don’t persevere	2019-12-22 01:42:39 +00:00
Matthew Brown	bf67c036aa	Fix #2474 - treat free-standing binaryops as ifs instead	2019-12-16 08:32:00 -05:00
Brown	e1af0e01ee	Revert code back to how it was	2019-12-13 17:52:37 -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	c9b5e96b0f	Fix ref	2019-12-13 08:11:04 -05:00
Matthew Brown	ca5f8fabdc	Fix #2464 - null coalesce shouldn’t allow undefined vars	2019-12-13 08:06:40 -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	612f74f481	Clean up static property reconciliation	2019-12-11 15:05:09 -05:00
Brown	6b56a0239d	Improve handling of assertions on static properties	2019-12-11 14:06:09 -05:00
Brown	d2b99cbe77	Add possibly defined vars in binary op analysis	2019-12-11 13:09:27 -05:00
Matthew Brown	750d4b4f4f	Be more accurate when assertion is incorrect ... Ref #2452	2019-12-10 09:26:46 -05:00
Brown	aaffdbc79f	Add support for non-empty scalar ... Ref #2449	2019-12-09 17:06:10 -05:00
Matthew Brown	02fbf12337	Only warn about clauses in the currently-scanned conditional	2019-12-08 16:35:56 -05:00
Matthew Brown	6236a30bf5	Add broken test	2019-12-08 13:02:38 -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	d7fdd9b179	Move more tests into appropriate directory	2019-12-07 13:38:06 -05:00
Matthew Brown	df395944f8	Change how $changed_var_ids is communicated	2019-12-07 01:23:35 -05:00
Brown	6ec947b82b	Move some tests into special fodler	2019-12-06 14:58:18 -05:00