diff options
Diffstat (limited to 'test/CodeGenCXX/mangle-concept.cpp')
| -rw-r--r-- | test/CodeGenCXX/mangle-concept.cpp | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/test/CodeGenCXX/mangle-concept.cpp b/test/CodeGenCXX/mangle-concept.cpp new file mode 100644 index 0000000000..7e9fb1b15e --- /dev/null +++ b/test/CodeGenCXX/mangle-concept.cpp @@ -0,0 +1,16 @@ +// RUN: %clang_cc1 -verify -Wno-return-type -Wno-main -std=c++2a -fconcepts-ts -emit-llvm -triple %itanium_abi_triple -o - %s | FileCheck %s +// expected-no-diagnostics + +namespace test1 { +template <bool> struct S {}; +template <typename> concept C = true; +template <typename T = int> S<C<T>> f0() { return S<C<T>>{}; } +template S<C<int>> f0<>(); +// CHECK: @_ZN5test12f0IiEENS_1SIXL_ZNS_1CIT_EEEEEEv( +} + +template <bool> struct S {}; +template <typename> concept C = true; +template <typename T = int> S<C<T>> f0() { return S<C<T>>{}; } +template S<C<int>> f0<>(); +// CHECK: @_Z2f0IiE1SIXL_Z1CIT_EEEEv( |