commit aec965e4a1cb513e9ca45c9747f221532797f75e
author dan sinclair <dsinclair@chromium.org> Tue Apr 07 12:54:29 2020 +0000
committer dan sinclair <dsinclair@google.com> Tue Apr 07 12:54:29 2020 +0000
tree fbbf9f17b6c4edd9bb1d4c71abac21157e113950
parent 6010b29f65a7afefc7286c5c2f37df6023e7bd2d

Add continue statement type determination.

This CL adds type determination for the continue statement.

Bug: tint:5
Change-Id: Ie63994146978d8783f131299b576fc46a10878ad
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/18831
Reviewed-by: David Neto <dneto@google.com>

src/type_determiner.cc

diff --git a/src/type_determiner.cc b/src/type_determiner.cc
index 8418998..2e8ffbd 100644
--- a/src/type_determiner.cc
+++ b/src/type_determiner.cc
@@ -17,6 +17,7 @@
 #include "src/ast/assignment_statement.h"
 #include "src/ast/break_statement.h"
 #include "src/ast/case_statement.h"
+#include "src/ast/continue_statement.h"
 #include "src/ast/scalar_constructor_expression.h"
 #include "src/ast/type_constructor_expression.h"
 
@@ -85,6 +86,10 @@
     auto c = stmt->AsCase();
     return DetermineResultType(c->body());
   }
+  if (stmt->IsContinue()) {
+    auto c = stmt->AsContinue();
+    return DetermineResultType(c->conditional());
+  }
 
   error_ = "unknown statement type for type determination";
   return false;