[Flang][Driver] Add support for -w option

A quick and dirty implementation of the -w option. Filters
the warning messages generated by the Frontend during emission.

TODO: Add more tests
TODO: Ignore MLIR, LLVM IR and Driver warnings
TODO: Check whether we can avoid generating rather than filtering
the warning options in the frontend.

Author: kiranchandramohan

clang/include/clang/Driver/Options.td

@@ -5680,7 +5680,7 @@ def whatsloaded : Flag<["-"], "whatsloaded">;
 def why_load : Flag<["-"], "why_load">;
 def whyload : Flag<["-"], "whyload">, Alias<why_load>;
 def w : Flag<["-"], "w">, HelpText<"Suppress all warnings">,
-  Visibility<[ClangOption, CC1Option]>,
+  Visibility<[ClangOption, CC1Option, FlangOption, FC1Option]>,
   MarshallingInfoFlag<DiagnosticOpts<"IgnoreWarnings">>;
 def x : JoinedOrSeparate<["-"], "x">,
 Flags<[NoXarchOption]>,

clang/lib/Driver/ToolChains/Flang.cpp

@@ -757,6 +757,8 @@ void Flang::ConstructJob(Compilation &C, const JobAction &JA,
   // Add other compile options
   addOtherOptions(Args, CmdArgs);
 
+  Args.AddLastArg(CmdArgs, options::OPT_w);
+
   // Forward flags for OpenMP. We don't do this if the current action is an
   // device offloading action other than OpenMP.
   if (Args.hasFlag(options::OPT_fopenmp, options::OPT_fopenmp_EQ,

flang/include/flang/Frontend/FrontendOptions.h

@@ -232,7 +232,8 @@ class FrontendInputFile {
 struct FrontendOptions {
   FrontendOptions()
       : showHelp(false), showVersion(false), instrumentedParse(false),
-        showColors(false), needProvenanceRangeToCharBlockMappings(false) {}
+        showColors(false), needProvenanceRangeToCharBlockMappings(false),
+        disableWarnings(false) {}
 
   /// Show the -help text.
   unsigned showHelp : 1;
@@ -251,6 +252,9 @@ struct FrontendOptions {
   /// compilation.
   unsigned needProvenanceRangeToCharBlockMappings : 1;
 
+  /// Disable warnings emitted by the Frontend
+  unsigned disableWarnings : 1;
+
   /// Input values from `-fget-definition`
   struct GetDefinitionVals {
     unsigned line;

flang/include/flang/Parser/message.h

@@ -284,7 +284,7 @@ class Messages {
   void Copy(const Messages &);
   void ResolveProvenances(const AllCookedSources &);
   void Emit(llvm::raw_ostream &, const AllCookedSources &,
-      bool echoSourceLines = true) const;
+      bool echoSourceLines = true, bool disableWarnings = false) const;
   void AttachTo(Message &, std::optional<Severity> = std::nullopt);
   bool AnyFatalError() const;
 

flang/include/flang/Semantics/semantics.h

@@ -312,7 +312,7 @@ class Semantics {
     return context_.FindScope(where);
   }
   bool AnyFatalError() const { return context_.AnyFatalError(); }
-  void EmitMessages(llvm::raw_ostream &) const;
+  void EmitMessages(llvm::raw_ostream &, bool disableWarnings = false) const;
   void DumpSymbols(llvm::raw_ostream &);
   void DumpSymbolsSources(llvm::raw_ostream &) const;
 

flang/lib/Frontend/CompilerInvocation.cpp

@@ -711,6 +711,9 @@ static bool parseFrontendArgs(FrontendOptions &opts, llvm::opt::ArgList &args,
     }
   }
 
+  if (const llvm::opt::Arg *A = args.getLastArg(clang::driver::options::OPT_w))
+    opts.disableWarnings = true;
+
   setUpFrontendBasedOnAction(opts);
   opts.dashX = dashX;
 

flang/lib/Frontend/FrontendAction.cpp

@@ -163,8 +163,10 @@ bool FrontendAction::runParse() {
     return false;
   }
 
+  bool disableWarnings = ci.getInvocation().getFrontendOpts().disableWarnings;
   // Report the diagnostics from getParsing
-  ci.getParsing().messages().Emit(llvm::errs(), ci.getAllCookedSources());
+  ci.getParsing().messages().Emit(llvm::errs(), ci.getAllCookedSources(), true,
+                                  disableWarnings);
 
   return true;
 }
@@ -187,8 +189,9 @@ bool FrontendAction::runSemanticChecks() {
     return false;
   }
 
+  bool disableWarnings = ci.getInvocation().getFrontendOpts().disableWarnings;
   // Report the diagnostics from the semantic checks
-  semantics.EmitMessages(ci.getSemaOutputStream());
+  semantics.EmitMessages(ci.getSemaOutputStream(), disableWarnings);
 
   return true;
 }

flang/lib/Frontend/FrontendActions.cpp

@@ -408,8 +408,10 @@ void PrintPreprocessedAction::executeAction() {
         outForPP, !ci.getInvocation().getPreprocessorOpts().noLineDirectives);
   }
 
+  bool disableWarnings = ci.getInvocation().getFrontendOpts().disableWarnings;
   // Print getDiagnostics from the prescanner
-  ci.getParsing().messages().Emit(llvm::errs(), ci.getAllCookedSources());
+  ci.getParsing().messages().Emit(llvm::errs(), ci.getAllCookedSources(), true,
+                                  disableWarnings);
 
   // If a pre-defined output stream exists, dump the preprocessed content there
   if (!ci.isOutputStreamNull()) {
@@ -544,6 +546,7 @@ void DebugDumpParseTreeAction::executeAction() {
 void DebugMeasureParseTreeAction::executeAction() {
   CompilerInstance &ci = this->getInstance();
 
+  bool disableWarnings = ci.getInvocation().getFrontendOpts().disableWarnings;
   // Parse. In case of failure, report and return.
   ci.getParsing().Parse(llvm::outs());
 
@@ -555,12 +558,14 @@ void DebugMeasureParseTreeAction::executeAction() {
     ci.getDiagnostics().Report(diagID) << getCurrentFileOrBufferName();
 
     ci.getParsing().messages().Emit(llvm::errs(),
-                                    this->getInstance().getAllCookedSources());
+                                    this->getInstance().getAllCookedSources(),
+                                    true, disableWarnings);
     return;
   }
 
   // Report the getDiagnostics from parsing
-  ci.getParsing().messages().Emit(llvm::errs(), ci.getAllCookedSources());
+  ci.getParsing().messages().Emit(llvm::errs(), ci.getAllCookedSources(), true,
+                                  disableWarnings);
 
   auto &parseTree{*ci.getParsing().parseTree()};
 

flang/lib/Parser/message.cpp

@@ -378,10 +378,14 @@ void Messages::ResolveProvenances(const AllCookedSources &allCooked) {
 }
 
 void Messages::Emit(llvm::raw_ostream &o, const AllCookedSources &allCooked,
-    bool echoSourceLines) const {
+    bool echoSourceLines, bool disableWarnings) const {
   std::vector<const Message *> sorted;
   for (const auto &msg : messages_) {
-    sorted.push_back(&msg);
+    if (disableWarnings && msg.severity() == Severity::Warning) {
+      // Do nothing
+    } else {
+      sorted.push_back(&msg);
+    }
   }
   std::stable_sort(sorted.begin(), sorted.end(),
       [](const Message *x, const Message *y) { return x->SortBefore(*y); });

flang/lib/Semantics/semantics.cpp

@@ -593,8 +593,10 @@ bool Semantics::Perform() {
       ModFileWriter{context_}.WriteAll();
 }
 
-void Semantics::EmitMessages(llvm::raw_ostream &os) const {
-  context_.messages().Emit(os, context_.allCookedSources());
+void Semantics::EmitMessages(
+    llvm::raw_ostream &os, bool disableWarnings) const {
+  context_.messages().Emit(
+      os, context_.allCookedSources(), true, disableWarnings);
 }
 
 void Semantics::DumpSymbols(llvm::raw_ostream &os) {

flang/test/Driver/w-option.f90

@@ -0,0 +1,14 @@
+! RUN: %flang -c %s 2>&1 | FileCheck %s
+! RUN: %flang -c -w %s 2>&1 | FileCheck %s -check-prefix=CHECK-W --allow-empty
+! CHECK: warning: Label '40' is in a construct that should not be used as a branch target here
+! CHECK: warning: Label '50' is in a construct that should not be used as a branch target here
+! CHECK-W-NOT: warning
+
+subroutine sub01(n)
+  integer n
+  GOTO (40,50,60) n
+  if (n .eq. 1) then
+40   print *, "xyz"
+50 end if
+60 continue
+end subroutine sub01