142 Commits

Author	SHA1	Message	Date
Brown	53b0650c6c	Fix #2688 - foreach loop evaluation should allow changing loop var	2020-01-24 13:55:30 -05:00
Matthew Brown	1c8af2fdc7	Fix #2658 - catch exceptions thrown inside catch	2020-01-17 12:05:37 -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
Matthew Brown	8ecb8555e2	Fix count	2020-01-04 13:12:22 -05:00
Matthew Brown	37fb15250c	Add check for only simplest conditionals	2020-01-04 13:09:55 -05:00
Matthew Brown	8cbc26c2f1	Add range checks to identify for loops that always enter	2020-01-04 13:05:23 -05:00
Matthew Brown	9fa2db1b6c	Move Union::getTypes to Union::getAtomicTypes	2020-01-04 12:20:26 -05:00
Matthew Brown	ba6d0df048	Fix #2546 properly	2020-01-04 11:16:53 -05:00
Brown	0e39759ed6	Improve solution to #2546 slightly	2020-01-03 10:56:47 -05:00
Brown	ca1e65b29b	Handle iterators better	2020-01-02 10:41:43 -05:00
Matthew Brown	25e7039f02	The current method is used ... Fixes #2540	2020-01-01 18:33:12 -05:00
Matthew Brown	c79ba0b09e	Include non-empty-string type in more places	2019-12-30 07:25:36 -05:00
Matthew Brown	55c2f7faa2	Fix #2508 - don’t replace templated types with generic ones inside own function	2019-12-28 18:38:02 -05:00
Matthew Brown	ce9435da19	Fix #2521 - use correct context class when analysing trait	2019-12-28 15:56:26 -05: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	a4191171bf	Fix #2483 - treat intersecting PHPDocs from interfaces better	2019-12-20 01:42:57 +00:00
Brown	2469f04715	Improve reconciliation of arrays with constant offsets	2019-12-13 17:17:14 -05:00
Brown	05783eb616	Find issues with impossible property values	2019-12-11 17:08:02 -05:00
Brown	e476eed111	Fix issue where inside_conditional is forgotten	2019-12-11 12: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	83b10bb9af	Fix #2426, or at least some of it	2019-12-08 00:49:34 -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	8ff33ee64d	Fix #1943 - give up analysing really complicated conditionals	2019-12-05 10:26:53 -05:00
Brown	821f3528d2	Fix #701 - indicate issues fixable with Psalter	2019-12-02 15:24:01 -05:00
Matthew Brown	e40aaafe61	Allow explicit @var mixed docblocks ... Fixes #2397	2019-12-01 10:19:42 -05:00
Brown	1f07ea7ee7	Tighten up Psalm’s inference	2019-11-25 15:20:31 -05:00
Brown	1add42b691	Fix switch handling	2019-11-25 11:51:34 -05:00
Brown	0bcb7863f3	Use better system for storing inferred types and assertions	2019-11-25 11:44:54 -05:00
Brown	7b719915f5	Fix style things	2019-11-12 10:21:27 -05:00
Brown	7f5af741f7	Improve assertion calculation on mixed vars	2019-11-12 10:12:07 -05:00
Matthew Brown	b1aae0d1a5	Fix more try/catch stuff	2019-11-12 00:52:10 -05:00
Brown	51557c44ea	Evaluate finally blocks at the end of every catch	2019-11-11 18:38:33 -05:00
Brown	da03902f76	Fix handling of do... while vars defined in try	2019-11-11 18:24:43 -05:00
Brown	f22266b2ff	Improve reasoning around try/catch possibly-undefined vars	2019-11-11 17:42:46 -05:00
Brown	1a54aa5752	Fix test	2019-11-11 17:07:26 -05:00
Brown	cd2f8e7d65	Fix memory corruption	2019-11-11 16:56:44 -05:00
Brown	935bad9d2c	Fix erroneous unused variable	2019-11-11 16:52:55 -05:00
Brown	d15989c975	Allow catch to assume no try statements completed	2019-11-11 15:17:53 -05:00
Brown	fbd1cf0a71	Fix #2322 - don’t update outer context if elseif has no leaving statements	2019-11-11 11:46:27 -05:00
Brown	96586f16c0	Fix phpcs issues	2019-11-11 10:11:42 -05:00
Matthew Brown	94d4b876ba	Fix #2177 - mark variables in try block as potentially undefined	2019-11-09 12:25:30 -05:00
Matthew Brown	62a3598ed3	Fix #2197 - prevent false positive from try in while	2019-11-09 11:01:48 -05:00
Matthew Brown	7028a64440	Fix #2204 - fix try/catch false-positive	2019-11-09 10:39:21 -05:00
Matthew Brown	233977a764	Fix undefined array offset when too few iterator params supplied	2019-10-21 07:13:33 -04:00
Matthew Brown	4aeb28aceb	Fix #2244 - correctly check do while expression before use	2019-10-20 14:18:30 -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