1775 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Matthew Brown	db72ef29d8	Fix type reassignment in catches	2017-12-10 18:09:38 -05:00
Matthew Brown	f8207fe490	Improve handling of try/catch blocks, suppressing RedundantCondition where necessary ... Fixes #355	2017-12-10 17:36:33 -05:00
Matthew Brown	a413e0496a	Fix #361 by terminating analysis if loop statements have issues	2017-12-10 16:22:45 -05:00
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	7fb1b476c7	Sort results from multi-threaded execution	2017-12-10 11:22:36 -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	bfccdb417f	Pass through ignore_nullable_issues flag when verifying return statements	2017-12-07 16:08:09 -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	e08b11b144	Improve TemplateChecker	2017-12-06 01:05:51 -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	df90d72ad1	Emit return type errors at the function itself, not its parent ... Fixes #363	2017-12-06 00:11:05 -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
Matt Brown	83c65d4b2d	Add DOMNodeList::item to callmap	2017-12-04 11:59:16 -05:00
Matt Brown	1f57881310	Break out PossiblyNullArrayOffset and NullArrayOffset from InvalidArrayOffset	2017-12-04 11:20:31 -05:00
Gerrit Addiks	de09bd846c	Fixes #367; Added missing declaration for var_comment variable in ForEachChecker (#368)	2017-12-04 08:50:59 -05:00
Matthew Brown	8abd77c70f	Revert to from_docbblock status of outer loop	2017-12-04 00:13:46 -05:00
Matthew Brown	0134d7bf5c	Keep track of referenced loop vvars	2017-12-03 23:50:51 -05:00
Matthew Brown	69ca6bd0a0	Get LHS clauses of && expression after evaluation	2017-12-03 18:33:54 -05:00
Matthew Brown	02dcb2be95	Get or LHS clauses after evaluating statements	2017-12-03 18:22:25 -05:00
Matthew Brown	f5ca4b1c52	Also remove var from clauses when updating	2017-12-03 17:36:50 -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	cb9079ca88	Improve generic param replacement	2017-12-03 11:23:40 -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
Tyson Andre	f8f67d4d86	grammar nit for TypeParseTreeException (#359) ... Noticed when looking at recent changes	2017-12-03 01:06:14 -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	ed626db553	Widen switch redefined vars if defined in each case	2017-12-02 18:06:21 -05:00
Matthew Brown	3fca70c77b	Always reemove clauses if from_docblock status has changed	2017-12-02 17:57:58 -05:00
Matthew Brown	cfeb4c2586	Simplify vars_possibly_in_scope types	2017-12-02 13:32:20 -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
Matt Brown	5df10cfca6	Add PHP 7.2 support	2017-11-30 18:34:08 -05:00
Matthew Brown	888b5dae00	Move LoopChecker into its own file	2017-11-30 01:07:20 -05:00