llvm-capstone/clang/test/Modules/preferred_name.cppm
Chuanqi Xu a2772fc806 [C++20] [Modules] Disable preferred_name when writing a C++20 Module interface
Currently, the use of preferred_name would block implementing std
modules in libcxx. See https://github.com/llvm/llvm-project/issues/56490
for example.
The problem is pretty hard and it looks like we couldn't solve it in a
short time. So we sent this patch as a workaround to avoid blocking us
to modularize STL. This is intended to be fixed properly in the future.

Reviewed By: erichkeane, aaron.ballman, tahonermann

Differential Revision: https://reviews.llvm.org/D130331
2022-07-26 23:58:07 +08:00

51 lines
1.2 KiB
C++

// Tests that the ODR check wouldn't produce false-positive result for preferred_name attribute.
//
// RUN: rm -rf %t
// RUN: mkdir -p %t
// RUN: split-file %s %t
//
// RUN: %clang_cc1 -std=c++20 %t/A.cppm -emit-module-interface -o %t/A.pcm
// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t -I%t %t/Use.cppm -verify -fsyntax-only
// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t -I%t %t/Use1.cpp -verify -fsyntax-only
// RUN: %clang_cc1 -std=c++20 -fprebuilt-module-path=%t -I%t %t/Use2.cpp -verify -fsyntax-only
//
//--- foo.h
template<class _CharT>
class foo_templ;
typedef foo_templ<char> foo;
template<class _CharT>
class
__attribute__((__preferred_name__(foo)))
foo_templ {
public:
foo_templ() {}
};
inline foo_templ<char> bar()
{
return foo_templ<char>();
}
//--- A.cppm
module;
#include "foo.h"
export module A;
//--- Use.cppm
// expected-no-diagnostics
module;
#include "foo.h"
export module Use;
import A;
//--- Use1.cpp
import A; // expected-warning@foo.h:8 {{attribute declaration must precede definition}}
#include "foo.h" // expected-note@foo.h:9 {{previous definition is here}}
//--- Use2.cpp
// expected-no-diagnostics
#include "foo.h"
import A;