27 Commits

Author	SHA1	Message	Date
Matt Brown	310f91ea81	Warn when methods with typehints don’t return for all codepaths	2018-01-02 16:57:40 -05:00
Matt Brown	6976f48316	Assume TVoid if no return expression	2017-11-28 17:34:10 -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
Matthew Brown	23e4c8f68b	Fix #290 - check for yields in assignments	2017-11-14 22:08:15 -05:00
Tyson Andre	b3505cfbef	Get rid of unused variables in psalm's codebase (#272) ... * Remove unused variables * Fix more unused variables * Fix remaining detected undefined variables Other 20 detected undefined variable warnings were false positives.	2017-11-08 23:14:27 -05:00
Matthew Brown	22a716f4da	Improve formatting of phpdocs	2017-05-26 20:16:18 -04:00
Matthew Brown	d6909193ea	Add additional formatting changes	2017-05-26 20:05:57 -04:00
github@muglug.com	20d4831f67	Improve return type ignore_nullable inference	2017-05-10 14:03:51 -04:00
Jon Ursenbach	f65c618b2e	PSR-2 adjustments and adding PHPCS checks into the Travis config. (#149) ... * PSR-2 adjustments and adding PHPCS checks into the Travis config. * Reverting some CallChecker changes and no longer casting vars to null.	2017-04-28 00:31:55 -04:00
Matt Brown	ae0ca9553f	Remove training wheels	2017-03-13 12:02:28 -04:00
Matthew Brown	a14b03c057	Fix issue with array_merge, and then bugs revealed by that	2017-01-19 01:32:35 -05:00
Matthew Brown	03141e41c2	Move string-stored types into named classes	2017-01-15 10:22:05 -05:00
Matthew Brown	05834a0db3	Fix #13 by revamping how we treat type assertions in if statements and ternary expressions	2016-12-28 13:12:06 -05:00
Matthew Brown	c55870e26c	Allow generic TypeChecker::isContainedBy checks	2016-12-24 18:28:43 +00:00
Matthew Brown	562f71b21f	Add TypeDoesNotContainType issue and fix those issues in Psalm code	2016-12-11 13:48:11 -05:00
Matthew Brown	0675e3364a	Fix PHPParser 3.0.1 compatibility issues	2016-12-03 22:41:45 -05:00
Matthew Brown	9d3dcc7401	Do not panic when bad types are passed	2016-11-20 23:31:10 -05:00
Matthew Brown	5cf95b42f2	--update-docblocks now works	2016-11-12 23:59:31 -05:00
Jon Ursenbach	27c2db1d1d	PSR-2	2016-11-02 17:50:54 -04:00
Matthew Brown	604c875d0c	Fix more errors caught by Psalm	2016-10-30 12:46:18 -04:00
Matthew Brown	07636468a2	Improve Generator typing	2016-10-20 15:26:02 -04:00
Matthew Brown	a4644a0e4a	Add support for Generator types	2016-10-20 14:28:16 -04:00
Matthew Brown	ca3dfe6e39	Fix Psalm errors in Psalm	2016-10-15 00:12:57 -04:00
Matthew Brown	8c5adf477a	Add support for key/value array typing	2016-09-09 16:21:49 -04:00
Matthew Brown	4d388d197c	Fix analysis of switch statements	2016-08-24 17:06:20 -04:00
Matthew Brown	7d1a106fd5	Big file reorg with ClassLikeChecker as new ClassChecker	2016-08-13 14:20:46 -04:00
Matthew Brown	df28d24803	Change name to Psalm	2016-07-25 18:37:44 -04:00