Sema: respect CompilerOptions

Semantic analyzer may output warnings.  Take an instance of
CompilerOptions when constructing a Sema and pass use it to decide how
to treat warnings.

Author: ftynse

tc/core/tc2halide.cc

@@ -915,7 +915,8 @@ HalideComponents translate(
     const tc::CompilerOptions& compilerOptions = tc::CompilerOptions()) {
   LOG_IF(INFO, tc::FLAGS_debug_halide) << treeRef;
   return translateDef(
-      lang::Def(lang::Sema().checkFunction(treeRef)), compilerOptions);
+      lang::Def(lang::Sema(compilerOptions).checkFunction(treeRef)),
+      compilerOptions);
 }
 
 // NOTE: there is no guarantee here that the tc string has only one def. It

tc/lang/sema.h

@@ -21,6 +21,7 @@
 #include "tc/lang/error_report.h"
 #include "tc/lang/tree.h"
 #include "tc/lang/tree_views.h"
+#include "tc/utils/compiler_options.h"
 
 namespace lang {
 
@@ -170,6 +171,10 @@ static inline TreeRef match_types(TreeRef a, TreeRef b) {
 /// variable objects.
 /// - checks that input variables are readonly.
 struct Sema {
+  explicit Sema(
+      const tc::CompilerOptions& compilerOptions = tc::CompilerOptions())
+      : compilerOptions(compilerOptions) {}
+
   TreeRef typeOfExpr(TreeRef ref) {
     if (expr_to_type.count(ref) == 0) {
       throw ErrorReport(ref)
@@ -556,7 +561,7 @@ struct Sema {
           << " is not pre-initialized before calling the TC function,"
           << " consider using the !-suffixed reduction operator " << tk
           << "! instead of " << tk;
-      warn(err);
+      warn(err, compilerOptions);
     }
 
     auto type = TensorType::create(
@@ -709,5 +714,8 @@ struct Sema {
 
   std::unordered_set<std::string> inputParameters;
   std::unordered_set<std::string> nonTemporaries;
+
+  // TC compilation flow options.
+  tc::CompilerOptions compilerOptions;
 };
 } // namespace lang