586 Commits

Author	SHA1	Message	Date
Matthew Brown	31ce716647	Widen empty array checks	2017-12-10 16:17:27 -05:00
Matthew Brown	c95af0bb57	Fix issue with assigning empty type	2017-12-10 14:56:51 -05:00
Matthew Brown	a345ec49a1	Fix is_bool checks on true vars	2017-12-09 16:05:31 -05:00
Matthew Brown	42dcd136ca	Improve treatment of true and fix #369	2017-12-09 15:51:38 -05:00
Matthew Brown	13f290038a	Improve RedundantCondition checks and add true type ... Fixes #383	2017-12-09 14:53:39 -05:00
Matt Brown	eca7351472	Add return-level issues as well as function-level ones ... Fixes #379	2017-12-07 15:50:25 -05:00
Matthew Brown	2a7b48ce5f	Add support for infinite loops ... Fixes #381	2017-12-06 23:46:41 -05:00
Matt Brown	6c84fecce9	Always update the parent context from the loop context ... Fixes #377	2017-12-06 19:20:24 -05:00
Matthew Brown	0eedad4f6a	Add UndefinedGlobalVariable issue and asssociated Possibly... one	2017-12-06 00:56:00 -05:00
Matthew Brown	a87a1f0dc9	Make sure undeclared array offset vars have type mixed ... Fixes #360	2017-12-06 00:35:41 -05:00
Matthew Brown	59b50bdcdd	Add proper types for magic constants ... Fixes #362	2017-12-06 00:05:01 -05:00
Matthew Brown	52fc81e4ab	Remove need for a __toString return type ... Fixes #364	2017-12-05 23:47:50 -05:00
Matt Brown	d10898b853	Remove code that only caused pain	2017-12-05 16:54:24 -05:00
Matt Brown	e2b1b24dbf	Fix empty checks, make them more like isset checks ... Fixes #372	2017-12-05 12:14:10 -05:00
Matt Brown	98085b2267	Fix #371 - improve handling of do statements broken in loop refactor	2017-12-05 11:05:10 -05:00
Matthew Brown	a8a1489a8f	Fix closure naming convention so it doesn’t confuse method id checks	2017-12-05 01:47:49 -05:00
Matthew Brown	02dcb2be95	Get or LHS clauses after evaluating statements	2017-12-03 18:22:25 -05:00
Matthew Brown	6843dfb7fc	Remove from_docblock status if we make a successful method call	2017-12-03 17:21:20 -05:00
Matthew Brown	7d003c5bc1	Fix erroneous treatment of or clauses in if statements	2017-12-03 16:25:52 -05:00
Matthew Brown	181d1bb129	Don’t complain about redundant conditions for possibly undefined vars	2017-12-03 15:00:59 -05:00
Matthew Brown	cb4691fb44	Always set templated types as being from docblocks	2017-12-03 13:22:06 -05:00
Matthew Brown	cff7f35d00	Change __toString type conversions to more precise getId checks	2017-12-03 12:44:08 -05:00
Matthew Brown	a47675250a	Set that a type is from docblock when substituting in docblock atomic type	2017-12-03 01:24:47 -05:00
Matthew Brown	be3212eb42	Remove conflicting clauses from switch assertions	2017-12-03 00:58:24 -05:00
Matthew Brown	9a83990053	Clear clauses made redundant by pre-loop assignments	2017-12-02 20:02:29 -05:00
Matthew Brown	d20b8d3034	Improve loop analysis (#365)	2017-12-02 18:28:18 -05:00
Matthew Brown	3fca70c77b	Always reemove clauses if from_docblock status has changed	2017-12-02 17:57:58 -05:00
Matt Brown	c112ca9a63	Suppress issue in tests	2017-11-30 19:14:52 -05:00
Matt Brown	d6960f526c	Remove testing support for 7.2	2017-11-30 19:11:06 -05:00
Matt Brown	062d46c132	Update to latest php-cs-fixer	2017-11-30 19:00:09 -05:00
Matthew Brown	2b34fa0cd0	Fix #357 by passing right set of issues to FunctionLikeChecker::compareMethods	2017-11-30 00:07:36 -05:00
Matthew Brown	52f9225356	Add separate issues for implemented return type mismatch	2017-11-30 00:01:41 -05:00
Matthew Brown	0ea6540018	Fix #358, don’t emit PropertyNotSetInConstructor on public final classes/methods	2017-11-29 23:46:56 -05:00
Matthew Brown	0c2b2b69b3	Fix #348 - allow signature return types to be non-nullable if parent is nullable	2017-11-28 23:09:09 -05:00
Matthew Brown	f4212d897c	Fix erroneous empty array creation in SwitchChecker ... Fixes #354	2017-11-28 22:33:37 -05:00
Matthew Brown	6c9d90850a	Don’t complain when there are duplicate clauses if due to an assignment ... Fixes #356	2017-11-28 22:17:03 -05:00
Matt Brown	1173dcc6a2	Don’t stop reconciling types when encountering problem	2017-11-28 17:42:00 -05:00
Matt Brown	252fa8da78	Fix #346 by making a change in from_docblock invalidate clauses	2017-11-28 17:27:19 -05:00
Matt Brown	33f003f427	Don’t complain about repeat isset calls on array keys ... Fixes #347	2017-11-28 16:52:52 -05:00
Matthew Brown	f27bd50abe	Add RedundantCondition issue, replacing FailedTypeResolution (#344) ... * Group changes * Don’t worry about vars defined before exiting * Fix issues with vars defined in conditionals * Add failing test * Only add failed reconciliation flag if nothing could be salvaged * Avoid notice when removing clauses * Improve handling of loops * Fix evaluation of binary op expressions * Remove unset vars from outer context after loop * Ignore RedundantCondition in some more configs	2017-11-28 00:46:41 -05:00
Matthew Brown	f16642dad2	Better switch analysis (#343) ... * Experiment with good switch analysis * Improve switch accuracy at expense of some processor cycles * Evaluate switch case expression in case context	2017-11-28 00:25:21 -05:00
Matt Brown	8fff59f7de	Fix union of intersection types	2017-11-27 19:15:01 -05:00
Matt Brown	b8b1169a03	Consolidate intersection type checks in one place	2017-11-27 18:07:38 -05:00
Matt Brown	bd22f9425c	Fix #175 - support interface intersection types with other interfaces	2017-11-27 16:49:59 -05:00
Matt Brown	a6f3781452	Fix #340 - give up with mixed type when accessing unknown key on objectlike	2017-11-27 12:01:23 -05:00
Matt Brown	8b0d99e28b	Fix extending of core classes that do bad things	2017-11-27 11:43:06 -05:00
Matthew Brown	afcbc113c9	Fix #228, fix #336 by improving checking of inherited signatures	2017-11-26 16:03:17 -05:00
Matthew Brown	18e68a60de	Fix #334 by allowing interfaces as foreach args to be correctly interpreted	2017-11-24 12:57:00 -05:00
Matthew Brown	4312ef380b	Fix issues found by improved Psalm checks ... cc @TysonAndre, found with RedundantCondition checks	2017-11-24 12:10:30 -05:00
Matthew Brown	fd3de443b2	Update loop with union of existing types	2017-11-21 22:13:46 -05:00