forked from OSchip/llvm-project
Fix PR13389 (Wrong mangling of return type qualifiers with -cxx-abi microsoft)
llvm-svn: 160780
This commit is contained in:
Timur Iskhodzhanov
parent
5651452076
commit
25fabdbace
|
|
@ -1090,8 +1090,15 @@ void MicrosoftCXXNameMangler::mangleType(const FunctionType *T,
|
|||
else {
|
||||
QualType Result = Proto->getResultType();
|
||||
const Type* RT = Result.getTypePtr();
|
||||
if(isa<TagType>(RT) && !RT->isAnyPointerType() && !RT->isReferenceType())
|
||||
Out << "?A";
|
||||
if (!RT->isAnyPointerType() && !RT->isReferenceType()) {
|
||||
if (Result.hasQualifiers() || !RT->isBuiltinType())
|
||||
Out << '?';
|
||||
if (!RT->isBuiltinType() && !Result.hasQualifiers()) {
|
||||
// Lack of qualifiers for user types is mangled as 'A'.
|
||||
Out << 'A';
|
||||
}
|
||||
}
|
||||
|
||||
// FIXME: Get the source range for the result type. Or, better yet,
|
||||
// implement the unimplemented stuff so we don't need accurate source
|
||||
// location info anymore :).
|
||||
|
|
|
|||
|
|
@ -0,0 +1,173 @@
|
|||
// RUN: %clang_cc1 -emit-llvm %s -o - -cxx-abi microsoft -triple=i386-pc-win32 | FileCheck %s
|
||||
|
||||
void a1() {}
|
||||
// CHECK: "\01?a1@@YAXXZ"
|
||||
|
||||
int a2() { return 0; }
|
||||
// CHECK: "\01?a2@@YAHXZ"
|
||||
|
||||
const int a3() { return 0; }
|
||||
// CHECK: "\01?a3@@YA?BHXZ"
|
||||
|
||||
volatile int a4() { return 0; }
|
||||
// CHECK: "\01?a4@@YA?CHXZ"
|
||||
|
||||
const volatile int a5() { return 0; }
|
||||
// CHECK: "\01?a5@@YA?DHXZ"
|
||||
|
||||
float a6() { return 0.0f; }
|
||||
// CHECK: "\01?a6@@YAMXZ"
|
||||
|
||||
int *b1() { return 0; }
|
||||
// CHECK: "\01?b1@@YAPAHXZ"
|
||||
|
||||
const char *b2() { return 0; }
|
||||
// CHECK: "\01?b2@@YAPBDXZ"
|
||||
|
||||
float *b3() { return 0; }
|
||||
// CHECK: "\01?b3@@YAPAMXZ"
|
||||
|
||||
const float *b4() { return 0; }
|
||||
// CHECK: "\01?b4@@YAPBMXZ"
|
||||
|
||||
volatile float *b5() { return 0; }
|
||||
// CHECK: "\01?b5@@YAPCMXZ"
|
||||
|
||||
const volatile float *b6() { return 0; }
|
||||
// CHECK: "\01?b6@@YAPDMXZ"
|
||||
|
||||
float &b7() { return *(float*)0; }
|
||||
// CHECK: "\01?b7@@YAAAMXZ"
|
||||
|
||||
const float &b8() { return *(float*)0; }
|
||||
// CHECK: "\01?b8@@YAABMXZ"
|
||||
|
||||
volatile float &b9() { return *(float*)0; }
|
||||
// CHECK: "\01?b9@@YAACMXZ"
|
||||
|
||||
const volatile float &b10() { return *(float*)0; }
|
||||
// CHECK: "\01?b10@@YAADMXZ"
|
||||
|
||||
const char** b11() { return 0; }
|
||||
// CHECK: "\01?b11@@YAPAPBDXZ"
|
||||
|
||||
class A {};
|
||||
|
||||
A c1() { return A(); }
|
||||
// CHECK: "\01?c1@@YA?AVA@@XZ"
|
||||
|
||||
const A c2() { return A(); }
|
||||
// CHECK: "\01?c2@@YA?BVA@@XZ"
|
||||
|
||||
volatile A c3() { return A(); }
|
||||
// CHECK: "\01?c3@@YA?CVA@@XZ"
|
||||
|
||||
const volatile A c4() { return A(); }
|
||||
// CHECK: "\01?c4@@YA?DVA@@XZ"
|
||||
|
||||
const A* c5() { return 0; }
|
||||
// CHECK: "\01?c5@@YAPBVA@@XZ"
|
||||
|
||||
volatile A* c6() { return 0; }
|
||||
// CHECK: "\01?c6@@YAPCVA@@XZ"
|
||||
|
||||
const volatile A* c7() { return 0; }
|
||||
// CHECK: "\01?c7@@YAPDVA@@XZ"
|
||||
|
||||
A &c8() { return *(A*)0; }
|
||||
// CHECK: "\01?c8@@YAAAVA@@XZ"
|
||||
|
||||
const A &c9() { return *(A*)0; }
|
||||
// CHECK: "\01?c9@@YAABVA@@XZ"
|
||||
|
||||
volatile A &c10() { return *(A*)0; }
|
||||
// CHECK: "\01?c10@@YAACVA@@XZ"
|
||||
|
||||
const volatile A &c11() { return *(A*)0; }
|
||||
// CHECK: "\01?c11@@YAADVA@@XZ"
|
||||
|
||||
template<typename T> class B {};
|
||||
|
||||
B<int> d1() { return B<int>(); }
|
||||
// CHECK: "\01?d1@@YA?AV?$B@H@@XZ"
|
||||
|
||||
B<const char*> d2() {return B<const char*>(); }
|
||||
// CHECK: "\01?d2@@YA?AV?$B@PBD@@XZ"
|
||||
|
||||
B<A> d3() {return B<A>(); }
|
||||
// CHECK: "\01?d3@@YA?AV?$B@VA@@@@XZ"
|
||||
|
||||
B<A>* d4() { return 0; }
|
||||
// CHECK: "\01?d4@@YAPAV?$B@VA@@@@XZ"
|
||||
|
||||
const B<A>* d5() { return 0; }
|
||||
// CHECK: "\01?d5@@YAPBV?$B@VA@@@@XZ"
|
||||
|
||||
volatile B<A>* d6() { return 0; }
|
||||
// CHECK: "\01?d6@@YAPCV?$B@VA@@@@XZ"
|
||||
|
||||
const volatile B<A>* d7() { return 0; }
|
||||
// CHECK: "\01?d7@@YAPDV?$B@VA@@@@XZ"
|
||||
|
||||
B<A>& d8() { return *(B<A>*)0; }
|
||||
// CHECK: "\01?d8@@YAAAV?$B@VA@@@@XZ"
|
||||
|
||||
const B<A>& d9() { return *(B<A>*)0; }
|
||||
// CHECK: "\01?d9@@YAABV?$B@VA@@@@XZ"
|
||||
|
||||
volatile B<A>& d10() { return *(B<A>*)0; }
|
||||
// CHECK: "\01?d10@@YAACV?$B@VA@@@@XZ"
|
||||
|
||||
const volatile B<A>& d11() { return *(B<A>*)0; }
|
||||
// CHECK: "\01?d11@@YAADV?$B@VA@@@@XZ"
|
||||
|
||||
enum Enum { DEFAULT };
|
||||
|
||||
Enum e1() { return DEFAULT; }
|
||||
// CHECK: "\01?e1@@YA?AW4Enum@@XZ"
|
||||
|
||||
const Enum e2() { return DEFAULT; }
|
||||
// CHECK: "\01?e2@@YA?BW4Enum@@XZ"
|
||||
|
||||
Enum* e3() { return 0; }
|
||||
// CHECK: "\01?e3@@YAPAW4Enum@@XZ"
|
||||
|
||||
Enum& e4() { return *(Enum*)0; }
|
||||
// CHECK: "\01?e4@@YAAAW4Enum@@XZ"
|
||||
|
||||
struct S {};
|
||||
|
||||
struct S f1() { struct S s; return s; }
|
||||
// CHECK: "\01?f1@@YA?AUS@@XZ"
|
||||
|
||||
const struct S f2() { struct S s; return s; }
|
||||
// CHECK: "\01?f2@@YA?BUS@@XZ"
|
||||
|
||||
struct S* f3() { return 0; }
|
||||
// CHECK: "\01?f3@@YAPAUS@@XZ"
|
||||
|
||||
const struct S* f4() { return 0; }
|
||||
// CHECK: "\01?f4@@YAPBUS@@XZ"
|
||||
|
||||
const volatile struct S* f5() { return 0; }
|
||||
// CHECK: "\01?f5@@YAPDUS@@XZ"
|
||||
|
||||
struct S& f6() { return *(struct S*)0; }
|
||||
// CHECK: "\01?f6@@YAAAUS@@XZ"
|
||||
|
||||
typedef int (*function_pointer)(int);
|
||||
|
||||
function_pointer g1() { return 0; }
|
||||
// CHECK: "\01?g1@@YAP6AHH@ZXZ"
|
||||
|
||||
const function_pointer g2() { return 0; }
|
||||
// CHECK: "\01?g2@@YAQ6AHH@ZXZ"
|
||||
|
||||
function_pointer* g3() { return 0; }
|
||||
// CHECK: "\01?g3@@YAPAP6AHH@ZXZ"
|
||||
|
||||
const function_pointer* g4() { return 0; }
|
||||
// The mangling of g4 is currently "\01?g4@@YAPQ6AHH@ZXZ" which is wrong.
|
||||
// This looks related to http://llvm.org/PR13444
|
||||
// FIXME: replace CHECK-NOT with CHECK once it is fixed.
|
||||
// CHECK-NOT: "\01?g4@@YAPBQ6AHH@ZXZ"
|
||||
Loading…
Reference in New Issue