6e1ab3a431
Close https://github.com/llvm/llvm-project/issues/172241 Close https://github.com/llvm/llvm-project/issues/64034 Close https://github.com/llvm/llvm-project/issues/149404 Close https://github.com/llvm/llvm-project/issues/174858 After this patch, we (the clang dev) no longer assumes there are at most one definition in a redeclaration chain. See https://discourse.llvm.org/t/rfc-clang-not-assuming-there-is-at-most-one-definition-in-a-redeclaration-chain/89360 for details. --- Update since last commit: Previously I remove the code to update visibility accidently. This is the root cause of the failure. --- Update since last commit: Still demote var definition as declaration if it is in headers. This is meant to avoid https://github.com/llvm/llvm-project/issues/181076 See the comments in ASTDeclReader::attachPreviousDeclImpl . Close https://github.com/llvm/llvm-project/issues/181076
105 lines
2.3 KiB
C++
105 lines
2.3 KiB
C++
// RUN: rm -rf %t
|
|
// RUN: mkdir -p %t
|
|
// RUN: split-file %s %t
|
|
|
|
// RUN: %clang_cc1 -std=c++20 -emit-module-interface -o %t/format.pcm %t/format.cppm
|
|
// RUN: %clang_cc1 -std=c++20 -emit-module-interface -o %t/includes_in_gmf.pcm %t/includes_in_gmf.cppm
|
|
// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/test.cpp -verify -fsyntax-only
|
|
|
|
// RUN: %clang_cc1 -std=c++20 -emit-reduced-module-interface -o %t/format.pcm %t/format.cppm
|
|
// RUN: %clang_cc1 -std=c++20 -emit-reduced-module-interface -o %t/includes_in_gmf.pcm %t/includes_in_gmf.cppm
|
|
// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/test.cpp -verify -fsyntax-only
|
|
|
|
//--- format.h
|
|
#pragma once
|
|
|
|
namespace test {
|
|
|
|
template <class _Tp>
|
|
struct type_identity {
|
|
typedef _Tp type;
|
|
};
|
|
|
|
template <class _Tp>
|
|
using type_identity_t = typename type_identity<_Tp>::type;
|
|
|
|
|
|
template <class _Tp, class _CharT>
|
|
struct formatter
|
|
{
|
|
formatter() = delete;
|
|
};
|
|
|
|
template <>
|
|
struct formatter<char, char>
|
|
{};
|
|
|
|
template <class _CharT, class... _Args>
|
|
struct basic_format_string {
|
|
static inline const int __handles_{ [] {
|
|
formatter<char, _CharT> f;
|
|
(void)f;
|
|
return 0;
|
|
}() };
|
|
|
|
consteval basic_format_string(const _CharT*) {
|
|
(void)__handles_;
|
|
}
|
|
};
|
|
|
|
template <class... _Args>
|
|
using wformat_string = basic_format_string<wchar_t, type_identity_t<_Args>...>;
|
|
|
|
template <class... _Args>
|
|
using format_string = basic_format_string<char, type_identity_t<_Args>...>;
|
|
|
|
template <class... _Args>
|
|
void format(format_string<_Args...> __fmt, _Args&&... __args) {}
|
|
|
|
template <class... _Args>
|
|
void format(wformat_string<_Args...> __fmt, _Args&&... __args) {}
|
|
|
|
}
|
|
|
|
//--- format.cppm
|
|
module;
|
|
#include "format.h"
|
|
export module format;
|
|
|
|
export namespace test {
|
|
using test::format;
|
|
using test::formatter;
|
|
using test::format_string;
|
|
}
|
|
|
|
auto something() -> void
|
|
{
|
|
auto a = 'a';
|
|
test::format("{}", a);
|
|
}
|
|
|
|
//--- includes_in_gmf.cppm
|
|
module;
|
|
#include "format.h"
|
|
export module includes_in_gmf;
|
|
|
|
namespace test {
|
|
using test::format;
|
|
using test::formatter;
|
|
using test::format_string;
|
|
}
|
|
|
|
//--- test.cpp
|
|
// expected-no-diagnostics
|
|
import format;
|
|
import includes_in_gmf;
|
|
|
|
auto what() -> void
|
|
{
|
|
auto a = 'a';
|
|
test::format("{}", a);
|
|
|
|
constexpr auto fs = "{}"; // test::format_string<char>{ "{}" }; // <- same result even passing exact param type
|
|
test::format(fs, 'r');
|
|
}
|