Enable control flow analysis for variable declarations

Fixes bug 651311.

diff --git a/vala/valaflowanalyzer.vala b/vala/valaflowanalyzer.vala
index c57ade73002cad6a1a2b8c0f613a9ba39048a7df..c17b77b6c665762cffbc06521869c24ec2524135 100644 (file)
--- a/vala/valaflowanalyzer.vala
+++ b/vala/valaflowanalyzer.vala
@@ -517,6 +517,8 @@ public class Vala.FlowAnalyzer : CodeVisitor {
        }
 
        public override void visit_declaration_statement (DeclarationStatement stmt) {
+               stmt.accept_children (this);
+
                if (unreachable (stmt)) {
                        stmt.declaration.unreachable = true;
                        return;
@@ -534,6 +536,12 @@ public class Vala.FlowAnalyzer : CodeVisitor {
                }
        }
 
+       public override void visit_local_variable (LocalVariable local) {
+               if (local.initializer != null) {
+                       local.initializer.accept (this);
+               }
+       }
+
        public override void visit_expression_statement (ExpressionStatement stmt) {
                stmt.accept_children (this);