This is a work item to track some of the ideas and work associated with implementing simple control flow analysis for error reporting purposes. @vladima has already implemented a version of this concept in #1287. It already covers some of the separate issues people have asked for but I'm adding a list of tasks here that can be checked off/added to by whoever ends up officially taking on this work.

• Use before definition Suggestion: disallow use before definition #21
• Switch case fall through Report errors for duplicate case clauses #854