mirror of
https://github.com/rust-lang/rust.git
synced 2026-06-03 01:16:14 +03:00
Michael Woerister
fd7557b7ee
Before this change, closure/generator environments coming from different
instantiations of the same generic function were all assigned the same
name even though they were distinct types with potentially different data
layout. Now we append the generic arguments of the originating function
to the type name.
This commit also emits '{closure_env#0}' as the name of these types in
order to disambiguate them from the accompanying closure function
'{closure#0}'. Previously both were assigned the same name.
55 lines
2.1 KiB
Rust
55 lines
2.1 KiB
Rust
// Verify debuginfo for generators:
|
|
// - Each variant points to the file and line of its yield point
|
|
// - The discriminants are marked artificial
|
|
// - Other fields are not marked artificial
|
|
//
|
|
//
|
|
// compile-flags: -C debuginfo=2 --edition=2018
|
|
// only-msvc
|
|
|
|
async fn foo() {}
|
|
async fn async_fn_test() {
|
|
foo().await;
|
|
let s = String::from("foo");
|
|
foo().await;
|
|
}
|
|
|
|
// FIXME: No way to reliably check the filename.
|
|
|
|
// CHECK-DAG: [[ASYNC_FN:!.*]] = !DINamespace(name: "async_fn_test"
|
|
// CHECK-DAG: [[GEN:!.*]] = !DICompositeType(tag: DW_TAG_union_type, name: "async_fn_env$0"
|
|
// CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant0", scope: [[GEN]],
|
|
// For brevity, we only check the struct name and members of the last variant.
|
|
// CHECK-SAME: file: [[FILE:![0-9]*]], line: 11,
|
|
// CHECK-NOT: flags: DIFlagArtificial
|
|
// CHECK-SAME: )
|
|
// CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant1", scope: [[GEN]],
|
|
// CHECK-SAME: file: [[FILE]], line: 15,
|
|
// CHECK-NOT: flags: DIFlagArtificial
|
|
// CHECK-SAME: )
|
|
// CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant2", scope: [[GEN]],
|
|
// CHECK-SAME: file: [[FILE]], line: 15,
|
|
// CHECK-NOT: flags: DIFlagArtificial
|
|
// CHECK-SAME: )
|
|
// CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant3", scope: [[GEN]],
|
|
// CHECK-SAME: file: [[FILE]], line: 12,
|
|
// CHECK-NOT: flags: DIFlagArtificial
|
|
// CHECK-SAME: )
|
|
// CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant4", scope: [[GEN]],
|
|
// CHECK-SAME: file: [[FILE]], line: 14,
|
|
// CHECK-SAME: baseType: [[VARIANT:![0-9]*]]
|
|
// CHECK-NOT: flags: DIFlagArtificial
|
|
// CHECK-SAME: )
|
|
// CHECK: [[S1:!.*]] = !DICompositeType(tag: DW_TAG_structure_type, name: "Suspend1", scope: [[GEN]],
|
|
// CHECK-NOT: flags: DIFlagArtificial
|
|
// CHECK-SAME: )
|
|
// CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "s", scope: [[S1]]
|
|
// CHECK-NOT: flags: DIFlagArtificial
|
|
// CHECK-SAME: )
|
|
// CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "discriminant", scope: [[GEN]],
|
|
// CHECK-NOT: flags: DIFlagArtificial
|
|
|
|
fn main() {
|
|
let _dummy = async_fn_test();
|
|
}
|