| 1 | // RUN: %clang_cc1 -std=c++11 -emit-llvm -debug-info-kind=limited -triple x86_64-apple-darwin %s -o - | FileCheck %s |
|---|
| 2 | // Test (r)value and CVR qualifiers on C++11 non-static member functions. |
|---|
| 3 | class A { |
|---|
| 4 | public: |
|---|
| 5 | // CHECK: !DISubprogram(name: "l", |
|---|
| 6 | // CHECK-SAME: line: [[@LINE+4]] |
|---|
| 7 | // CHECK-SAME: type: ![[PLSR:[0-9]+]] |
|---|
| 8 | // CHECK-SAME: flags: DIFlagPublic | DIFlagPrototyped | DIFlagLValueReference, |
|---|
| 9 | // CHECK: ![[PLSR]] = !DISubroutineType(flags: DIFlagLValueReference, types: ![[ARGS:[0-9]+]]) |
|---|
| 10 | void l() const &; |
|---|
| 11 | // CHECK: ![[ARGS]] = !{null, ![[THIS:[0-9]+]]} |
|---|
| 12 | // CHECK: ![[THIS]] = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: ![[CONST_A:[0-9]+]] |
|---|
| 13 | // CHECK: ![[CONST_A]] = !DIDerivedType(tag: DW_TAG_const_type |
|---|
| 14 | // CHECK: !DISubprogram(name: "r" |
|---|
| 15 | // CHECK-SAME: line: [[@LINE+4]] |
|---|
| 16 | // CHECK-SAME: type: ![[PRSR:[0-9]+]] |
|---|
| 17 | // CHECK-SAME: flags: DIFlagPublic | DIFlagPrototyped | DIFlagRValueReference, |
|---|
| 18 | // CHECK: ![[PRSR]] = !DISubroutineType(flags: DIFlagRValueReference, types: ![[ARGS]]) |
|---|
| 19 | void r() const &&; |
|---|
| 20 | }; |
|---|
| 21 | |
|---|
| 22 | void g() { |
|---|
| 23 | A a; |
|---|
| 24 | // The type of pl is "void (A::*)() const &". |
|---|
| 25 | // CHECK: !DILocalVariable(name: "pl", |
|---|
| 26 | // CHECK-SAME: line: [[@LINE+3]] |
|---|
| 27 | // CHECK-SAME: type: ![[PL:[0-9]+]] |
|---|
| 28 | // CHECK: !DIDerivedType(tag: DW_TAG_ptr_to_member_type, baseType: ![[PLSR]] |
|---|
| 29 | auto pl = &A::l; |
|---|
| 30 | |
|---|
| 31 | // CHECK: !DILocalVariable(name: "pr", |
|---|
| 32 | // CHECK-SAME: line: [[@LINE+3]] |
|---|
| 33 | // CHECK-SAME: type: ![[PR:[0-9]+]] |
|---|
| 34 | // CHECK: !DIDerivedType(tag: DW_TAG_ptr_to_member_type, baseType: ![[PRSR]] |
|---|
| 35 | auto pr = &A::r; |
|---|
| 36 | } |
|---|
| 37 | |
|---|