19 Commits

Author	SHA1	Message	Date
Matthew Brown	970ceab396	Check loop context var exists ... This can happen if the parent has been reassigned	2018-02-06 21:03:36 -05:00
Matt Brown	d88eadbb0e	Fix #486 - skip first reconciliation in loop checker for do stmts	2018-02-06 11:07:52 -05:00
Matt Brown	c7b2ae4e0e	Fix do while nullability issue	2018-01-29 17:18:03 -05:00
Matthew Brown	44b8b22995	Improve checks for unused variables and params	2018-01-28 17:28:34 -05:00
Matthew Brown	ea28ee709d	Improve unused variable detection slightly	2018-01-25 01:04:26 -05:00
Matthew Brown	c38cf9b672	Migrate type reconciliation code to its own class	2017-12-29 10:55:53 -05:00
Matthew Brown	3b7c84f484	Detect instances where loop invariants are invalidated ... Fixes #389	2017-12-17 10:58:03 -05:00
Matthew Brown	2011b8fb8f	Remove dead code	2017-12-16 10:51:04 -05:00
Matt Brown	8ca5fbefea	Invalidate clauses when assigning root vars	2017-12-15 17:34:21 -05:00
Matthew Brown	34c133d5d0	Add for post conditions to assignment map analysis	2017-12-13 22:04:37 -05:00
Matt Brown	51a2f12bbf	Only update inner loop vars that have changed given preconditions	2017-12-11 12:03:50 -05:00
Matt Brown	6c84fecce9	Always update the parent context from the loop context ... Fixes #377	2017-12-06 19:20:24 -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	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	cff7f35d00	Change __toString type conversions to more precise getId checks	2017-12-03 12:44:08 -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	888b5dae00	Move LoopChecker into its own file	2017-11-30 01:07:20 -05:00