Matthew Brown 17edb2bbe6 Add better understanding of arrays with keyed integer offsets (#400) ... * Add tests for keyed integer assignemnt * First pass to get keyed integer assignment working * Fix array assignment to object-like with different key type * Improve treatment of objectlikes for callable and iterable comparisons * Fix array assignment to strings and addition * Convert expression to CNF * Do better at merging property types * Fix array_rand key type		2017-12-18 18:47:17 -05:00
..
Statements	Add better understanding of arrays with keyed integer offsets (#400)	2017-12-18 18:47:17 -05:00
AlgebraChecker.php	Only complain about redundant conditions if there’s one negated clause	2017-12-18 00:47:36 -05:00
CanAlias.php	Fix issues that improved array checks found	2017-11-19 12:14:02 -05:00
ClassChecker.php	Isolate where we load static storage objects (#195)	2017-07-29 15:05:06 -04:00
ClassLikeChecker.php	Remove dead code	2017-12-16 10:51:04 -05:00
ClosureChecker.php	PSR-2	2016-11-02 17:50:54 -04:00
CommentChecker.php	Don’t treat callmap scalar types as any sort of filtering mechanism	2017-12-15 16:48:06 -05:00
FileChecker.php	Add UndefinedGlobalVariable issue and asssociated Possibly... one	2017-12-06 00:56:00 -05:00
FunctionChecker.php	Add better understanding of arrays with keyed integer offsets (#400)	2017-12-18 18:47:17 -05:00
FunctionLikeChecker.php	Remove dead code	2017-12-16 10:51:04 -05:00
InterfaceChecker.php	Fix phpdoc in psalm's codebase referring to missing params. (#273)	2017-11-08 23:32:22 -05:00
MethodChecker.php	Fix issues found by improved Psalm checks	2017-11-24 12:10:30 -05:00
NamespaceChecker.php	Fix #228, fix #336 by improving checking of inherited signatures	2017-11-26 16:03:17 -05:00
ProjectChecker.php	Improve RedundantCondition checks and add true type	2017-12-09 14:53:39 -05:00
ScopeChecker.php	Remove more methods never called	2017-12-16 10:59:04 -05:00
SourceChecker.php	Fix return {expr} checks for void functions	2017-12-14 12:50:02 -05:00
StatementsChecker.php	Detect instances where loop invariants are invalidated	2017-12-17 10:58:03 -05:00
TraitChecker.php	Remove dead code	2017-12-16 10:51:04 -05:00
TypeChecker.php	Add better understanding of arrays with keyed integer offsets (#400)	2017-12-18 18:47:17 -05:00