https://github.com/hokein created https://github.com/llvm/llvm-project/pull/172658
Fixes #170421 >From 79874e9cd9887accee0917826cfe42d97c73f75e Mon Sep 17 00:00:00 2001 From: Haojian Wu <[email protected]> Date: Wed, 17 Dec 2025 15:09:58 +0100 Subject: [PATCH] [clang] Fix an invalidate iterator in PCH with -ftime-trace enabled. --- clang/lib/Serialization/ASTReader.cpp | 15 ++++++++++----- clang/test/PCH/pr170421.cpp | 20 ++++++++++++++++++++ 2 files changed, 30 insertions(+), 5 deletions(-) create mode 100644 clang/test/PCH/pr170421.cpp diff --git a/clang/lib/Serialization/ASTReader.cpp b/clang/lib/Serialization/ASTReader.cpp index aec61322fb8be..01a2240460cab 100644 --- a/clang/lib/Serialization/ASTReader.cpp +++ b/clang/lib/Serialization/ASTReader.cpp @@ -8529,10 +8529,15 @@ bool ASTReader::LoadExternalSpecializationsImpl( ArrayRef<TemplateArgument> TemplateArgs) { assert(D); - auto It = SpecLookups.find(D); - if (It == SpecLookups.end()) - return false; - + reader::LazySpecializationInfoLookupTable *LookupTable = + nullptr; + if (auto It = SpecLookups.find(D); It != SpecLookups.end()) + LookupTable = &It->getSecond(); + if (!LookupTable) + return false; + + // NOTE: The getNameForDiagnostic usage in the lambda may mutate the + // `SpecLookups` object. llvm::TimeTraceScope TimeScope("Load External Specializations for ", [&] { std::string Name; llvm::raw_string_ostream OS(Name); @@ -8547,7 +8552,7 @@ bool ASTReader::LoadExternalSpecializationsImpl( // Get Decl may violate the iterator from SpecLookups llvm::SmallVector<serialization::reader::LazySpecializationInfo, 8> Infos = - It->second.Table.find(HashValue); + LookupTable->Table.find(HashValue); bool NewSpecsFound = false; for (auto &Info : Infos) { diff --git a/clang/test/PCH/pr170421.cpp b/clang/test/PCH/pr170421.cpp new file mode 100644 index 0000000000000..51d56a68e6523 --- /dev/null +++ b/clang/test/PCH/pr170421.cpp @@ -0,0 +1,20 @@ +// RUN: %clang_cc1 -emit-pch -o %t %s +// RUN: %clang_cc1 -include-pch %t -ftime-trace=%t.json -o - %s + +// expected-no-diagnostics + +#ifndef HEADER_INCLUDED +#define HEADER_INCLUDED + +inline namespace { +template<typename T> T g(T v) { return v; } +template<typename T> T f(T v) { return g(v); } +template<typename T> T g(); +} + +#else + +int x; +void i() { f(x); } + +#endif _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
