added basic dataflow analysis to skslc

tests/SkSLErrorTest.cpp

 /*
  * Copyright 2016 Google Inc.
  *
  * Use of this source code is governed by a BSD-style license that can be
  * found in the LICENSE file.
  */
 
 #include "SkSLCompiler.h"
 
 #include "Test.h"
@@ skipping 163 matching lines @@
 DEF_TEST(SkSLUsingInvalidValue, r) {
     test_failure(r,
                  "void main() { int x = int; }", 
                  "error: 1: expected '(' to begin constructor invocation\n1 error\n");
     test_failure(r,
                  "int test() { return 1; } void main() { int x = test; }", 
                  "error: 1: expected '(' to begin function call\n1 error\n");
 }
 DEF_TEST(SkSLDifferentReturnType, r) {
     test_failure(r,
-                 "int main() { } void main() { }", 
+                 "int main() { return 1; } void main() { }", 
                  "error: 1: functions 'void main()' and 'int main()' differ only in return type\n1 "
                  "error\n");
 }
 
 DEF_TEST(SkSLDifferentModifiers, r) {
     test_failure(r,
                  "void test(int x); void test(out int x) { }", 
                  "error: 1: modifiers on parameter 1 differ between declaration and definition\n1 "
                  "error\n");
 }
@@ skipping 76 matching lines @@
     test_failure(r,
                  "void main() { int x = 5 > 2 ? true : 1.0; }",
                  "error: 1: ternary operator result mismatch: 'bool', 'float'\n1 error\n");
 }
 
 DEF_TEST(SkSLInterfaceBlockStorageModifiers, r) {
     test_failure(r,
                  "uniform foo { out int x; };",
                  "error: 1: interface block fields may not have storage qualifiers\n1 error\n");
 }
+
+DEF_TEST(SkSLUseWithoutInitialize, r) {
+    test_failure(r,
+                 "void main() { int x; if (5 == 2) x = 3; x++; }",
+                 "error: 1: 'x' has not been assigned\n1 error\n");
+    test_failure(r,
+                 "void main() { int x[2][2]; int i; x[i][1] = 4; }",
+                 "error: 1: 'i' has not been assigned\n1 error\n");
+    test_failure(r,
+                 "int main() { int r; return r; }",
+                 "error: 1: 'r' has not been assigned\n1 error\n");
+    test_failure(r,
+                 "void main() { int x; int y; x = y; }",

[dogben, 2016/10/13 19:12:43]

nit: I mentioned this case for the var declaration case, i.e.
int x;
int y = x;

+                 "error: 1: 'y' has not been assigned\n1 error\n");
+    test_failure(r,
+                 "void main() { bool x; if (true && (false || x)) return; }",
+                 "error: 1: 'x' has not been assigned\n1 error\n");
+}
+
+DEF_TEST(SkSLUnreachable, r) {
+    test_failure(r,
+                 "void main() { return; return; }",
+                 "error: 1: unreachable\n1 error\n");
+    test_failure(r,
+                 "void main() { for (;;) { continue; int x = 1; } }",
+                 "error: 1: unreachable\n1 error\n");
+    test_failure(r,
+                 "void main() { for (;;) { } return; }",
+                 "error: 1: unreachable\n1 error\n");
+    test_failure(r,
+                 "void main() { if (true) return; else discard; return; }",
+                 "error: 1: unreachable\n1 error\n");
+    test_failure(r,
+                 "void main() { return; while (true); }",
+                 "error: 1: unreachable\n1 error\n");
+}
+
+DEF_TEST(SkSLNoReturn, r) {
+    test_failure(r,
+                 "int foo() { if (2 > 5) return 3; }",
+                 "error: 1: function can exit without returning a value\n1 error\n");
+}
+
+DEF_TEST(SkSLBreakOutsideLoop, r) {
+    test_failure(r,
+                 "void foo() { while(true) {} if (true) break; }",
+                 "error: 1: break statement must be inside a loop\n1 error\n");
+}
+
+DEF_TEST(SkSLContinueOutsideLoop, r) {
+    test_failure(r,
+                 "void foo() { for(;;); continue; }",
+                 "error: 1: continue statement must be inside a loop\n1 error\n");
+}