mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-05-13 17:37:00 +00:00

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
51 lines
1.2 KiB
C++
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;
|