From: Andrzej Warzynski Date: Wed, 6 Jan 2021 09:54:30 +0000 (+0000) Subject: [flang][driver] Add checks for errors from `Prescan` and `Parse` X-Git-Tag: llvmorg-13-init~1997 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=e49dc2981cb311ac2b696ebb016fac9a8cd60922;p=platform%2Fupstream%2Fllvm.git [flang][driver] Add checks for errors from `Prescan` and `Parse` If either `Prescan` or `Parse` generate any fatal errors, the new driver will: * report it (i.e. issue an error diagnostic) * exit early * return non-zero exit code This behaviour is consistent with f18 (i.e. the old driver). Reviewed By: sameeranjoshi Differential Revision: https://reviews.llvm.org/D93712 --- diff --git a/flang/lib/Frontend/FrontendAction.cpp b/flang/lib/Frontend/FrontendAction.cpp index ad1079d..4972669 100644 --- a/flang/lib/Frontend/FrontendAction.cpp +++ b/flang/lib/Frontend/FrontendAction.cpp @@ -45,12 +45,24 @@ bool FrontendAction::ShouldEraseOutputFiles() { } llvm::Error FrontendAction::Execute() { + CompilerInstance &ci = this->instance(); + std::string currentInputPath{GetCurrentFileOrBufferName()}; Fortran::parser::Options parserOptions = this->instance().invocation().fortranOpts(); - this->instance().parsing().Prescan(currentInputPath, parserOptions); + // Prescan. In case of failure, report and return. + ci.parsing().Prescan(currentInputPath, parserOptions); + + if (ci.parsing().messages().AnyFatalError()) { + const unsigned diagID = ci.diagnostics().getCustomDiagID( + clang::DiagnosticsEngine::Error, "could not scan %0"); + ci.diagnostics().Report(diagID) << GetCurrentFileOrBufferName(); + ci.parsing().messages().Emit(llvm::errs(), ci.allCookedSources()); + + return llvm::Error::success(); + } ExecuteAction(); diff --git a/flang/lib/Frontend/FrontendActions.cpp b/flang/lib/Frontend/FrontendActions.cpp index b34dae7..fe21fc5 100644 --- a/flang/lib/Frontend/FrontendActions.cpp +++ b/flang/lib/Frontend/FrontendActions.cpp @@ -78,8 +78,19 @@ void ParseSyntaxOnlyAction::ExecuteAction() { common::LanguageFeatureControl features; Fortran::common::IntrinsicTypeDefaultKinds defaultKinds; - // Parse + // Parse. In case of failure, report and return. ci.parsing().Parse(llvm::outs()); + + if (ci.parsing().messages().AnyFatalError()) { + unsigned diagID = ci.diagnostics().getCustomDiagID( + clang::DiagnosticsEngine::Error, "could not parse %0"); + ci.diagnostics().Report(diagID) << GetCurrentFileOrBufferName(); + + ci.parsing().messages().Emit( + llvm::errs(), this->instance().allCookedSources()); + return; + } + auto &parseTree{*ci.parsing().parseTree()}; // Prepare semantics diff --git a/flang/test/Flang-Driver/parse-error.f95 b/flang/test/Flang-Driver/parse-error.f95 new file mode 100644 index 0000000..34af7e2 --- /dev/null +++ b/flang/test/Flang-Driver/parse-error.f95 @@ -0,0 +1,8 @@ +! RUN: not %flang-new -fc1 -fsyntax-only %s 2>&1 | FileCheck %s --check-prefix=ERROR +! RUN: not %f18 -parse-only %s 2>&1 | FileCheck %s --check-prefix=ERROR + +! REQUIRES: new-flang-driver + +! ERROR: could not parse {{.*}}parse-error.f95 + +"This file will not parse" diff --git a/flang/test/Flang-Driver/scanning-error.f95 b/flang/test/Flang-Driver/scanning-error.f95 new file mode 100644 index 0000000..5fcf89d --- /dev/null +++ b/flang/test/Flang-Driver/scanning-error.f95 @@ -0,0 +1,8 @@ +! RUN: not %flang-new -fc1 -E %s 2>&1 | FileCheck %s --check-prefix=ERROR +! RUN: not %f18 -E %s 2>&1 | FileCheck %s --check-prefix=ERROR + +! REQUIRES: new-flang-driver + +! ERROR: could not scan {{.*}}scanning-error.f95 + +#NOT-PP-DIRECTIVE