]>
git.proxmox.com Git - rustc.git/blob - src/test/codegen/generator-debug-msvc.rs
1 // Verify debuginfo for generators:
2 // - Each variant points to the file and line of its yield point
3 // - The discriminants are marked artificial
4 // - Other fields are not marked artificial
7 // compile-flags: -C debuginfo=2
10 #![feature(generators, generator_trait)]
11 use std
::ops
::Generator
;
13 fn generator_test() -> impl Generator
<Yield
= i32, Return
= ()> {
16 let s
= String
::from("foo");
21 // FIXME: No way to reliably check the filename.
23 // CHECK-DAG: [[GEN:!.*]] = !DICompositeType(tag: DW_TAG_union_type, name: "enum2$<generator_debug_msvc::generator_test::generator_env$0>"
24 // CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant0", scope: [[GEN]],
25 // For brevity, we only check the struct name and members of the last variant.
26 // CHECK-SAME: file: [[FILE:![0-9]*]], line: 14,
27 // CHECK-NOT: flags: DIFlagArtificial
29 // CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant1", scope: [[GEN]],
30 // CHECK-SAME: file: [[FILE]], line: 18,
31 // CHECK-NOT: flags: DIFlagArtificial
33 // CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant2", scope: [[GEN]],
34 // CHECK-SAME: file: [[FILE]], line: 18,
35 // CHECK-NOT: flags: DIFlagArtificial
37 // CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant3", scope: [[GEN]],
38 // CHECK-SAME: file: [[FILE]], line: 15,
39 // CHECK-NOT: flags: DIFlagArtificial
41 // CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "variant4", scope: [[GEN]],
42 // CHECK-SAME: file: [[FILE]], line: 17,
43 // CHECK-SAME: baseType: [[VARIANT_WRAPPER:![0-9]*]]
44 // CHECK-NOT: flags: DIFlagArtificial
46 // CHECK: [[VARIANT_WRAPPER]] = !DICompositeType(tag: DW_TAG_structure_type, name: "Variant4", scope: [[GEN]],
47 // CHECK: !DIDerivedType(tag: DW_TAG_member, name: "value", scope: [[VARIANT_WRAPPER]], {{.*}}, baseType: [[VARIANT:![0-9]*]],
48 // CHECK: [[VARIANT]] = !DICompositeType(tag: DW_TAG_structure_type, name: "Suspend1", scope: [[GEN]],
49 // CHECK-NOT: flags: DIFlagArtificial
51 // CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "s", scope: [[VARIANT]]
52 // CHECK-NOT: flags: DIFlagArtificial
54 // CHECK: {{!.*}} = !DIDerivedType(tag: DW_TAG_member, name: "tag", scope: [[GEN]],
55 // CHECK-NOT: flags: DIFlagArtificial
58 let _dummy
= generator_test();