diff --git a/lib/Basic/DiagnosticIDs.cpp b/lib/Basic/DiagnosticIDs.cpp index efc3f94c959954df4dedc85bc2145088534cdab5..3c370f67fa3222d7198b9cc96444c6c4c3e45a5e 100644 --- a/lib/Basic/DiagnosticIDs.cpp +++ b/lib/Basic/DiagnosticIDs.cpp @@ -351,7 +351,7 @@ bool DiagnosticIDs::isDefaultMappingAsError(unsigned DiagID) { if (DiagID >= diag::DIAG_UPPER_LIMIT) return false; - return GetDefaultDiagMapping(DiagID).getSeverity() == diag::Severity::Error; + return GetDefaultDiagMapping(DiagID).getSeverity() >= diag::Severity::Error; } /// getDescription - Given a diagnostic ID, return a description of the diff --git a/lib/Frontend/ASTUnit.cpp b/lib/Frontend/ASTUnit.cpp index 635d566159bdf04b2179b39a9f330a0842b3f1d1..e0bf1c51c85d9da5df28a429e5d8b30f4a1138ee 100644 --- a/lib/Frontend/ASTUnit.cpp +++ b/lib/Frontend/ASTUnit.cpp @@ -2509,7 +2509,8 @@ static bool serializeUnit(ASTWriter &Writer, } bool ASTUnit::serialize(raw_ostream &OS) { - bool hasErrors = getDiagnostics().hasErrorOccurred(); + // For serialization we are lenient if the errors were only warn-as-error kind. + bool hasErrors = getDiagnostics().hasUncompilableErrorOccurred(); if (WriterData) return serializeUnit(WriterData->Writer, WriterData->Buffer, diff --git a/lib/Frontend/ChainedIncludesSource.cpp b/lib/Frontend/ChainedIncludesSource.cpp index 1c1081fbe08e7cd6e65baeeabab14bfdd3a7b128..51771bfb5498e47e942f883c17140ad4c98b3391 100644 --- a/lib/Frontend/ChainedIncludesSource.cpp +++ b/lib/Frontend/ChainedIncludesSource.cpp @@ -164,7 +164,7 @@ IntrusiveRefCntPtr<ExternalSemaSource> clang::createChainedIncludesSource( ArrayRef<llvm::IntrusiveRefCntPtr<ModuleFileExtension>> Extensions; auto consumer = llvm::make_unique<PCHGenerator>( Clang->getPreprocessor(), "-", nullptr, /*isysroot=*/"", Buffer, - Extensions); + Extensions, /*AllowASTWithErrors=*/true); Clang->getASTContext().setASTMutationListener( consumer->GetASTMutationListener()); Clang->setASTConsumer(std::move(consumer)); diff --git a/lib/Sema/AnalysisBasedWarnings.cpp b/lib/Sema/AnalysisBasedWarnings.cpp index a43513530e733306fd5ecd7125a18444da189af5..67762bde3439deffbc5809c457806a3d1a6a521f 100644 --- a/lib/Sema/AnalysisBasedWarnings.cpp +++ b/lib/Sema/AnalysisBasedWarnings.cpp @@ -1897,7 +1897,7 @@ AnalysisBasedWarnings::IssueWarnings(sema::AnalysisBasedWarnings::Policy P, if (cast<DeclContext>(D)->isDependentContext()) return; - if (Diags.hasUncompilableErrorOccurred() || Diags.hasFatalErrorOccurred()) { + if (Diags.hasUncompilableErrorOccurred()) { // Flush out any possibly unreachable diagnostics. flushDiagnostics(S, fscope); return; diff --git a/lib/Serialization/ASTReader.cpp b/lib/Serialization/ASTReader.cpp index 820f339a75df6519877ce40270956faea157f043..b35bd7bd329b4ebcd9b6f07624773afa17d2e3fa 100644 --- a/lib/Serialization/ASTReader.cpp +++ b/lib/Serialization/ASTReader.cpp @@ -2309,6 +2309,11 @@ ASTReader::ReadControlBlock(ModuleFile &F, Diag(diag::err_pch_with_compiler_errors); return HadErrors; } + if (hasErrors) { + Diags.ErrorOccurred = true; + Diags.UncompilableErrorOccurred = true; + Diags.UnrecoverableErrorOccurred = true; + } F.RelocatablePCH = Record[4]; // Relative paths in a relocatable PCH are relative to our sysroot. diff --git a/lib/Serialization/GeneratePCH.cpp b/lib/Serialization/GeneratePCH.cpp index 4a2255ab6d39d0b567647bbf42b9d33725dd21ac..308fde8b1dd7aa99ec60f96e875ae23dbbf07f23 100644 --- a/lib/Serialization/GeneratePCH.cpp +++ b/lib/Serialization/GeneratePCH.cpp @@ -51,7 +51,10 @@ void PCHGenerator::HandleTranslationUnit(ASTContext &Ctx) { // Emit the PCH file to the Buffer. assert(SemaPtr && "No Sema?"); Buffer->Signature = - Writer.WriteAST(*SemaPtr, OutputFile, Module, isysroot, hasErrors); + Writer.WriteAST(*SemaPtr, OutputFile, Module, isysroot, + // For serialization we are lenient if the errors were + // only warn-as-error kind. + PP.getDiagnostics().hasUncompilableErrorOccurred()); Buffer->IsComplete = true; } diff --git a/test/Index/pch-warn-as-error-code-split.cpp b/test/Index/pch-warn-as-error-code-split.cpp new file mode 100644 index 0000000000000000000000000000000000000000..115c9e3d317413ddece51db267960f19ae22e925 --- /dev/null +++ b/test/Index/pch-warn-as-error-code-split.cpp @@ -0,0 +1,17 @@ +// RUN: CINDEXTEST_EDITING=1 c-index-test -test-load-source local %s -Wuninitialized -Werror=unused 2>&1 | FileCheck -check-prefix=DIAGS %s + +// Make sure -Wuninitialized works even though the header had a warn-as-error occurrence. + +// DIAGS: error: unused variable 'x' +// DIAGS: warning: variable 'x1' is uninitialized +// DIAGS-NOT: error: use of undeclared identifier +// DIAGS: warning: variable 'x1' is uninitialized + +#include "pch-warn-as-error-code-split.h" + +void test() { + int x1; // expected-note {{initialize}} + int x2 = x1; // expected-warning {{uninitialized}} + (void)x2; + foo_head(); +} diff --git a/test/Index/pch-warn-as-error-code-split.h b/test/Index/pch-warn-as-error-code-split.h new file mode 100644 index 0000000000000000000000000000000000000000..5893ee2a3f760e8a39ac06cb2e4f26df8433aeba --- /dev/null +++ b/test/Index/pch-warn-as-error-code-split.h @@ -0,0 +1,4 @@ + +static void foo_head() { + int x; +} diff --git a/test/Index/pch-warn-as-error-code.cpp b/test/Index/pch-warn-as-error-code.cpp new file mode 100644 index 0000000000000000000000000000000000000000..6a7924a09e631adb10f00688490916087f0a4dd8 --- /dev/null +++ b/test/Index/pch-warn-as-error-code.cpp @@ -0,0 +1,27 @@ +// RUN: rm -f %t.head.h.pch +// RUN: c-index-test -write-pch %t.head.h.pch %s -Wuninitialized -Werror=unused 2>&1 | FileCheck -check-prefix=HEAD_DIAGS %s +// RUN: c-index-test -test-load-source local %s -include %t.head.h -Wuninitialized -Werror=unused 2>&1 | FileCheck -check-prefix=MAIN_DIAGS %s + +// Make sure -Wuninitialized works even though the header had a warn-as-error occurrence. + +// HEAD_DIAGS: error: unused variable 'x' +// MAIN_DIAGS: warning: variable 'x1' is uninitialized +// MAIN_DIAGS-NOT: error: use of undeclared identifier + +#ifndef HEADER +#define HEADER + +static void foo_head() { + int x; +} + +#else + +void test() { + int x1; // expected-note {{initialize}} + int x2 = x1; // expected-warning {{uninitialized}} + (void)x2; + foo_head(); +} + +#endif diff --git a/test/PCH/chain-invalid-code.cpp b/test/PCH/chain-invalid-code.cpp new file mode 100644 index 0000000000000000000000000000000000000000..9de88f0cee77bf0a301dfb27f601516cde987b0f --- /dev/null +++ b/test/PCH/chain-invalid-code.cpp @@ -0,0 +1,28 @@ +// RUN: %clang_cc1 -fsyntax-only %s -chain-include %s -Wuninitialized -Wunused -verify + +// Make sure there is no crash. + +#ifndef HEADER +#define HEADER + +#include "non-existent-header.h" + +class A { +public: + ~A(); +}; + +class ForwardCls; +struct B { + ForwardCls f; + A a; +}; + +#else + +static void test() { + int x; // expected-warning {{unused}} + B b; +} + +#endif