| // { dg-additional-options "-fmodules-ts -Wtemplate-names-tu-local" } |
| // Test streaming and instantiations of various kinds of exposures |
| |
| export module M; |
| |
| namespace { |
| int x; |
| constexpr int y = 1; |
| |
| struct S { int m; void d(); }; |
| enum class E { e }; |
| |
| template <typename T> int f(T t) { return (int)t; } |
| } |
| |
| template <auto N> void g() {} |
| |
| template <typename T> |
| int expose_1() { // { dg-warning "TU-local" } |
| return x; |
| } |
| |
| template <typename T> |
| void expose_2() { // { dg-warning "TU-local" } |
| T t = &y; |
| } |
| |
| template <typename T> |
| bool expose_3() { // { dg-warning "TU-local" } |
| return !(T{} * (x + 5) > 123); |
| } |
| |
| template <typename T> |
| bool expose_4() { // { dg-warning "TU-local" } |
| return __is_same(S, T); |
| } |
| |
| template <typename T> |
| void expose_5() { // { dg-warning "TU-local" } |
| static_assert(T{} == (int)E::e); |
| } |
| |
| template <typename T> |
| void expose_6() { // { dg-warning "TU-local" } |
| f(T{}); |
| } |
| |
| template <typename T> |
| void expose_7() { // { dg-warning "TU-local" } |
| g<&y>(); |
| } |
| |
| template <typename T> |
| void expose_8() { // { dg-warning "TU-local" } |
| decltype(T{} .* &S::m)* (*x)[5][10]; |
| }; |
| |
| template <typename T> |
| bool expose_9() { // { dg-warning "TU-local" } |
| return noexcept((T{} .* &S::d)()); |
| } |
| |
| template <typename T> |
| void expose_10() { // { dg-warning "TU-local" } |
| using U = decltype(f<T>()); |
| } |
| |
| template <typename T> |
| void expose_11() { // { dg-warning "TU-local" } |
| static thread_local E r; |
| } |
| |
| template <typename T> |
| int expose_var // { dg-warning "TU-local" } |
| = f(sizeof(T)); |
