mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-05-13 17:37:00 +00:00
9c04851cf5
This patch introduces a new kind of ModuleOwnershipKind as ReachableWhenImported. This intended the status for reachable described at: https://eel.is/c++draft/module.reach#3. Note that this patch is not intended to support all semantics about reachable semantics. For example, this patch didn't implement discarded declarations in GMF. (https://eel.is/c++draft/module.global.frag#3). This fixes: https://bugs.llvm.org/show_bug.cgi?id=52281 and https://godbolt.org/z/81f3ocjfW. Reviewed By: rsmith, iains Differential Revision: https://reviews.llvm.org/D113545
24 lines
668 B
C++
24 lines
668 B
C++
// RUN: rm -rf %t
|
|
// RUN: mkdir -p %t
|
|
// RUN: split-file %s %t
|
|
//
|
|
// RUN: %clang_cc1 -std=c++20 %t/template_default_arg.cppm -emit-module-interface -o %t/template_default_arg.pcm
|
|
// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t %t/Use.cpp -fsyntax-only -verify
|
|
//
|
|
//--- template_default_arg.cppm
|
|
export module template_default_arg;
|
|
struct t {};
|
|
|
|
export template <typename T = t>
|
|
struct A {
|
|
T a;
|
|
};
|
|
|
|
//--- Use.cpp
|
|
import template_default_arg;
|
|
void bar() {
|
|
A<> a0;
|
|
A<t> a1; // expected-error {{declaration of 't' must be imported from module 'template_default_arg' before it is required}}
|
|
// expected-note@* {{declaration here is not visible}}
|
|
}
|